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" пересекается с другими предикатами.