ГОСТ Р И С 0 10303-11 — 2009
Обобщенные типы данных используются для определения обобщения некоторыхдругих типовдан
ных и могут быть использованы только в некоторых очень специфичных контекстах. Тип GENERIC является
обобщением всех типов данных. Тип данных AGGREGATE является обобщением всех агрегированных
типов данных. Общий агрегированный тип данных является обобщением агрегированных типов данных,
смягчающим некоторые ограничения, обычно применяемые кагрегированным типам данных. Все эти типы
данных определены в9.5.3.
8.6 Классификация применения типов данных
В разделе 8 типыданных языка EXPRESS систематизированы по ихсущности: простые типы данных,
агрегированные типы данных, конструкционные типы данных, именованные типы данных и обобщенные
типы данных. В настоящем подразделе определена классификация типов данных в соответствии с их
применением.
В языке EXPRESS типы данных применяются шестью разными способами в качестве.
- типовданных элементов агрегированных типовданных,
- элементов списка выбора при определении или расширении выбираемого типаданных:
- базисныхтиповдля типов данных;
- типов данных атрибутов объектных типов данных;
- типовданных констант;
- типовданных формальных параметров и локальных переменных вфункциях и процедурах.
Кроме того, существует несколько специальных применений объектных типовданных, определенных
в разделе 9. которые применяются не кдругому классу типовданных, и поэтому в настоящем подразделе
не рассматриваются.
Типы данных классифицируются всоответствии с их применением следующим образом;
- конкретизирующие типы данных применяются для представления элементов агрегированных струк
тур и типовданных констант;
- параметрические типы данных применяются для представления явных и производных атрибутов,
формальных параметров, результатов функций и локальных переменных вфункциях и процедурах;
- базисные типы данных применяютсядля представления определенных типов данных;
- именованные типы данных применяются в качестве элементов списка выбора, то естьдля возмож
ных представлений значения выбираемого типа данных.
Некоторые классы типовданных могут применяться разными способами, вто время какдругие могут
применяться только в определенных контекстах. Данные различия представлены в таблице 7.
Т а б л и ц а 7 — Применение типов данных
a) Конкретизирующие типы данных — представление эле
ментов агрегированных структур и констант.
b
) Параметрические типы данных — представление явных и
производных атрибутов, формальных параметров, локальных
переменных или результата функции.
c) Базисные типы данных — представление определенного
типа (см. 9.1).
d) Именованные типы данных — возможные представления
выбираемого типа данных.
*) Из именованных типов данных только определенный тип
может применяться в качестве базисного типа данных.
Типы данных
аb
с
d
Простыв
•••
Агрегированные
•••
Именованные
•••
Конструкционные
•
Обобщенные•
Именованные типы данных определены в 8.3. Конкретизирующие, параметрические и базисные
типы данных определены в 8.6.1 — 8.6.3.
8.6.1 Конкретизирующие типы данных
Конкретизирующие типы данных используются для представления констант, элементов агрегирован
ных типовданных и атрибутов неабстрактных объектных типовданных (см. 9.2.1).
К конкретизирующим типам данных относятся простые, агрегированные и именованные типы данных.
Синтаксис:
240 instantiable_type = concrete_types |entity_ref.
193 concrete_types = aggregation_types | simple_types | type_ref.
26