ГОСТ Р МЭК 61360-2—2013
зует только свойства, применимые в классе cl. Функция возвращает логическое значение. Это значение
неизвестно, если полный набор применимых свойств в классе не может быть вычислен.
Пример представления на языке EXPRESS:
*)
FUNCTION correct_precondition(
cons: configuration_control_constraint; ci:ciass): LOGICAL;
LOCAL
prop: SET OF property_BSU:- ();
END_LOCAL;
REPEAT i :- 1 to SI2EOF (cons.precondition);
propprop + cons .precondition’i) .referenced_property;
END_REPEAT;
IF prop <- cl.known_applicable_properties
THEN RETURN (TRUE);
ELSE
IFall_ciass_descriptions_reachable(cl.identified_by)
THEN RETURN (FALSE);
ELSE RETURN (UNKNOWN);
END_1F;
END_IF;
ENl>_FUNCTION; -- correct_precondition
(w "
7.5.4 Функция проверки корректности типа ограничения (Correct_constraint_type)
Функция correct_constraint_type проверяет тот факт, что ограничение на область domain_
constraint, определенное атрибутом cons, совместимо с типом данных data_type. определенным
атрибутом typ. Функция возвращает логическое значение. Это значение неизвестно, если тип domain_
constraint, определенный атрибутом cons, не является одним из подтипов, определенных стандартной
схемой ограничений класса ISO13584_IEC61360_class_constraint_schema.
Пример представления на языке EXPRESS:
*)
FUNCTION correct_constraint_type(
cons: domain_constraint; typ:data_type):LOGICAL;
(•case subclass constraint*)
IF <•ISOlSSS^IECeiSeO^LASS^ONSTRAIN’I^SCHEMA’
f1SUBCLAS5_C0NSTRAINT’) IN TVPEOI(cons)
THEN
<*the data type shall be class_reference_type*)
IF NOT
CISO13584_IEC61360 DICTIONARY_SCHEMA.CLASS_REF£RENCE_TУPE•
IN TYPEOF (typ))
THEN RETURN(FALSE);
END_IF;
(*the cons.subclasses shall consist of subclasses for the class
that defined the initial domain of typ.*)
IF NOT (QUERY (sc <* cons.subclasses
definition_available_implies
(sc,definition_available_implies
106