ГОСТ Р И С 0 10303-11 — 2009
Правила и ограничения:
a) Тип данных константы недолжен быть абстрактным объектным типом данных (см. 9.4).
b
) Типданных любого атрибута неабстрактного объектного типа данныхдолжен быть конкретизирую
щим типом данных или переобъявлен как таковой (см. 9.2.1).
8.6.2 Параметрические типы данных
Параметрические типы данных применяютсядля представления атрибутов объектных типов данных
или формальных параметров алгоритмов (функций и процедур). Параметрические типы данных могут
также применяться для представления результатов функций и локальных переменных, объявленных
валгоритмах.
К параметрическим типам данныхотносятся конкретизирующие и обобщенные типыданных. Други
ми словами, все типы данных языка EXPRESS являются параметрическими типами данных (при этом
конструкционные типы данных могут применяться только в качестве основанных на них определенных
типах данных).
Синтаксис:
266 parameterjype = generalizedjypes | named_types |simple_types.
223 generalized_types = aggregate type |general_aggregation_types | generic_entity_type | generic_type.
Правила и ограничения:
a) Любой параметрический тип данных, соответствующий спецификациям конкретизирующего типа
данных, считается конкретизирующим типом данныхдля применений, в которых требуется конкретизирую
щий тип данных.
b
)Общий агрегированный тип данных (см. 9.5.3.5). базовым типом которого является конкретизирую
щий тип данных, считается конкретизирующим типом данных.
П р и м е ч а н и е — Синтаксическая конструкция, такая как ARRAY[1:3] OF REAL, соответствует двум
синтаксическим порождениям — aggregation_type и general_aggregation_type. Она считается конкретизиру
ющей независимо от того, какое из порождений требуется для соответствия синтаксису.
8.6.3 Базисные типы данных
Базисные типы данных применяютсядля представления определенныхтипов данных.
К базисным типам данных относятся простые, агрегированные, конструкционные и определенные
типы данных.
Синтаксис:
332 underlyingjype = concrete_types | constructed_ types.
193 concretejypes = aggregationjypes | simple_types |type_ref.
9 Объявления
В данном разделе определены объявления, установленные в языке EXPRESS. Объявление в языке
EXPRESS создает новый элемент языка EXPRESS и связывает с ним некоторый идентификатор. На эле
мент языка EXPRESS можно ссылаться влюбом месте посредством имени связанного с ним идентифика
тора (см. раздел 10).
Основные возможности языка EXPRESS обеспечиваются посредством следующих объявлений:
-типа;
- объекта;
- ограничения на подтипы;
- схемы;
- константы:
- функции;
- процедуры;
- правила.
Объявления могут быть явными или неявными. Вданном разделе описаны явные объявления. Неяв
ные объявления описаны вданном разделе и последующих подразделах, наряду с элементами и услови
ями. при которыхони устанавливаются.
27