ГОСТ Р МЭК 61360-2—2013
NOT {’INTEGER’ IN TYPEOF (cons.mir._value))
THEN RETURN<FALSE);
END IF;
(■if the data type is a rational_type then min_value and max_value
shall be rational.*)
IF (,ISO13584_IEC61360_DICTIONARY_SCHEMA.RATIONAL_TYPE’
IN TYPEOF (typ)) AND
NOT<,IS013584_1NSTANCE_RES0URCE_SCH£MA.RATI0NAL_VALUE’IN
TYPEOF (cons.min_value))
THEN RETURN(FALSE);
END IF;
(■if the data type is a real_type then min_value and max_value shall be
REALS.*)
IF (*IS013584_IEC6136C_DICTI0NARY_SCHEMA.REAL_TYPE’
IN TYPEOF (typ)) AND NOT (’REAL’ IN TYPEOF (cons.min_value))
THEN RETURN(FALSE);
END IF;
(■all values of the range shall belong to the allowed values defined by
the type.*)
IF (<’1S013584_1EC61360_DICT10NARY_SCHEMA’
♦ ’.NON_QUANTITAT1VE_1NT_TYPE’> IN TYPEOF (typ))
AND NOT
(integer_values_in_range(cons.min_value, cons.maxvalue)
<- allowed_values_integer_types (typ))
THEN RETURN(FALSE);
END_IF;
RETURN (TRUE);
END IF;
(•case entity string_size_constraint*)
IF (*ISO13584_IEC61360_CLASS_CONSTRAINT_SCHEMA’
+’.STRING_SIZE_CONSTRAINT’) IN TYPEOF (CONS)
THEN
(• the data type shall be a string_type or any of its subtypes ■)
IF NOT(’ISO13584_IEC61360_DICTIONARY_SCHEMA.STRING_TYPE’
IN TYPEOF (typ))
THEN RETURN(FALSE);
END_IF;
RETURN (TRUE);
END_IF;
(•case entity string_pattern_constraint •)
IF (»IS013584_1EC61360_CLASS_CONSTRAINT_SCHEMA*
+’.STRING_PATTERN_CONSTRAINT’) IN TYPEOF (CONS)
THEN
(■ the data type shall be a string_type or any of its subtypes ■)
108