ГОСТ Р МЭК 61360-2—2013
как видимые вданном суперклассе, не могут быть вычислены функцией compute_known_visible_data_type. Толь
кодля получающей системы все словарные определения dictionary_definition базовых семантических элементов
(BSU) являются доступными. Следовательно, для получающей системы функция compute_known_visible_data_
type вычисляет все типы данных datatypes, являющиеся видимыми в классе, путем ссылки на данный класс (или
любой его суперкласс) с помощью атрибута name_scope.
Пример представления на языке EXPRESS:
*)
FUNCTION compute_known_visible_data_types(cl:c!ass_BSU):
SET OF data_type_BSU;
LOCAL
s: SET OF data_type_BSU];
END_LQCAL;
ss + USEDINfcl, ’IS013584_ILC61360_D:CT:ONARY_SCH£MA’ +
’.DATA_TVPE_BSU.NAME_SCOPE’);
IF SIZEOF(cl.definition) - 0
THEN
RETURN<s );
ELSE
IFEXISTS(cl.definition■1)\class.it3_superclass)
THEN
s s
+ compute_knowr._visible_data_types <
cl.definition[1]\class.its_superclass);
END_1F;
RETURN(s);
end
_:
f
;
END_FUNCTION; — compute_known_visible_data_types
( w “
5.12.14Функция вычисления известных применимых свойств (Computo_known_applicable_
properties)
Функция compute_known_applicable_properties вычисляет набор свойств, являющихся приме
нимыми в данном классе. Если определение недоступно, то функция возвращает только те примени
мые свойства, которые могут быть вычислены.
Примечание — Если словарное определение dictionarydefinrtion некоторого класса не присутству
ет в рассматриваемом контексте обмена (контекст обмена библиотеки PLIB никогда не предполагается полным),
то суперкласс некоторого класса может быть неизвестен. Следовательно, свойство, определенное как примени
мое в данном суперклассе, не может быть вычислено функцией compute_known_applicable_properties. Только
для получающей системы все словарные определения dictionary_definition базового семантического элемента
(BSU) являются доступными. Следовательно, для получающей системы функция compute_known_applicable_
properties вычисляет все свойства, являющиеся применимыми в данном классе, так как на них производится
ссылка атрибутом described_by. или они импортируются с помощью априорного семантического соотношения
a_priori_semantic_relationship.
Пример представления на языке EXPRESS:
*)
FUNCTION compute_known_applicable_properties(cl:classBSU) :
SET OF property_BSU;
LOCAL
s: SET OF property_BSU[);
END LOCAL;
84