ГОСТ Р ИСО 13584-25—2010
THEN
RETURN(FALSE);
ENDJF;
IF(’IS013584_AGGREGATE_VALUE_SCHEMA.BAG_VALUE’ INTYPEOF(
val.the_value))ANDNOT
CISO13584JEC61360_DICTlONARY_AGGREGATE_EXTENSION_SCHEMA:+
’BAG_TYPE’ INTYPEOF{the_dataJype.type_stmcture))
THEN
RETURN(FALSE);
ENDJF;
IFCIS013584_AGGREGATE_VALUE_SCHEMA.SETVALUE’ IN TYPEOF(
val.thG_value))ANDNOT
(’ISO13584_IEC61360_DICTIONARY_AGGREGATE_EXTENSION_SCHEMA.’+
’SET_TYPE’ INTYPEOF(the_data_type.typo_structuro))
THEN
RETURN(FALSE);
ENDJF;
IF(‘IS013584_AGGREGATE_VALUE_SCHEMA.ARRAY_VALUE’ INTYPEOF{
val.tho_value))ANDNOT
0SO13584JEC61360_DICTIONARY_AGGREGATE_EXTENSION_SCHEMA>
’ARRAY_TYPE* INTYPEOF(the_dataJype.type_structure))
THEN
RETURN(FALSE);
ENDJF;
IF
CIS013584_AGGREGATE_VALUE_SCHEMA.SET_WITH_SUBSET_C0NSTRAINT_VALUP
INTYPEOF(val.the_value)) AND NOT
(,ISO13584IEC61360_DICTIONARY_AGGREGATE_EXTENSION_SCHEMA.’+
’SET_WITH_SUBSET_CONiTRAINT_TYPE’
IN TYPEOF{the_dataJype.type_structure))
THEN
RETURN(FALSE),
ENDJF;
- - проверка того, что верхняя инижняя границы значений совместимы собъявлением типа
IF ((”IS013584_AGGREGATE_VALUE_SCHEMA.LIST_VALUE’
INTYPEOF (val.the_value))
0R(’IS013584_AGGREGATE_VALUE_SCHEMA.BAG_VALUE’
INTYPEOF (val.thG_value))
OR (MS013584_AGGREGATE_VALUE_SCHEMA.SET_VALUE’
INTYPEOF (val.the_value))
OR
(,IS0135&4_AGGREGATE_VALUE_SCHEMA.SET_WrrH_SUBSET_C0NSTRAINT_VALUE’
INTYPEOF (val.thej/alue)))
AND (
(EXISTS{the_dataJype.type_stmcture.bound_1))
AND NOT
(SIZEOF(elements) >= the_datajype.type_structure.bound_1))
THEN
RETURN(FALSE);
ENDJF;
IF((,IS013584_AGGREGATE_VALUE_SCHEMA.LIST_ VALUE’ INTYPEOF(
val.the_value))
OR CIS013584_AGGREGATE_VALUE_SCHEMA.BAG_VALUE’ INTYPEOF(
val.the_value))
18