ГОСТ Р ИСО/МЭК 8824-4—2016
ПINTEGER,
f2BOOLEAN
END
}
М2DEFINITIONS EXPLICIT TAGS ::= BEGIN
IMPORTS T1 FROM M1;
T3::= T2{T1)
T2{X)SEQUENCE {
aINTEGER,
bX
}
END
Применение 9.8означает, чтотег для компонента f1 из ТЗ(то есть @T3.b.f1)будет теги
рован неявно, так как среда тегирования пустого параметра X, а именно — явное тегирова
ние, не влияет на тегирование компонентов фактического параметра Т1.
Рассмотрим модуль М3:
М3DEFINITIONS AUTOMATIC TAGS ::= BEGIN
IMPORTS T1FROMM1;
T 5 T 4 { T 1 }
T4{Y}SEQUENCE {
aINTEGER,
bY
}
END
ПрименениеИСО/МЭК8824-1, подраздел 30.6, означает, что тег для компонента ЬвТ5 (то
есть@Т5.Ь) будет тегирован явно, таккакпустой параметр Y всегда тегирован явно, следо
вательно, Т5эквивалентно:
Т5SEQUENCE {
а[0] IMPLICITINTEGER,
b[1]EXPLICITSET{
f1[0] INTEGER,
f2[1]BOOLEAN
)
}
тогда как ТЗэквивалентно:
ТЗSEQUENCE {
aINTEGER,
bSET{
f1[0]IMPLICITINTEGER.
f2[1]IMPLICITBOOLEAN
}
}
10 Параметры абстрактного синтаксиса
10.1ИСО/МЭК 8824-2 (приложение В) устанавливает класс информационного объекта
ABSTRACT-SYNTAX и рекомендует использоватьего для определения абстрактных синтаксисов, при меняя
вкачествепримера абстрактный синтаксис, определенныйкакмножествозначенийединственно
го типа АСН.1.который не был параметризован навнешнем уровне.
8