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

     9.2.7 Конкретизация

Конкретизация является более ограниченной формой исходного объявления. Существуют следующие варианты определения конкретизации:

- объект, относящийся к подтипу данных, является конкретизацией любого из своих супертипов;

- тип данных ENTITY является конкретизацией типа данных GENERIC_ENTITY;

- тип данных EXTENSIBLE GENERIC_ENTITY SELECT является конкретизацией типа данных GENERIC_ENTITY;

- тип данных SELECT, содержащий только типы данных ENTITY, является конкретизацией типа данных GENERIC_ENTITY;

- агрегированные типы данных являются конкретизациями типа данных AGGREGATE;

- тип данных SELECT, состоящий из объектов a, b, c, является конкретизацией типа данных SELECT, состоящего из объектов d, e, f, если объекты a, b, c являются конкретизациями объектов d, e, f;

- тип данных SELECT, состоящий из объектов a, b, c, является конкретизацией супертипа, если a, b, c являются подтипами данного супертипа;

- типы данных INTEGER и REAL оба являются конкретизациями типа данных NUMBER;

- тип данных INTEGER является конкретизацией типа данных REAL;

- тип данных BOOLEAN является конкретизацией типа данных LOGICAL;

- выражение LIST OF UNIQUE item является конкретизацией выражения LIST OF item;

- выражение ARRAY OF UNIQUE item является конкретизацией выражения ARRAY OF item;

- выражение ARRAY OF item является конкретизацией выражения ARRAY OF OPTIONAL item;

- выражение SET OF item является конкретизацией выражения BAG OF item;

- пусть AGG обозначает один из типов данных ARRAY, BAG, LIST или SET, тогда выражение AGG OF item является конкретизацией выражения AGG OF original при условии, что item является конкретизацией original;

- пусть AGG обозначает один из типов данных BAG, LIST или SET, тогда выражение AGG [b : t] является конкретизацией выражения AGG [l : u] при условии, что bt и lbu и ltu;

- пусть BSR обозначает один из типов данных BINARY, STRING или REAL, тогда BSR(length) является конкретизацией BSR;

- BSR(short) является конкретизацией BSR(long) при условии, что short меньше чем long;

- тип данных BINARY, в котором используется ключевое слово FIXED, является конкретизацией типа данных BINARY переменной длины;

- тип данных STRING, в котором используется ключевое слово FIXED, является конкретизацией типа данных STRING переменной длины;

- конструкционный тип данных, основанный на расширяемом конструкционном типе данных, является конкретизацией данного расширяемого конструкционного типа данных;

- определенный тип данных является конкретизацией базисного типа данных, использованного для объявления данного определенного типа данных.