ГОСТ Р ИСО 13584-42—2012
IN TYPEOF (typ)) AND
NOT (’IS013584_INSTANCE_RES0URCE_SCHEMA-RATI0NAL_VALUE’ IN TYPEOF
(cons.min_value))
THEN RETURN(FALSE);
ENDJF;
(*if the data type is a real_type then min_value and maxvalue shall be REALs. *)
IF (’IS013584JEC61360JDICTIONARY_SCHEMA.REAL_TYPE’
IN TYPEOF (typ)) AND NOT (REAL’ INTYPEOF (cons.min_value))
THEN RETURN(FALSE);
ENDJF;
(‘all values of the range shall belong to the allowed values defined by the type. *)
IF ((ISO13584JEC61360_DICTIONARY_SCHEMA
♦ \NON_QUANTITATIVEJNTJYPE) IN TYPEOF (typ))
AND NOT
(integer_vaiues_in_range(cons.min_value. cons.max_value)
<= allowed_valuesJntegerJypes (typ))
THEN RETURN(FALSE)f
ENDJF;
RETURN (TRUE);
ENDJF;
(‘case entity string_size_constraint’}
IF ( IS013584JEC61360_CLASS_CONSTRAINT_SCHEMA
+’.STRING_SIZE_CONSTRAINT’) IN TYPEOF (CONS)
THEN
(* the data type shall be a stringJype or any of its subtypes*)
IF NOT ( IS013584JEC61360_DICTIONARY_SCHEMA.STRING_TYPE’
IN TYPEOF (typ))
THEN RETURN(FALSE);
ENDJF;
RETURN (TRUE);
ENDJF;
(‘case entity string pattern constraint *)
IF {’ISO13584_IEC61360_CLASS_CONSTRAINT_SCHEMA’
+’.STRING_PATTERN_CONSTRAINT‘) IN TYPEOF (CONS)
THEN
(* the data type shall be a stringJype or any of its subtypes *)
IF NOT {■|SO13584 IEC61360_DICT!ONARY_SCHEMA.STRING_TYPE’
IN TYPEOF (typ))
THEN RETURN(FALSE);
ENDJF;
RETURN (TRUE):
ENDJF;
(‘case entity cardinafity_constraint *)
IF (IS013584JEC61360_CLASS_CONSTRAINT_SCHEMA
+’.CARDINALITY_CONSTRAINT ) INTYPEOF (CONS)
THEN
(’ the data type shall be an aggregate type but not an array *)
IF (NOT(
(ISO13584JEC61360_DICTIONARY_AGGREGATE_EXTENSION_SCHEMA
+ ‘.ENTITY_INSTANCE_TYPE_FOR_AGGREGATE)
IN TYPEOF(typ)))
THEN
RETURN(FALSE):
140