ГОСТ Р ИСО 13584-25—2010
OR (’IS013584_AGGREGATE_VALUE_SCHEMA.SET_VALUE’ INTYPEOF(
val.the_value))
OR
(’IS0135&4_AGGREGATE_VALUE_SCHEMA.SET_WITH_SUBSETC0NSTRAINT_VALUE’
IN TYPEOF (val.the_value)))
AND(
(EXISTS(the_datajype.type_structure.bound_2))
AND NOT
(SIZEOF(elements) <=the_data_type.type_structure.bound_2))
THEN
RETURN(FALSE):
ENDJF;
- - для типа данных массива и его значений проверка того, что размер сохраняемого списка
соответствует объявлению типа
IF(‘IS013584_AGGREGATE_VALUE_SCHEMA.ARRAY_VALUE’ INTYPEOF(
val.the_value))
THEN
IF(NOT(val.the_value\array_value.bound_1 =
the_data_type.type_structure.bound_1)OR
NOT(val.the_value\array_value.bound_2 =tbe_data_type.type_structure.bound_2))
THEN
RETURN(FALSE);
END_IF;
ENDJF;
- -для типа данных set_with_subset_constraintJype
- - проверка того, чтоограничения на размерподмножества, определенные
- -на уровне значений, согласованы с соответствующими ограничениями,
- - определенными на уровне типа
IF
(’IS013584_AGGREGATE_VALUE_SCHEMA.SET_WITH_SUBSET_C0NSTRAINT_VALUE’
IN TYPEOF (val.the_value))
AND NOT
((the_datajype.type_stiucture.cardinal_min
<=val.the„value\set_with_subset_constraint_value.min)
AND
(val.the_value\set_with_subset_constraint_value.min
<=val.the_valueVset_with_subset_constraint_value max)
AND
(val.the_value\set_with_subset_constraint_value.max
<= the_datajype.type_structure.cardinal_max))
THEN
RETURN(FALSE);
ENDJF;
- -для списка или массива значений с запретом дублирования элементов
- - проверка отсутствия повторяющихся значений
IFCIS013584_AGGREGATE_VALUE_SCHEMA.LIST_VALUE’ IN TYPEOF(
val.the_value)) OR
(’IS013584_AGGREGATE_VALUE_SCHErM.ARRAY_VALUP
INTYPEOF (val.lhe value))
THEN
IF(the_dalajype.type_structure.uniqueness)
THEN
REPEAT i ;= 1TO SIZEOF{val.the_value.values):
IFN0T(1S013584 INSTANCE_RESOURCE_SCHEMA.NULL_VALUE’
INTYPEOF{val.tbe_value.values[i]))
19