Точный
Статус документа
Статус документа

ГОСТ Р ИСО 10303-11-2009 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS

     8.6.2 Параметрические типы данных


Параметрические типы данных применяются для представления атрибутов объектных типов данных или формальных параметров алгоритмов (функций и процедур). Параметрические типы данных могут также применяться для представления результатов функций и локальных переменных, объявленных в алгоритмах.

К параметрическим типам данных относятся конкретизирующие и обобщенные типы данных. Другими словами, все типы данных языка EXPRESS являются параметрическими типами данных (при этом конструкционные типы данных могут применяться только в качестве основанных на них определенных типах данных).

   Синтаксис:

     266 parameter_type = generalized_types | 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. Она считается конкретизирующей независимо от того, какое из порождений требуется для соответствия синтаксису.