5.11.1 Определение базового типа
Данный подраздел содержит определения базового типа и сущности, используемые в основной части модели. Нижеследующий раздел содержит определения базового типа и сущности, расположенные по английскому алфавиту.
5.11.2 Особенности структуры
5.11.2.1 Тип кода класса (Class_code_type)
Сущность class_code_type задает допустимые значения кода класса.
Пример представления на языке EXPRESS:
*)
TYPE class_code_type=code_type;
WHERE
WR1: LENGTH (SELF) <= class_code_len;
END_TYPE; -- class_code_type
(*
Пояснения к тексту программы:
WR1: длина значений, соответствующих class_code_type, должна быть меньше или равна длине кода класса class_code_len (т.е. 35).
5.11.2.2 Тип кода (code_type)
Сущность code_type задает допустимые значения типа кода, используемого для идентификации.
Примечание - Если код также предназначен для обмена в соответствии с ИСО/ТС 29002-5, то рекомендуется выполнить требования, определенные данным стандартом. Для задания кода можно использовать только "безопасные символы". Безопасные символы включают: буквы верхнего регистра, цифры, двоеточия, десятичную точку, подчеркивание. В некоторых случаях допускается использование символа "-" (минус).
Пример представления на языке EXPRESS:
*)
TYPE code_type=identifier;
WHERE
WR1: NOT (SELF LIKE '*#*');
WR2: NOT (SELF LIKE '* *');
WR3: NOT (SELF=' ');
END_TYPE; -- code_type
(*
Пояснения к тексту программы:
WR1: символ "#" не должен содержаться в значении code_type. Символ "#" используется для последовательного соединения идентификаторов (см.: CONSTANT sep_id) или кода и версии (см.: CONSTANT sep_cv).