ГОСТ Р МЭК 61360-2—2013
Определения атрибутов:
domain: набор перенумерованных значений, описанных сущностью value_domain.
Пояснение к тексту программы:
WR1: значения, ассоциированные со списком domain.its_value, должны содержать только эле
менты типа value_code_type.
5.10.3.22 Комплексный тип (Comp!ex_type)
Сущность complex_type дает определения типов, значения которых представлены как реализа
ции языка EXPRESS.
Пример представления на языке EXPRESS:
*>
ENTITY complex_type
ABSTRACT SUPERTYPE OF(ONEOF<
ievel_type,
class_reference_type,
entity_inscar.ce_cype))
SUBTYPE OF(data_type>;
END_ENTITY; -- complex_type
<*
5.10.3.23 Тип уровня (Level_type)
Тип данных level_type — это комплексный тип. указывающий, что значение свойства содержит от
одного до четырех действительных или целых значений. Каждое из них описывается конкретным инди
катором. указывающим смысл данного значения.
Примечание — Значенияреализаций level_type содержат значениятолько индикаторов, установленных
атрибутом levels. Если некоторые из указанных значений недоступны, то они представляются нулями null_value.
Пример — Если атрибут level_type указывает, что только минимальные и типовые значения мо
гут быть целыми, то рассматриваемая реализация содержит целые значения (или нулевые значения
null_value) только для минимальных и типовых значений реализаций level_type.
Пример представления на языке EXPRESS:
*>
ENTITY level_type
SUBTYPE OF(complextype);
levels: LIST (1:4] OF UNIQUE level;
value_type: simple_type;
WHERE
WR1:(’ISO13584_IEC61360_DICTIONARY_SCHEMA.INT_MEASURE_TYPE’
IN TYPEOF(value_type))
OR (’1S013584_1EC61360_OICTIONARY_SCHEMA.REAL_MEASUR£_TYPE’
IN TYPEOF<value_type));
WR2:NOT EXISTS(SELF.levels[2]> OR
{SELF.levels(1] < SELF.levelsJ2]);
WR3: NOT EXISTS(SELF.levels(2]> OR NOT EXISTS(SELF.levels[3]> OR
(SELF.levels[2] < SELF.levels(3J>;
WR4: NOT EXISTS(SELF.levels[3]) OR NOT EXISTS(SELF.levels[4]» OR
(SELF.levels(3] < SELF.levels[4]>;
ENO_ENTITY; -- level_type
(* ~
Определения атрибутов:
levels: список уникальных индикаторов, указывающих, какие из заданных значений должны быть
ассоциированы со свойством.
value_type: тип данных указанных значений атрибута level_type.
54