ГОСТ Р ИСО 13584-42—2012
RETURN(s);
END_FUNCTION; — listJo_set
(*
F.3.10.16 Функция проверки применимости свойств (Check_property_applicability)
Функция check_property_applicability проверяет тот факт, что только свойства, не являющиеся примени
мыми в классе по наследству, могут стать применимыми в данном классе, так как на них производится ссылка
атрибутом described_by.
Пример представления на языке EXPRESS:
’)
FUNCTION check_properties_applicabi!ity(d: class): LOGICAL;
LOCAL
inter: SET OF property_bsu:= [ J;
END_LOCAL:
IF EXISTS(cl. its_superclass)
THEN
IF (SIZEOF(d.its_superclass.definition)=1)
THEN
inter:= (listJo_set(cl.descnbed_by) *
cl.its_superdass.definition[1]\dass.
known_applicabte_properties);
RETURN(inter = [ J):
ELSE
RETURN(UNKNOWN):
ENDJF;
ELSE
RETURN(TRUE);
ENDJF;
END_FUNCTION: — check_properties_applicability
c
F.3.10.17 Функция проверки применимости типов данных (Check_datatypes_applicability)
Функция check_datatypes_applicability проверяет тот факт, что только типы данных не являющиеся при
менимыми в классе по наследству могут стать применимыми в данном классе, так как на них производится ссылка
атрибутом defined_type.
Пример представления на языке EXPRESS:
*>
FUNCTION check_datatypes_applicability(d: dass): LOGICAL:
LOCAL
inter. SET OF data_type_bsu:= [ J;
END_LOCAL:
IF EXISTS(cl.its_superdass)
THEN
IF(SIZEOF(cl.its_superclass.definition) = 1)
THEN
inter:= cl.definedJypes *
d.its_superclass.definition[1)\class.
known_applicable_dataJypes;
RETURN(inter = [));
ELSE
RETURN(UNKNOWN):
ENDJF;
ELSE
RETURN(TRUE);
ENDJF;
END_FUNCTION: — check_datatypes_applicability
(*
F.3.10.18 Функция проверки уникальности языка перевода (OneJanguage_perJranslation)
Функция oneJanguage_perJranslation проверяет тот факт, что язык перевода административных данных
administrative_data является уникальным.
123