ГОСТ Р МЭК 61360-2—2013
LOCAL
inter: SET OF property_bsu(];
END_LOCAL;
IF EXISTS<cl.its_superclass)
THEN
IF (SlZEOF(cl.its_superclass.definition)-1)
THEN
inter(list_to_set(cl.described_by) *
cl.its_superclass.definition[1]\class.
known_applicable_properties);
RETURN(inter - []);
ELSE
RETURN(UNKNOWN);
END_1F;
ELSE
RETURN(TRUE);
END_IF;
END_FUNCTION; -- check_properties_applicability (
*
5.12.18 Функция проверки применимости типов данных (Check_datatypes_applicability)
Функция check_datatypes_applicability проверяет тот факт, что только типы данных, не являющи
еся применимыми в классе по наследству, могут стать применимыми в данном классе, так как на них
производится ссылка атрибутом defined_type.
Пример представления на языке EXPRESS:
*)
FUNCTION check_datatypes_applicability(cl:class): LOGICAL;
LOCAL
inter: SET OF data_type_bsu :- [];
END_LOCAL;
IF EXISTS(ci.its_superciass)
THEN
IF (SIZEOF(cl.itssuperclass.definition) - 1)
THEN
inter :- cl.defined_types *
ci.its_superclass.definition[1]\class.
known_applicable_data_types;
RETURN(inter - [));
ELSE
RETURN(UNKNOWN);
END_IF;
ELSE
RETURN(TRUE);
ENDIF;
END_FUNCTION; — check_datatype3_applicability
(-
5.12.19 Функция проверки уникальности языка перевода (One_language_per_translation)
Функция one_languago_per_translation проверяет тот факт, что язык перевода административ
ных данных administrative_data является уникальным.
87