ГОСТ Р ИСО/МЭК 8825-4 — 2009
j
|OCTETSTRING
| REAL
|RELATIVE-OID
|SEQUENCE
| SEQUENCE OF
|SET
| SET OF
|UTCTime
RestnctedCharacterStringType
BuiltlnTypeQualifyinglnformationPart::=
BuiltlnTypeQualifyinglnformation
BuiltlnTypeQualifyinglnformation
identifier
|ALL
13.2.3.2 Продукционное правило "BuiltlnTypeIdentification" определяет, что команда кодирования
должна быть применена ко всемдословным появлениям в пределах модуля соответствующего встроенно го
типа или типа, определенного с использованием соответствующего конструктора.
13.2.3.3 "RestnctedCharacterStringType" определен в ИСО/МЭК 8824-1. 37.
13.2.3.4 "BuiltlnTypeQualifyinglnfonmationPart" недолжна присутствовать, если только’BuiltlnTypeName’
не принадлежит типам: булевский, строка битов, перечислимый, целочисленный, или строка ограниченного
набора символов.
П р и м е ч а н и е — Только форма ALL для "BuiltlnTypeOualifyinglnformation" разрешается для строки
ограниченного набора символов (см. 13.2.2.10 и следующие подразделы).
13.2.3.5 Альтернатива "identifier” для "BuiltlnTypeQualifyinglnforrnation" недолжна использоваться, если
"BuiltlnTypeName" не булевского типа, и тогда значение должно быть true или false. Это определяет уточня
ющую информацию, идентифицирующую команду кодирования как применяемую только к кодированию
абстрактных значений true или false, соответственно.
13.2.3.6 Альтернатива ALL для "BuiltlnQualifyinglnformation" определяет уточняющую информацию,
которая идентифицирует команду кодирования как применяемую ко всем идентификаторам влюбом слу
чае использования "BuiltlnTypeName" в пределах модуля (или ко всем значениям определения булевского
типа, или ко всем тегам пустых элементов, используемым в значениях специфицированного типа строки
ограниченного набора символов — см. ИСО/МЭК 8824-1,11.15.5).
13.2.4 Использование идентификаторов в контексте
13.2.4.1 Продукционное правило"IdentifiersInContexT:
IdentifiersInContext
IdentifierList
IN
Typeldentification
IdentifierList ::=
identifier
|ALL
|COMPONENTS
13.2.4.2 "Typeldentification" определена в 13.2.2 и идентифицирует тип, определенный в операторе
присваивания типа в модуле или компоненте, или субкомпоненте типа, определенного в модуле.
"QualifyinglnformationPart" должна отсутствовать.
13.2.4.3 ’Туре*, идентифицированный ’Typeldentification".должен быть одним из типов: последователь
ность. набор или выбор, и называться в целях этого раздела идентифицированным Туре”.
П р и м е ч а н и е — "Typeldentification’ в ’IdentifiersInContext’ не может использоваться для типов последо-
вательность-из или набор-из. Такое использование запрещено для ясности, поскольку это было бы не менее
многословных», чем прямое использование Typeldentification" в "Targets".
13.2.4.4 Каждый ’identifier” в "IdentifierList"должен быть идентификатором компонента, идентифициро
ванного "Туре". Команда кодирования XER назначена типу всех компонентов идентифицированного Туре",
которые имеют идентификатор компонента в"IdentifierList".
24