ГОСТ Р ИСО 13584-42—2012
Пример представления на языке EXPRESS:
*)
FUNCTION check_syn_length(s: syn_name_lype: sjength: INTEGER):BOOLEAN:
IF ‘ISO135&4JEC61360_DICTIONARY_SCHEMA.LABEL_WITHJ_ANGUAGE’
INTYPEOF(s)
THEN
RETURN(LENGTH(s.l) <= sjenglh);
ELSE
RETURN! LENGTH(s) <= sjength);
ENDJF:
END JUNCTION: — check_synjeng1h
(*
F.3.10.3 Функция проверки уникальности кода (Codes_are_unique)
Функция codes_are_unique возвращает значение TRUE, если коды значений value_codes уникальны внутри
рассматриваемого списка значений.
Пример представления на языке EXPRESS:
*)
FUNCTION codes_are_umque(values: LIST OF dic_value): BOOLEAN;
LOCAL
Is; SET OF STRING:= [];
li; SET OF INTEGER:» (];
END_LOCAL:
IF(‘ISO13584JEC61360_DICTIONARY_SCHEMA.VALUE_CODE_TYPE’ IN
TYPEOF(values[1].value_code)>
THEN
REPEAT i:= 1TO SIZEOF(values);
ls:= Is +values[i].value_code;
END_REPEAT;
RETURN(SIZEOF(values) = SIZEOF(ls));
ELSE
IF(’ISO13584_IEC61360_DICTIONARY_SCHEMA.INTEGER_TYPE’ IN
TYPEOF(valuesl1].value_code))
THEN
REPEAT i:= 1TO SIZEOF(values);
li;= li + values(i].vahje_code;
END_REPEAT;
RETURN(SIZEOF(values) = SIZEOF(li));
ELSE
RETURN!?);
ENDJF;
ENDJF;
ENDJUNCTION; — codes_are_unique
C
F.3.10.4 Функция проверки наличия определения (Definition availablejmplies)
Функция definition_availableJmplies проверяет, действительно ли существует определение, соответствую
щее рассматриваемому параметру
ВСЕ.
Если данное определение существует, то возвращается значение пара
метра expression.
Пример представления на языке EXPRESS:
*)
FUNCTION definition_availableJmpiies{
BSU; basic_semantic_unit;
expression; LOGICAL): LOGICAL:
RETURN(NOT{SIZEOF(BSU.definition) = 1) OR expression):
END_FUNCTION; — definition_avaJlableJmp!ies
C
F.3.10.5 Функция проверки подкласса (ls_subdass)
Функция is_subclass возвращает значение TRUE, если подкласс является либо суперклассом, либо под
классом суперкласса. Если некоторые словарные определения dictionarydefinition класса недоступны, то функ
ция возвращает значение UNKNOWN.
115