ГОСТ Р МЭК 61360-2—2013
(• The following express statements deal with aggregate types •)
IF ’IS013584_AGGREGATE_VALUE_3CHEMA.AGGREGATE_ENTITY_INSTANCE_VALUE’
IN TYPEOF(val) THEN
IF (NOT(
1ISO13584_IEC61360_DICTIONARY_SCHEMA.ENTITY_INSTANCE_TYPE1 IN
TYPEOF(dom)))
THEN
RETURN(FALSE);
END_IF;
IF (NOT{
•ISO13584_IEC61360_DICTIONARY_AGGREGATE_EXTENSICN_3CHEMA’
+ *.AGGREGATE_TYPE’ IN dom.type_name))
THEN
RETURN(FALSE);
END_IF;
RETURN(corapatible_aggregate_type_and_value(dom, val));
END_IF;
IF’ISOl3584_lNSTANCE_RESOURCE_SCHLt4A.ENTITY_1NSTANCE_VALUE*
IN TYPEOF(val)
THEN
IF ’IS013584_INSTANCE_RES0URCE_SCHEMA* *
*.UNCONTROLL£D_ENlITY_INSTANCE_VALUE’
IN TYPEOF(val)
THEN
RETURN(UNKNOWN);
END_1F;
IF (’1S013584_IEC61360_DICTIONARY_SCHEMA.EN?ITY_1NSTANCE_TYPE’
IN TYPEOF (dom)>
AND (dom.type_name <- TYPEOF(val))
THEN
RETURN(TRUE);
ELSE
RETURN(FALSE);
END_1F;
END_1F;
RETURN(UNKNOWN);
END_FUNCTION; -- compatible_data_type_and_value
(*
7.6 Определение правил стандартной схемы ограничений класса
IS013584JEC61360_class_constraint_schema
7.6.1 Общие положения
Данный подраздел определяет правила стандартной схемы ограничений класса IS013584_
IEC61360_class_constraint_schema.
7.6.2 Уникальный идентификатор ограничения (Unique_constraint_id)
Правило unique_constraint_id подтверждает, что два идентификатора ограничения constraint
identifier, ассоциированные с двумя различными ограничениями, имеют различные значения.
112