ГОСТ Р ИСО 10303-22-2002
6.4.29 О б ъ е к т select.type
Объект sdect.type представляет выбираемый (SELECT) тип языка EXPRESS.
EXPRESS-ciiennriniKainni
*)
ENTITY select_type;
selections : SET |I:?| OF named type;
END.ENTITY;
C
Определение атрибута
selections —множество выбираемых типов.
6.4.30 О б ъ е к т aggregation_type
Объект aggregation.type является типом данных языка EXPRESS, значения которого представ
ляют наборы (коллекции) других значений заданного основного типа.
EXPRESS-cncnH<l)HKaumi
*>
ENTI TYaggregation type
ABSTRACT SUPERTYPE OF (ONEOF(variable_size_aggregationjype.
array_type));
element type : base type;
END.ENTITY:
<•
Oilределе нис aiрнбута
element_type —тип элементов, которые содержатся в значениях агрегатного типа.
6.4.31 О б ъ е к т variable_size_aggregation_type
Объект variable_size_aggregation_type является объектом aggregatk>n_type, объявленным как
имеющий переменное число элементов. Число элементов ограничено снизу и может быть ограниче но
сверху.
EXPRESS-ciicund>HKaunH
*)
ЕNTITY variable.size_aggregation type
ABSTRACf SUPERTYPE OF (ONEOF(set_type, bag.type, listjype))
SUBTYPE OF (aggregation.type):
lower.bound : bound;
upper bound : OPTIONAL bound;
END.ENTITY;
C
Определения атрибутов
Icmer.bound — минимальное число элементов, могущее присутствовать в экземпляре типа.
Нижнее значение границы равно нулю, если отсутствует числовое выражение, определяющее дан
ную величину в схеме, в которой объявлен агрегат;
upper_bound — максимальное число элементов (при его наличии), могущее присутствовать в
экземпляре типа. Если оно отсутствует, число элементов в экземпляре типа сверху не ограничено.
Неформальное утверждение
valid_boundaries —значение нижней границы не может быть больше значения верхней.
6.4.32 О б ъ е к т set_type
Объект set_type является объектом variable_size_aggregation_type. представляющих! выбирае
мый (SET) тип языка EXPRESS.
EXPRESS-cneumliUKamm
*>
ENTITY set.type
SUBTYPE OF (variable_size_aggregation_type);
END.ENTITY:
C
6.4.33 О б ъ е к т bag_type
Объект bag_type является объектом variabIe_size_aggregation_type. представляющим мульти-
множественный (BAG) тип языка EXPRESS.
19