ГОСТ Р ИСО/МЭК 8825-4 — 2009
13.2.2 Идентификация целей с использованием ссылки и идентификаторов типов АСН.1
13.2.2.1 Продукционное правило "Typeldentification*:
TypeIdentification ::=
ALL
|ModuleAndTypeReference
ComponentReference ?
QualifyingInformationPart ?
ModuleAndTypeReference ::=
typereference
| modulereferencetypereference
ComponentReference ::=
и n
ComponentldList
ComponentldList ::=
Componentld+
Componentld ::=
identifier
l ~
|ALL
Qualifying!nformationPart ::=
И.И
Qualifying!nformation
Qualifying!nformation
identifier
|ALL
13.2.2.2 "Typeldentification" ALL идентифицирует все типы ("Types”) в назначениях типа
("TypeAssignmenfs) в модуле.
13.2.2.3 Продукционное правило "ModuleAndTypeReference* идентифицирует *Туре“.который назначен
"typereference". "Modulereference" в"ModuleAndTypeReference"должен быть ссылкой на модульдля модуля,
содержащего "EncodinglnstructionAssignmentList". и "typereference"должен быть ссылкой на тип. который
определен в модуле. Это должно использоваться, если и только если "typereference" состоит из тех же
самых символов как одно из ключевых слов, определенных в 11.3. иначе одна ссылка "typereference”
должна быть использована.
13.2.2.4 Символидентифицирует ’Туре" (единственного) компонента типа последовательность-из
или набора-из. или типа вограничении контента, которое содержит "Туре".
П р и м е ч а н и е — Эта форма может использоваться, даже если компонент типа последовательность-из
или набор-из имеет идентификатор, но использование идентификатора должно быть предпочтительней.
13.2.2.5 Если ключевое слово ALL будет использоваться как "Componentld". то это должен быть пос
ледний "Componentld" в "ComponentldList" и он не должен сопровождаться "Qualifyinglnformation".
13.2.2.6 Если первый "Componentld" в "ComponentldList" (если присутствует) — идентификатор, кото
рый дословно присутствует (или следует из использования COMPONENTS OF) как составляющий
идентификатор в Туро", идентифицированном "ModuleAndTypeReference", то это идентифицирует "Туре"
того компонента. Если это не идентификатор, который дословно присутствует (или следует из
использования COMPONENTS OF) как составляющий идентификатор в Туре", идентифицированном
"ModuleAndTypeReference". то это появление "Typeldentification" не правомочно, кроме того, не идентифици
рует никакой цели.
П р и м е ч а н и е — Это требует, чтобы тип. на который ссылается "ModuleAndTypeReference". был опреде
лением типов: последовательность, набор, выбор, последовательность-из. или набор-из. или определением
типов: строка битов или строка октетов с ограничением содержания, которое содержит ’Тип".
13.2.2.7 Если последующий "Componentld" (кроме последнего) в "ComponentldList" (если присутству
ет)— идентификатор, которыйдословно присутствует какидентификатор компонента в "Туре", идентифици
рованном предыдущим "Componentld*. то идентифицируется *Туре" того компонента. Если это не идентифи
каторкомпонента, которыйдословноприсутствуетв"Туре*, идентифицированном предыдущим ’Componentld*.
то появлоиие "Typeldentification" не правомочно, кроме того, не идентифицирует никакой цели.
22