Конкретизирующие типы данных используются для представления констант, элементов агрегированных типов данных и атрибутов неабстрактных объектных типов данных (см. 9.2.1).
К конкретизирующим типам данных относятся простые, агрегированные и именованные типы данных.
Синтаксис: |
Правила и ограничения:
a) Тип данных константы не должен быть абстрактным объектным типом данных (см. 9.4).
b) Тип данных любого атрибута неабстрактного объектного типа данных должен быть конкретизирующим типом данных или переобъявлен как таковой (см. 9.2.1).