ГОСТ Р ИСО 13584-25—2010
SUBTYPE OF (aggregate_value):
SELF\aggregate_value.va!ues: LIST OF pnmitive_value;
WHERE
WR1:VALUE JJNIQUE(values);
END_ENTITY;
(*
Определение атрибутов:
values: список, включающий в себя все значения множества описываемой сущности.
Формальные положения:
WR1:значения в списке values должны быть уникальными; повторяющиесязначения недопустимы.
7.2.5 Объект bag_value
Объект bag_value обеспечивает определение значений данных, которые могут быть выражены в
виде мультимножества, состоящего из примитивных значений primitive_value.
Спецификация EXPRESS:
*)
ENTITY bagvalue
SUBTYPE OF (aggregate_value):
SELRaggregate_va!ue.values: LIST OF primitive_value;
END_ENTITY;
(‘
Определение атрибутов:
values: список, включающий в себя все значения мультимножества описываемой сущности.
7.2.6 Объект array_value
Объект array_value обеспечивает определение значений данных, выраженных в виде массива, со
стоящего из значений null_or_primitive_value.
Спецификация EXPRESS:
*)
ENTITY array_value
SUBTYPE OF (aggregate_value):
bound 1: INTEGER;
bound_2: INTEGER;
WHERE
WR1: SIZEOF (SELF\aggregate_value. values) = SELF.bound_2 - SELF.bound_1 + 1;
END_ENTITY;
(‘
Определение атрибутов:
bound_1:значение нижней границы массива.
bound_2: значение верхней границы массива.
Формальные положения:
WR1:размер атрибутасписка valuesдолжен быть равенразмеру,определенному атрибутамиbound_1
и bound_2.
7.2.7 Объект set_with_subset_constraint_valuo
Объект set_with_subset_constraint_value обеспечиваетопределение значений данных, выражен
ных в виде множества, состоящего из примитивных значений primitive_value и подмножеств. Размеры
допустимых подмножеств определяют либо минимальным и максимальным значением, указанным для
типаданных set_with_subset_constraint_type. либо атрибутами min и max. Если не установлены грани
цы.допускается использоватьлюбые подмножества.
Примечание 1— Настоящий стандарт не распространяется на контекст, в котором могут быть
выделены подмножества.
Примечание2 — Если помимо min и max также указаны cardinal_min и cardinal max, правило
allowed_aggregate_value обеспечивает выполнение условия cardinal_min <= min <= max <= cardinal_max.
Спецификация EXPRESS:
*)
ENTITY set_with_subset_constraint_value
SUBTYPE OF (aggregate_value);
13