ГОСТ Р МЭК 61360-2—2013
cons: SET 01 property_constraint
compute_kr.own_property_constraints (cl);
-- all those property_constramts existing in the various
-- classes from cl that may be computed in the current
-- exchange context.
ENO_LOCAL;
REPEAT n_cons :- 1 TO SIZEOF(cor.s);
IF consfn_cons).constrained
_
propertу IN prop
THEN
ss + cons[n_cons];
END_IF;
END_R£PEAT;
RETURN(s);
END_FUNCTIQN; — compute_known_referenced_property_constraints
(*
8.4.4 Функция проверки суперкласса элементов (Superclass_ofJtemJsJtem)
Функция superclass_of_ltemJsJtem проверяет тот факт, что суперкласс класса элементов (сущ
ность cl) item_class, если он существует, также является классом элементов item_class.
Если класс, ассоциированный с базовой семантической единицей класса class_BSU, не может
быть вычислен, то функция возвращает значение UNKNOWN.
Пример представления на языке EXPRESS:
*>
FUNCTION superclass_of_item_is_item(cl:item_class>:LOGICAL;
IF NOT EXISTS(cl\class.its_superclass)
THEN
RETURN(TRUE);
END_IF;
IF SIZEOF(cl\class.its_superclass.definition) - 0
THEN
RETURN(UNKNOWN);
END_IF;
RETURN((•ISO13584_IEC61360_DICTIONARY_SCHEMA.ITEM_CLASS’)
INTYPEOF(cl\class.its_superclass.definition■1]));
END_FUNCTION; -- superclass_of_item_is_item
<w "
8.4.5 Функция проворки определения условного ссылочного класса (Check_is_case_of_
referenced_class_deflnition)
Функция check_is_case_of_referenced_class_defmition возвращает значение TRUE, если тип ус
ловного класса элементов item_class_case_of из набора словарных определений ссылочных классов
is_caso_of совместим с рассматриваемой реализацией условного класса элементов (cl) itom_class_
case_of. В противном случае функция возвращает значение FALSE.
Пример представления на языке EXPRESS:
*>
FUNCTIONcheck_is_case_of_referenced_classes_definition(
cl: item_class_case_of): BOOLEAN;
LOCAL
class def ok: BOOLEAN :- TRUE;
121