В разделе 8 типы данных языка EXPRESS систематизированы по их сущности: простые типы данных, агрегированные типы данных, конструкционные типы данных, именованные типы данных и обобщенные типы данных. В настоящем подразделе определена классификация типов данных в соответствии с их применением.
В языке EXPRESS типы данных применяются шестью разными способами в качестве:
- типов данных элементов агрегированных типов данных;
- элементов списка выбора при определении или расширении выбираемого типа данных;
- базисных типов для типов данных;
- типов данных атрибутов объектных типов данных;
- типов данных констант;
- типов данных формальных параметров и локальных переменных в функциях и процедурах.
Кроме того, существует несколько специальных применений объектных типов данных, определенных в разделе 9, которые применяются не к другому классу типов данных, и поэтому в настоящем подразделе не рассматриваются.
Типы данных классифицируются в соответствии с их применением следующим образом:
- конкретизирующие типы данных применяются для представления элементов агрегированных структур и типов данных констант;
- параметрические типы данных применяются для представления явных и производных атрибутов, формальных параметров, результатов функций и локальных переменных в функциях и процедурах;
- базисные типы данных применяются для представления определенных типов данных;
- именованные типы данных применяются в качестве элементов списка выбора, то есть для возможных представлений значения выбираемого типа данных.
Некоторые классы типов данных могут применяться разными способами, в то время как другие могут применяться только в определенных контекстах. Данные различия представлены в таблице 7.
Таблица 7 - Применение типов данных
Типы данных | а | b | c | d | a) Конкретизирующие типы данных - представление элементов агрегированных структур и констант. | |||
Простые | b) Параметрические типы данных - представление явных и производных атрибутов, формальных параметров, локальных переменных или результата функции. | |||||||
Агрегированные | c) Базисные типы данных - представление определенного типа (см. 9.1). | |||||||
Именованные | d) Именованные типы данных - возможные представления выбираемого типа данных. | |||||||
Конструкционные | ________________ *) Из именованных типов данных только определенный тип может применяться в качестве базисного типа данных. | |||||||
Обобщенные | ||||||||
Именованные типы данных определены в 8.3. Конкретизирующие, параметрические и базисные типы данных определены в 8.6.1-8.6.3.