ГОСТ Р ИСО 13584-25—2010
WHERE
WR1: EXISTS (boundj) OR NOT (EXISTS<bour>d_2));
WR2: NOT(EXISTS(bound_1)) OR (boundj >=0);
END_ENTfTY;
r
Формальные положения:
WR1:если вопределяемом набореприсутствует необязательный атрибутверхней границы bound_2,
в нем также есть необязательный атрибут нижней границы b o u n d j.
WR2: если в определяемом наборе присутствует необязательныйатрибут нижней границы boundj,
то значение этогоатрибута недолжно быть отрицательным.
6.2.5 Объект bagjype
Объект bagjype обеспечиваетопределение типовданных, выраженных в виде неупорядоченного
набора значений, в котором могут присутствовать повторяющиеся элементы.
Спецификация EXPRESS:
*)
ENTITY bagjype
SUBTYPEOF(aggregateJype):
WHERE
WR1: EXISTS(boondJ ) OR NOT(EXISTS(bound_2));
WR2: NOT(EXISTS(bound_1))OR (boundj >=0);
END_ENTfTY;
r
Формальные положения:
WR1.если вопределяемом наборе присутствует необязательный атрибутверхней границы bound_2,
в нем есть необязательный атрибут нижней границы boundj.
WR2: если вопределяемом наборе присутствует необязательныйатрибут нижней границы boundj,
то значение этогоатрибутадолжнобыть неотрицательным.
6.2.6 Объект arrayJype
Объект arrayJype обеспечивает определение типов данных, выраженныхв виде массива значений.
Областью значений этого типаданныхявляется индексированный набор аналогичных элементов фиксиро
ванного размера. Нижняя и верхняя границы массива, выраженные целыми числами, определяют диапа
зон значений индекса и, как следствие, размер массива. При определении типа данных массива может
бытьдополнительно указано, что значение массива недолжносодержать повторяющихся элементов.
Спецификация EXPRESS:
*)
ENTITY arrayJype
SUBTYPE OF (aggregateJype);
SELF\aggrogatejype.boundJ: INTEGER;
SELF\aggregatejype.bound_2: INTEGER;
uniqueness: BOOLEAN.
are_optional: BOOLEAN;
END_ENT(TY;
(*
Определение атрибутов:
b o u n d j: целое значение, устанавливающее нижний индексопределяемого агрегированноготипа.
bound_2: целое значение, устанавливающее верхний индексопределяемого агрегированного типа,
uniqueness: указывает на то. что все элементы массивадолжны бытьуникальными (значение true),
либоони могут дублироваться (значение false).
are_optional: указывает на то. что в массивдолжны входить все элементы (значение false), либо на
то. что некоторыеэлементы массива могут отсутствовать (значение true).
6.2.7 Объект set_with_subset_constraint_type
Объект set_with_subset_constraint_type обеспечивает определение типовданных, выраженныхв
виде множества значений, в котором могут существовать подмножества. Размеры допустимых подмно
жеств определяются минимальным и максимальным значениями. Если эти значения отсутствуют,
допуска етсялюбое подмножество.
Пр имечание — Настоящий стандарт не распространяется на контекст, в котором могут быть выделены
подмножества.
10