ГОСТ Р ИСО 10303-22-2002
9.4.8 О б ъ е к т select.value
Объект select_\alue является значением, связанных! с типом данных, определяемым конструк
цией TYPE языка EXPRESS, устанавливающей тип SELECT. Объект sclect_value содержит инфор
мацию, достаточную для однозначной идентификации возможного пути, определяющего значение
типа в случае, когда схема устанавливает граф типов, возможно включающий тип SELECT, а
без дополнительной информации относительно типа такое определение может быть
неоднозначным. Атрибуты select.value описаны в настоящем стандарте, но соответствующая
EXPRESS-спсиифнка-цня отсутствует, так как нет необходимости в их реализации.
EXPRESS-епеиификаиия
*)
ENTITY select_value;
SUPERTYPE OF (ONEOF(selcct aggregate instance»:
END_ENTITY;
C
Пр и м е р 11—Ниже описана примерная EXPRESS-сисаификаиия tj>vнкшкжальных возможностей,
необходимая для значения выбора.
ENTITY sclcct.valuc;
SUPERTYPE OF (ONEOF(sclect_aggrcgale_instancc)>;
data_value :OPTIONAL primitive:
data_type : LIST |0:?J OF dcfincd_typc:
END_ENTITY:
Определения атрибутов
data_value —значение, связанное с типом данных;
data.type —типы, достаточные для идентификации конкретных значений в порядке их пред
ставления прикладным программистом.
9.4.9 О б ъ е к т select_aggregate_instance
Объект select_aggregate_instance является объектом select_value, имеющим в качестве своего
значения data.value экземпляра агрегата.
EXPRESS-cneund>HKamiH
*>
ENTITY select.aggregate instance;
SUBTYPE OF (select value):
END ENTITY:
C
Нейюрмальное утверждение
1P1 —data_value должно быть экземпляром агрегата.
9.4.10 О б ъ е к т enumeration_value
Объект enumeration.value является значением, связанным с типом данных, являющихся ти
пом ENUMERATION языка EXPRESS. Атрибуты enumeration_value описаны в настоящем стандар
те, но соответствующая EXPRESS-специфнкация отсутствует, так как нет необходимости в их
реа лизации.
EXPRESS-eiienn<l)HKannn
*)
ENTITY enumeration value;
END ENTITY:
C
Пр и м е р 12 —Ниже описана примерная EXPRESS-спсцификация функциональных возможностей,
необходимыхдля перечисляемого значения.
ENTITY cnumcration_vaJue;
enumcration_namc: INTEGER;
enumeration typename : dcfincd_iupc:
END_ENTITY;
Определения атрибутов
enuraeration_name —позиция внутри списка cnumcrationtype.elcments. соответствующая элементу пере
числения. значение которого связанос типом данных (см. 6.4.28);
cnuincrationtypcname — объект defined.type, определяющей элемент перечисления, который является
значением типа данных.
36