ГОСТ Р ИСО/МЭК 8825-3—2016
19.4.6 Спецификация или применение ECN будут ошибочными, если любой «Transform» в
«OrdoredTransformList» не является обратимым для отображаемого абстрактного значения.
П ри м е ча н и е — В разделе 24 для каждого преобразования определены абстрактные значения, для
которых указана их обратимость.
19.4.7 Если имеются ограничения на границы и на реальный размер для класса кодирования
цели, то применяется 17.4.7.
19.5 Отображение с помощью упорядочения абстрактных значений
19.5.1 Это отображение позволяет распределять абстрактные значения, связанные с простыми
классами кодирования, в поля сложных структур кодирования и отображать абстрактные значения,
связанные со сложными структурами кодирования, в простые классы кодирования, такие как #INT. Оно
допускает также уплотнение целочисленных значений или перечислений в непрерывный набор цело
численных значений (см. D.1.4).
П р и м е ч а н и е — Номера тегов, связанные с классами в категории «тег», не являются абстрактными
значениями.
19.5.2 Продукцией «MappingByAbstractValueOrdenng» является:
MappingByAbstractValuoOrdoring ::=
ORDERED VALUES
19.5.3 При этом отображении все имена классов кодирования являются разыменованными (ре
курсивно). а результат должен быть классом в категории «нуль», «булева», «целочисленная» или «дей
ствительное число», либо конструкцией, использующей класс в категории «альтернативы», либо клас
сом в категории «конкатенация», который имеет одиночный нефакультативный компонент.
19.5.4 Упорядоченный набор значений может быть конечным или бесконечным.
19.5.4.1 Конечный набор упорядоченных абстрактных значений определяется для классов коди
рования в следующих категориях:
a) «вырожденная»:
b
) «булева»:
c) ограниченная «целочисленная»:
d) «действительное число», ограниченное до конечного числа значений;
e) «структура кодирования», определенная с использованием категории «альтернативы», при ус
ловии. что все альтернативы имеют определенное конечное упорядочение:
f) «структура кодирования», определенная с использованием категории «конкатенация», которая
имеет одиночный нефакультативный компонент, при условии, что этот компонент имеет определенное
конечное упорядочение.
19.5.4.2 Бесконечный набор упорядоченных абстрактных значений определяется для классов ко
дирования в следующих категориях:
a) «целочисленная», ограниченная наличием конечной нижней границы;
b
) «структура кодирования», определенная с использованием категории «альтернативы», при ус
ловии. что все альтернативы, за исключением последней, определяются как имеющие конечный набор
упорядоченных значений, а последняя альтернатива определяется как имеющая бесконечный набор
упорядоченных значений;
c) «структура кодирования», определенная с использованием категории «конкатенация», кото
рая имеет одиночный нефакультативный компонент, при условии, что этот компонент определяется как
имеющий бесконечный набор упорядоченных значений.
19.5.5 Классы в категории «нуль» имеют одиночное абстрактное значение. Классы в категории
«булева» определяются как имеющие TRUE перед FALSE. Классы в «целочисленной» категории опре
деляются как имеющие более высокие значения целого числа, следующие за низкими значениями це
лого числа. Классы в категории «действительное число» определяются как имеющие более высокие
значения, следующие за низкими значениями.
— Число абстрактных значений, связанных с классом в «целочисленной» категории, не
П р и м е ч а н и е
обязательно конечно.
65