ГОСТ Р ИСО 13584-42—2012
INTYPEOF (dom))
THEN
RETURN(compatibleJevelJype_andJnstance(
dom.tevels.
TYPEOF(dom. valueJype).
val));
ELSE
RETURN(FALSE);
ENDJF;
ENDJF:
(* The following express statements deal with aggregate types *)
IF •|S013584_AGGREGATE_VALUE_SCHEMA.AGGREGATE_ENTITY_INSTANCE_VALUE’ IN
TYPEOF(val) THEN
IF(NOT(
’ISO13584JEC61360_DICTIONARY_SCHEMA.ENTITYJNSTANCE_TYPE’
INTYPEOF(dom)))
THEN
RETURN(FALSE);
ENDJF;
IF(NOT(
’IS013584 IEC61360_DICTIONARY_AGGREGATE_EXTENSION_SCHEMA’
+ ’.AGGREGATE_TYPE’ IN dom.type_name))
THEN
RETURN(FALSE);
ENDJF;
RETURN(compatiЫв_aggrвgateJypв_ar»d_value(dom. val));
ENDJF;
IF ,IS013584_INSTANCE__RES0URCE_SCHEMA.ENTfTYJNSTANCE_VALUE’
IN TYPEOF(val)
THEN
IF IS013584JNSTANCE_RES0URCE_SCHEMA’ +
’.UNCONTROLLED_ENTITY_INSTANCE_VALUE’
INTYPEOF(val)
THEN
RETURN(UNKNOWN):
ENDJF:
IF (’IS013584JEC61360_DICTIONARY_SCHEMA.ENTITYJNSTANCE_TYPE’
INTYPEOF (dom))
AND (dom.type_name <= TYPEOF(val))
THEN
RETURN(TRUE);
ELSE
RETURN(FALSE);
ENDJF;
ENDJF;
RETURN(UNKNOWN);
ENDJUNCTION; — compatiWe_dataJype_and_value
C
F.5.5 Определение правил стандартной схемы ограничений класса ISO13584JEC61360_class_
constraint_schema
Данный подраздел определяет правила стандартной схемы ограничений класса ISO13584_IEC61360_class_
constraint_schema.
F.5.5.1Уникальный идентификатор ограничения (Uniquej:onstraintJd)
Правило unique_constraintJd подтверждает, что два идентификатора ограничения constraintjdentifier,
ассоциированные с двумя различными ограничениями, имеют различные значения.
143