ГОСТ Р ИСОГГС 10303-1106—2013
Type_qualifier.name in [’minimum’, ’maximum’];
END_ENTITY;
(*
Определение атрибута
qualifiers - атрибут, унаследованный от объекта Qualified_representation_item. должен быть
заново объявлен для объекта Valuejim lt, как объект Pre_defined_type_ qualifier. Должен
существовать точно один объект Pre_defined_type_qualifier для данного объекта ValueJimit.
Формальное утверждение
WR1 - значением атрибута name, который соответствует данному атрибуту qualifiers, должно
быть ’minimum’ или ’maximum’.
4.2.3 Объект Valuejist
ОбъектValuejistявляетсяподтипомобъектаMeasureJtem.которыйпредставляет
упорядоченный набор объектов Moasurejtem.
Пример
-
Объект Measurejtem может быть составлен из разных значений, таких как
’mass (масса)’, ’speed (скорость)’, ’аде (возраст)’, которые необходимы в данном контексте. В
объекте Valuejist все эти значения располагаются в заданном порядке так, что любое из
них определяется своим индексом в списке.
EXPRESS-слецификация.
*)
ENTITY Value_list
SUBTYPE OF (Measure_item);
values : LIST[1:?] OF Measure_item;
END_ENTITY;
(*
Определение атрибута
values - значения.
4.2.4 Объект Value_range
Объект Value_range является подтипом объекта Moasurejtem, который представляет пару
чисел, определяющих диапазон, в котором должно находиться данное значение.
EXPRESS-слецификация:
*)
ENTITY Value_range
SUBTYPE OF (Measure_item);
: Numerical_item_with_unit;
: Numerical_item_with_ur.it;
lower_limit
upper_limit
END_ENTITY;
(*
Определения атрибутов
lowerjlm it - нижняя граница диапазона;
upperjim it - верхняя граница диапазона.
4.2.5 Объект Value_rango_with_global_unit
Объект Value_range_with_global_unit является подтипом объекта Measurejtem. который
представляет пару численных значений, определяющих диапазон, в котором должно находиться
данное значение. Единица измерения задана глобально.
EXPRESS-слецификация.
*)
ENTITY Value_range_with_global_ur.it
SUBTYPE OF (Measure_item);
lower_limit :Numerical_item_with_global_un.it;
upper_limit : Numerical_item_with_global_ur.it;
4