ГОСТ Р ИСО/МЭК 8825-4 — 2009
П р и м е ч а н и е — Уточняющая информация присутствует только в том случае, если цель является
определением одного из следующих типов: булевский, строка битов, перечислимый, целочисленный или ограни
ченная строка символов (см. 13.2.2.9).
13.2.1.5 "TargelList" "пустых” разрешается только в префиксе типа (когда это — единственная разре
шенная альтернатива) и в команде кодирования GLOBAL-DEFAULTS. В префиксе типа он идентифицирует
тип. связанный с префиксом. В команде кодирования GLOBAL-DEFAULTS он идентифицирует весь "Туре" в
модуле.
13.2.1.6 Команда кодирования XER (возможно, со связанной уточняющей информацией) назначена
всем типам, идентифицированным "TargetLtst". как определено в 13.2.1.10 — 13.2.1.16.
П р и м е ч а н и е — Это было бы необычным, но правомочным для данного "Туре", который будет иденти
фицирован не раз в целевом перечне. В таких случаях применяется раздел 14.
13.2.1.7 Идентификация цели (целей) (и, возможно, уточняющей информации) продукционным прави
лом "Targets” использует одну из пяти базовых форм:
а) использование ссылки на тип ("typoreference", см. 13.2.2). возможно, сопровождаемой перечнем
разделенных точкой идентификаторов, с распознаванием также:
1) "Туре" в назначении типа (идентификаторы отсутствуют);
2) "Туре" в компоненте определения типов (который может включать компоненты верхнего уровня,
введенные конструкцией COMPONENTS OF — см. 13.2.1.12);
3)один из "Туре”— (1)или (2). плюс конечный идентификатор, перед которым стоитдвоеточие (не
точка)для идентификатора, используемого вопределении целевого типа, обеспечивает уточняющую
информацию;
б) использование ALL как последнего идентификатора в форме (а), идентифицируя все. что типы
("Types") дословно представляют в определении типов (что идентифицировано предшествующей ссылкой
на тип и перечнем идентификаторов, разделенных точками), или использование уточняющей информации
(которой предшествует двоеточие, не точка), распознающей все идентификаторы, используемыедля зна
чений определений типов: булевских, строкбитов, перечислимых, или целочисленных (которые идентифи
цированы предыдущей ссылкой на тип и списком идентификаторов, разделенных точками), или идентифи
цирующей все использования тегов пустого элемента XML, обычно представляющих некоторые управляю
щие символы (см. ИСО/МЭК 8824-1.11.15.5):
в) использование "BuiltlnTypeName" (см. 13.2.3). идентифицирующего все типы ("Type”s) в модуле,
которыеопределены при помощи соответствующего встроенного названия типа или конструктора, возмож
но только в случае типов BOOLEAN, BIT STRING. ENUMERATED. INTEGER и ограниченной строки, всопро
вождении уточняющей информацией;
г) использование списка "идентификаторов", сопровождаемого IN (или ALL сопровождаемого IN. или
COMPONENTS, сопровождаемых IN) и формой (а), (см. также 13.2.4), идентифицирующего:
1) "Туре" идентифицированных компонентов формы (а);
2) все "Types’ ,которые текстуально встречаются в пределах Туре’ ,идентифицированного формой (а)
(использованиеALL);
3) все (Type"s). которые являются компонентами верхнего уровняТуре", идентифицированного фор
мой (а) (использование COMPONENTS);
д) использование "ImportedTypesIdentification" (см. 13.2.5) идентифицирует все ссылки на типы
("typereference’s) в списке IMPORTS, которые импортированы из специфицированного модуля.
П р и м е ч а н и е 1 — Термин "определение типов”, используемый в формах (а) и (б) подчеркивает, что
только дословно представленные идентификаторы могут использоваться. Идентификаторы не могут использо
ваться. если Туре" — ссылка на тип.
П р и м е ч а н и е 2 — В общем случав на компонент можно сослаться при помощи форм (а) или (г). Если
нужно оослаться больше чем на один компонент типа, то предпочтительнее вариант (г), так как это менее много
словно. при других критериях надо отдать предпочтение форме (а). Это — вопрос стиля.
13.2.1.8 Тип строка битов или строка октетов с ограничением контента, который содержит тип. будет
обработан как тип сединственным компонентом, с использованием "*" каксоставляющего идентификатора
для назначения целевой команды типу ("Туре") вограничении содержания.
13.2.1.9 Определение типов, которые являются последовательностью-из или набором-из. должно
быть обработано как тип с единственным компонентом, с использованием "*" как составляющего
20