ГОСТ Р ИСО 10303-22-2002
EXPRLSS-cneninbnкаймя
*)
ENTITY bag__type
SUB TYPE OF (variable size aggregation type);
END_ENTITY;
C
6.4.34 О б ъ е к т list_type
Объект Iist_type является объектом variable_size_aggregationJype, представляющим списочный
(LIST) тип языка EXPRESS. Может быть потребована уникальность элементов списка.
EXPRESS-ciicumbnKannB
*)
ENTITY Iistjype
SUBTYPE OF (variable size_aggregation_type);
unique,flag : BOOLEAN;
END_ENT1TY;
1
Г
Оп >елеление атрибута
unique,flag — булевское значение, соответствующее TRUE, если ключевое слово UNIQUE
установлено в определении объекта Iistjype данной схемы, FALSE — в противном случае.
6.4.35 О б ъ е к т array_type
Объект array_type является объектом aggregationjype, представляющим тип массива (ARRAY)
языка EXPRESS. Массив имеет значения нижнего и верхнего индексов. При наличии ключевого
слона UNIQUE элементы массива должны быть уникальными. При наличии ключевого слова
OITIONAL в одной или нескольких индексированных позициях массив может содержать неопреде
ленные значения.
EXPRESS-cncundniKainm
*)
ENTITY array_type
SUBTYPE OF (aggregation jype);
lowerjndex: bound;
upper_index: bound;
uniquejlag: BOOLEAN;
optionaI_flag: BOOLEAN:
END_ENTITY;
C
Определения атрибутов
lowerjndex —самый нижний значащий индекс для экземпляров типа;
upperjndex —самый верхний значащий индекс для экземпляров типа;
uniquejlag — булевское значение, соответствующее TRUE, если ключевое слово UNIQUE
установлено в определении объекта array type данной схемы, FALSE - в противном случае;
optionalJlag —булевское значение, соответствующее TRUE, если ключевое слово OPTIONAL
установлено в определении объекта arrayjype данной схемы, FALSE —в противном случае.
Неформальное утверждение
valid boundaries - значение нижней границы индекса не может быть больше значения верхней
границы индекса.
6.4.36 О б ъ е к т bound
Объект bound является ограничением агрегатного, двоичного, строкового и действительного
типов языка EXPRESS, установленным в числовом выражении, имеющем целочисленное значение.
Значение bound может основываться исключительно на схеме, в которой оно объявлено, или зави
сеть от совокупности данной схемы.
EXPRESS-ciieiindniKaunH
*)
ENTITY bound
ABSTRACT SUPERTYPE OF (ONEOF(integer bound,
population dependent bound));
END ENTITY;
C
20