ГОСТ Р ИСО/МЭК 8825-3—2016
19.7.7 Каждый «IntValRangeMap» отображает диапазон непрерывных и возрастающих целочис
ленных значений в диапазон непрерывных и возрастающих значений цепочек битов.
19.7.8 Значения цепочек битов определяются как непрерывные:
a) если все они имеют одинаковую длину в битах:
b
) когда считаются положительным целочисленным значением, то соответствующие целочислен
ные значения являются непрерывными и возрастающими целочисленными значениями.
19.7.9 Только значения, указанные в отображении, пригодны для кодирования. Другие абстракт
ные значения источника не отображаются и не могут быть кодированы объектом кодирования, опреде
ленным при присвоении объектов кодирования с использованием этой конструкции. ECN или примене
ние будет ошибочным, если такие значения подаются к кодеру.
Примечание — Это лимитирование кодирования должно отражаться ограничениями на тип AGH.1, к
которому оно применяется, либо комментарием в спецификации АСН.1.
19.7.10 Продукцией «SinglelntValMap» является:
SinglelntValMap ::=
IntValue
ТО
BitValue
IntValueSignodNumber
BitValue ::=
bstring |
hstring
19.7.11 «SignedNumbor», «bstring» и «hstring» определены в ИСО/МЭК 8824-1. подразделы 19.1.
12.10 и 12.12 соответственно.
19.7.12 «SinglelntValMap» отображает описанное целочисленное значение в описанное значение
цепочки битов.
19.7.13 Продукцией «IntValRangeMap» является:
IntValRangoMap ::=
IntRange
ТО
BitRange
IntRange
IntRangeValuel
N M
lntRangoValuo2
BitRange
BitRangeValuel
N
It
BitRangcValue2
IntRangeValuel ::= SignedNumbor
lntRangeValuo2 ::= SignedNumbor
BitRangeValuel ::=
bstring |
hstring
BitRangeValue2 ::=
bstring |
hstring
19.7.14 Цепочки битов «BitRangeValuel» и «BitRangeValue2» должны иметь одно и то же число битов.
19.7.15 Значение «lntRangeValue2» должно превышать значение «IntRangeValuel».
19.7.16 Когда считается кодированием положительное целое число (см. ИСО/МЭК 8825-1.
пункт 8.3.3), «BitRangeValue2» должен представлять целочисленное значение (обозначим его «В»),
превышающее значение, представленное «BitRangeValuel» (обозначим его «А»), а разность между
68