ГОСТ Р МЭК 61360-2—2013
ELSE
REPEAT i
s
1 ТО SlZEOF(cl.definition[1]\class.defined_types);
s + cl.definitionfl]\class.defined_types [i];
END_REPEAT;
IF ((’ISO!3584_IEC61360_ITEM_CLASS_CA3E_OF_SCHEMA.’
♦ ’A_PRIORI_SEMANTIC_RELATIONSHlP’)
IN TYPEOF (cl-deflnitlonfli))
THEN
зs-*
cl.definition[1]\a_priori_semantic_relationship.referenc
ed_data_types;
END IF;
IF EXISTS(cl.definition’1]\claas.it3_superclass)
THEN
з
з + compute_kr.owr._applicabie_data_types1
cl.definition[1]\class.its_superclass);
END_IF;
RETURN(s);
EKD_3F;
END_FUNCTION; -- compute_known_appiicable_data_types
C “
5.12.16 Функция создания набора из элементов списка (List_to_set)
Функция list_to_sot создает набор из элементов списка с именем I. Тип элементов набора совпа
дает с типом элементов в исходном списке.
Пример представления на языке EXPRESS:
*>
FUNCTION list_to_set(1: LIST (0:?] OF GENERIC:type_elem): SET
OF GENERIC: type_elem;
LOCAL
s: SET OF GENERIC: type_elem :- J]»*
END_LOCAL;
REPEAT i :- 1 TO SIZEOF(l);
s :- з
*■
1[i1;
END_REPEAT;
RETURN(3);
END_FUNCTION; -- list_to_set
(* "
5.12.17 Функция проверки применимости свойств (Check_property_applicability)
Функция check_property_applicability проверяет тот факт, что только свойства, не являющиеся
применимыми в классе по наследству, могут стать применимыми в данном классе, так как на них про
изводится ссылка атрибутом described_by.
Пример представления на языке EXPRESS:
*)
FUNCTION check_properties_applicability(cl:class): LOGICAL;
86