ГОСТ Р МЭК 61360-2—2013
Is: SET Of STRING :- [];
li: SET Of INTEGER•];
END_LOCAL;
IPCISO13584_IEC61360_DICTIONARY_SCHEMA.VALUE_CODE_TYPE*IN
TYPEOF(values[1].value_code))
THEN
REPEAT i :- 1 TO SIZEOf(values);
IsIs + valuesli].value_code;
END_REPEAT;
RETURN(SIZEOF(values) - SIZEOF(is});
ELSE
IF(’ISO13584_IEC61360_U:CTiONARY_SCHEMA.INTEGERJTYPE’IN
TYPEOF(values(1).value_code))
THEN
REPEAT i1 TO SIZEOF(values);
li :- li values;i]-value_code;
END_REPEAT;
RETURN (SIZEOF (values) - SlZEOF(li));
ELSE
RETURN(?);
END_lf;
END IF;
END_FUNCTION; — codes are_unique
( w “
5.12.5 Функция проверки наличия определения (Definition_avai!ableJmplies)
Функция definition_available_lmplios проверяет, действительно ли существует определение, со
ответствующее рассматриваемому параметру BSU. Если данное определение существует, то возвра
щается значение параметра expression.
Пример представления на языке EXPRESS:
*)
FUNCTION definition_available_implies (
BSU: basic_semantic_unit;
expression: LOGICAL): LOGICAL;
RETURN(NOT(SIZEOf(BSU.definition) - 1) OR expression);
END_FUNCTION; -- definition_available_implies
(" "
5.12.6 Функция проверки подкласса (ls_subclass)
Функция is_subclass возвращает значение TRUE, если подкласс является либо суперклассом,
либо подклассом суперкласса. Если некоторые словарные определения dictionary_definition класса
недоступны, то функция возвращает значение UNKNOWN.
Пример представления на языке EXPRESS:
*>
FUNCTION is_subclass(sub, super: class): LOGICAL;
IF (NOT EXISTS(sub)) OR (NOT EXISTS<super)) THEN
77