ГОСТ Р ИСО 13584-42—2012
Пример представления на языке EXPRESS:
*)
ENTITY enumeration_constraint
SUBTYPE OF (domain_constraint);
subset: LIST (1:?J OF UNIQUE primitn/e_value;
value_meaning: OPTIONAL non_quantitative_int_type;
WHERE
WR1: (NOT(EXISTS(SELF.value_meaning)))
OR
(integer_valuesjn_range(1, SIZEOF(SELF.subset))
= altowed_valuesJnteger_types(SELF.value_meaning)):
END_ENTITY; — enumeration_constraint
C
Определения атрибутов:
subset: список, описывающий подмножество значений, допустимых для свойства, идентифицированного
атрибутом constrained_properties.
уа1ие_смысл: набор словарных значений dic_value, определяющих смысл каждого значения, принадлежа
щего списку subset.
Пояснения к тексту программы:
WR1: если существует неколичественный целый тип non_quantitative_int_type для смысла значения value_
смысл, то набор кодов value_codes
его словарных значений dic_value должен принадлежать подмножеству 1.. S!ZE_OF.
F.5.2.12 Ограничение диапазона (Range_constraint)
Сущность range_constraint ограничивает область значений упорядоченного типа подмножеством значений,
определенных некоторымдиапазоном.
П р и м е ч а н и е 1 — Строка не рассматривается как упорядоченный тип и не может быть ограничена
условием range_constraint.
Для подтипов number_type, ассоциированных со словарными единицами измерения dic_unit, альтерна
тивными единицами измерения, а также, возможно, с идентификаторами словарных единиц измерения dic_unit_
identifier и идентификаторами альтернативных единиц измерения, рассматриваемое ограничение накладывается
на значение, соответствующее словарной единице dic_unit или одному инедтификатору словарной единицы dic_
unitjdentifier. Если существуют и словарная единица, и идентификатор, то они должны соответствовать одной и
той же единице измерения.
Для подтипов number_type, ассоциированных с валютой, ограничение накладывается на валюту, указанную
в определении их типов данных. Если никакая валюта в определении типа данных не указана, то ограничение
не используется.
П р и м е ч а н и е 2 — Для неколичественного целого типа данных non_quantitative_int_type ограничения
накладываются на код значения value_code.
Пример представления на языке EXPRESS:
*)
ENTITY range constraint
SUBTYPE OF (domain_constraint);
min_value. max_value: OPTIONAL NUMBER:
minjnclusive. maxjndusive: OPTIONAL BOOLEAN:
WHERE
WR1:min_value <= max_value;
WR2: TYPEOF(min_value)= TYPEOF(max_value);
WR3: NOT EXISTS <min_value) OR EXISTS (minjnclusive):
WR4: NOT EXISTS <max_value) OR EXISTS (maxjndusive);
END_ENTITY; — range_constraint
(‘
Определения атрибутов:
min_value: число, определяющее нижнюю границу диапазона значений: если это число не задано, то ниж
ней границы нет.
max_value: число, определяющее верхнюю фаницу диапазона значений: если это число не задано, то верх
ней границы нет.
minjnclusive: указывает, действительно ли минимальное значение min_value принадлежит рассматривае
мому диапазону; если такое значение не задано, то нижней фаницы нет.
maxjndusive: указывает действительно ли максимальное значение max_value принадлежит рассматрива
емому диапазону: если такое значение не задано, то верхней фаницы нет.
Пояснения к тексту программы:
WR1: min_value должно быть меньше или равно max_value.
135