ГОСТ Р ИСО/МЭК 8825-3-2016 Информационная технология (ИТ). Правила кодирования АСН.1. Часть 3. Спецификация нотации контроля кодирования (ECN)

     21.13 Тип SizeRangeCondition

21.13.1 Продукцией типа "SizeRangeCondition" является:

SizeRangeCondition ::= ENUMERATED

{ no-ub-with-zero-lb,

ub-with-zero-lb,

no-ub-with-non-zero-lb,

ub-with-non-zero-lb,

fixed-size

test-lower-bound,

test-upper-bound,

test-range}

21.13.2 Безусловным значением (по умолчанию) для признака кодирования этого типа всегда является "no-ubwith-zero-lb".

21.13.3 Признак кодирования типа "SizeRangeCondition" используется для проверки признаков границ в ограничении реального размера, связанного с классом в категории "повторение" или "цепочка знаков".

21.13.4 Предикат удовлетворяет каждому из первых пяти enumeration значений из 21.13.1, если, и только если, ограничение реального размера удовлетворяет следующим условиям:

a) no-ub-with-zero-lb: нет верхней границы размера, а нижняя граница равна нулю;

b) ub-with-zero-lb: имеется верхняя граница размера, а нижняя граница равна нулю;

c) no-ub-with-non-zero-lb: нет верхней границы размера, а нижняя граница не равна нулю;

d) ub-with-non-zero-lb: имеется верхняя граница размера, а нижняя граница не равна нулю;

e) fixed-size: нижняя граница и верхняя граница размера имеют одно и то же значение.

Примечание - Только случай "fixed-size" пересекается с другими предикатами.