ГОСТ Р ИСО 13584-42—2012
WHERE
WR1: QUERY(v <* domain.itsjralues |
NOT(‘IS013584JEC61360_DICTIONARY_SCHEMA.VALUE_CODE_TYPE’ IN
TYPEOF(v.valuejx>de))) = [ ];
END_ENTITY; — non_quantitalive_codeJype
(‘
Определения атрибутов:
domain: набор перенумерованных значений, описанных сущностью value_domain.
Пояснения к тексту программы:
WR1: значения, ассоциированные со списком domain.its_value, должны содержать только элементы типа
value_code_type.
F.3.8.2.22 Комплексный тип (Complextype)
Сущность complex_type дает определения типов, значения которых представлены как реализации языка
EXPRESS.
Пример представления на языке EXPRESS:
*)
ENTITY complex_type
ABSTRACT SUPERTYPE OF(ONEOF<
level_type,
dass_reference_lype.
entily_instance_type))
SUBTYPE OF(dataJype):
END_ENTITY: — complexjype
C
F.3.8.2.23 Тип уровня (Level_lype)
Тип данных level_type — это комплексный тип. указывающий, что значение свойства содержит от одного
до четырех действительных или целых значений. Каждое из них описывается конкретным индикатором, указыва
ющим смысл данного значения.
П р и м е ч а н и е 1— Значения реализаций level_type содержат значения только индикаторов, установлен
ныхатрибутом levels. Если некоторые изуказанных значенийнедоступны, тоони представляютсянулями nul!_value.
Пример — Если атрибут level_type указывает, что только минимальные и типовые значения мо
гут быть целыми, то рассматриваемая реализация содержит целые значения (или нулевые значения
null_value) только для минимальных и типовых значений реализаций level_type.
Пример представления на языке EXPRESS:
*)
ENTITY leveljype
SUBTYPE OF(complexJype):
levels: LIST [1:4] OF UNIQUE level;
vatuejype: simple_type;
WHERE
WR1:{’ISO13584JEC61360_DICTIONARY_SCHEMA.INT_MEASURE_TYP£’
INTYPEOF(valueJype))
OR {’ISO13584_IEC61360_DICTIONARY_SCHEMA.Real_measure_type’
INTYPEOF(valueJype));
WR2: NOT EXISTS(SELF.Ievels[2]) OR
(SELF.Ievels[1] < SELF.Ievels[2]);
WR3: NOT EXISTS(SELF.Ievels[2]> OR NOT EXISTS(SELF.Ievels[3]> OR
(SELF.Ievels[2] < SELF.tevels[3]);
WR4: NOT EXISTS(SELF.Ievels[3]) OR NOT EXISTS(SELF.Ievels[4]> OR
(SELF.Ievels[3] < SELF.tevels[4]);
END_ENTITY; — leveljype
(*
Определения атрибутов:
уров: список уникальных индикаторов, указывающих, какие из заданных значений должны быть ассоцииро
ваны со свойством.
valuejype: тип данных указанных значений атрибута leveljype.
Пояснения к тексту программы:
WR1: тип собственного значения SELF.valueJype — это либо тип целой меры int_measurejype, либо тип
действительной меры realjneasurejype.
WR2: порядок первого и второго уровней level, если оба существуют, должны соответствовать порядку ну
мерации типа level.
WR3: порядок второго и третьего уровней level, если оба существуют, должны соответствовать порядку ну
мерации типа level.
97