ГОСТ Р МЭК 61360-2—2013
(typ\class_reference_type.domain,is_subclass<sc.definition[1]
,typ\class_referer.ce_type.domain, definitional])))- false)
- n
THEN RETURN(FALSE);
END_IF;
RETURN (TRUE);
END_IF;
(•case entity subtype constraint*)
IF ((’:SO:3584_IEC61360_CLASS_CONSTRAINT_SCHEMA’
+’ENTITY_SUBTYPE_CONSTRAINT’) IN TYPEOF (CONS))
THEN
(• the data type is a class_reference_type*)
IF NOT ((’ISO13584_IEC6:360_DICTIONARY_SCHEMA’
+’.ENT1TY_1NSTANCE_TYPE’) IN TYPEOF (typ)>
THEN RETURN(FALSE);
END_IF;
(• the subtype_name shall define a subtype for the entity_instar.ce_type
of the constrained *)
IF NOT (cons\entity_subtype_cor.straint.subtype_names
>- typ\entity_instar.ce_type.type_name>
THEN RETURN(FALSE);
END_IF;
RETURN (TRUE);
END IF;
(•case enumeration_constraint *)
IF <*ISO13584_IEC61360_CLASS_CONSTRAINT_SCHEMA’
+1.EHUMERATION_CONSTRAINT’) IN TYPEOF (CONS)
THEN
(• ail the values belonging to the subset of values shall be compatible
with the typ data type *)
IF (QUERY (val<*cons.subset I
NOT corapatible_data_type_and_value (typ, val))<> [])
THEN RETURN(FALSE);
END_IF;
RETURN (TRUE);
END IF;
(♦case range_constraint *)
IF (’1S013584 IEC61360_CLASS_CONSTRAINT_SCHEMA..RANGE_CONSTRAINT’
IN TYPEOF (CONSH
THEN
(*if the data type is an integer_type then mir._value and max_value
shall be INTEGERS.*)
IF (’ISO1358-5_IEC61360_DICTIONARY_SCHEMA.lNTEGER_TYPE’
IN TYPEOF (typ))AND
107