ГОСТ Р МЭК 61360-2—2013
реализации класса не ссылаются (в атрибуте its_superclass) на другую реализацию, которая, в сущ
ности. является подклассом.
Пример представления на языке EXPRESS:
*>
FUNCTION acyclic_3uperciass_relationship<
current: cla3S_BSU; visited: SET OF class): LOGICAL;
IF SI2EOF{current.definition) - 1 THEN
IF current.definition[1] IN visited THEN
RETURN(FALSE);
<* wrong: current declares a subclass as its superclass *)
ELSE
IFEXISTS{current.definition(11\class.its_superclass)
THEN
RETURN(acyclic_superclass_relation3hip<
current.definition[1]\class.it3_superclass/
visited + current.definition
(1
]));
ELSE
RETURN(TRUE);
ENO_IF;
END_IF;
ELSE
RETURN(UNKNOWN);
END_IF;
END_FUNCTION; — acyclic_superclass_relationship
C “
5.12.3 Функция проверки длины (Check_syn_length)
Функция check_syn_length проверяет тот факт, что длина атрибута s не превышает длину, опре
деленную атрибутом sjength.
Пример представления на языке EXPRESS:
»)
FUNCTION check_syn_length{s:syn_name_type; s_length: INTEGER):BOOLEAN;
IF’ISO13584_IEC61360_DICTIONARY_SCHEMA.LABEL_WITH_LANGUAGE’
IN TYPEOF(s)
THEN
RETURN{LENGTH(s.1) <- s_length>;
ELSE
RETURN(LENGTH(s) <- 3_length);
END_IF;
END_FUNCTION; -- check_syn_length
<w “
5.12.4 Функция проверки уникальности кода (Codes_are_unique)
Функция codos_are_unique возвращает значение TRUE, если коды значений value_codes уни
кальны внутри рассматриваемого списка значений.
Пример представления на языке EXPRESS:
М
FUNCTION codes_are_unique(values: LIST OF dic_value):BOOLEAN;
LOCAL