ГОСТ Р ИСО/МЭК 8824-1-2001
П р и м е ч а н и е —Существование отображения значений нс влияет на требования правила области
действия имен и поименованных битов. Они могут использоваться только в области действия, управляемой
типом, в котором они определены, или ссылкой на имя этого типа.
F.5 Дополнительные отображения значений, определенные дли типов символьных строк
5
F.5.1 Имеется две труппы отраниченных типов символьных строк: труппа А <F.5.2) и В (F.S.3). По опре
делению. отображения значений существуют между всеми типами в труппе А и ссылки на их значения могут
использоваться, когда они управляются одним из этих типов. Отображения значений никогда нс существуют
между разными типами в группе В или между какими-либо типами из труни А и В.
F.5.2 Группа А состоит из:
UTFSStnng
NumcricSlring
PrimablcString
LA String
VisiblcStnng (!S0646String)
UnivcrsalString
BMPString
F.5 J Группа В состоит из:
TeictcxString (Гб1String)
VuleoicxString
GraphicStnng
GcneralSlring
F.5.4 Отображения значений в труппе А определяются отображением значений символьных строк каждо
го тина в UnivcrsalString и использованием свойства транзитивности отображений значений. Для отображения
значений одного из типов группы А в UnivcrsalString строка заменяется на UnivcrsalString той же длины и
с отображением каждого символа так, как описано ниже.
F.5.5 Формально множество абстрактных значений UTFSStnng то же самое, что и множество абстракт
ных значений UnivcrsalString, но с другим тегом (ext. 36.13), и каждое абстрактное значение UTFXString но
определению отображается в соответствующее абстрактное значение UnivcrsalString.
F.5.6 Глифы (формы печатных символов), используемые для типов Numeric-String и PrintablcSlring. рас
познаются и недвусмысленно отображаются в подмножество глифов, присвоенных первым 128символам ИСО/
МЭК 10646-1. Отображение для этих типов определяется через отображение глифов.
F.5.7 IA5String и VisiblcString отображаются в UnivcrsalString путем отображения кажлого символа в сим-
ват UniversalSlring. который имеет (32-биговос) значение в кодировании ВПК для LnivctsalStnng идентичное
(8-битовому) значению в кодировании BER дня lASString и VisiblcString.
F.5.8 BMPString формально является подмножеством UniversalSlring, и соответствующие абстрактные
значения имеют отображения значений.
F.6 Специфичные для типов и значений требования совместимости
В данном разделе понятие отображения значений используется для точной формулировки допустимости
некоторых конструкций АСН.1.
F.6.1 Любое появление "Value* в х-нотации с управляющим типом Y идентифицирует у-значение в
управляющем типе Y. которое имеет отображение в х-значении. заданное х-нотацией. Требуется, чтобы такое
значение сушсствовато.
Например рассмотрим появление х в последней строке следующей записи:
X :: -|01 INTEGER(0..30)
хХ :: - 29
Y ::11J INTEGER (25 .. 35)
ZI :: «*Y (х 130)
Эти конструкции АСИ.1 допустимы и в последнем присваивании х-нотаиии х являются указанием х-
значския 29 в X и. через отображение значения, идентифицирует у-значение 29 в Y. х-нотация 30 яатяется
указанием на у-значение 30 в Y и Z1 является множеством значений 29 и 30. С другой стороны, присваивание
Z2 :: - Y (х | 20)
недопустимо, гак как нет у-значения. на которое может указывать х-нотания 20.
F.6.2 Любое появление Туре" в (-нотации, которое имеет управляющий тип V. идентифицирует все
множество значений в управляющем типе V, которые имеют отображения значений в любые значения в
"Туре* (-нотации. Требуется, чтобы это множество содержало по крайней мерс одно значение.
Например рассмотрим появление W в поелелней строке следующей записи:
Y :: =■|0| INTEGER (0.. 30)
W :: = 11| INTEGER (25 .. 35)
Y(2) INTEGER (31 .. 35)
ZI :: ~ V <W[24)
7-i--2112
93