ГОСТ Р ИСО/МЭК 8825-3—2016
d) semi-boundod-without-negatives: имеется нижняя граница, которая больше нуля или равна
нулю, но нет верхней границы;
e) bounded-without-negatives: имеется нижняя граница, которая больше нуля или равна нулю, и
имеется верхняя граница.
П р и м е ч а н и е — Для любого заданного набора границ будет удовлетворяться только один предикат.
21.11.5Если используются последние три enumeration значения из21.11.1. значение «Comparison»
типа (см. 21.12) должно быть предоставлено вместе с целочисленным значением comparator. Если ис
пользуются остальные значения, данные не должны предоставляться.
21.12 Тип Comparison
21.12.1 Продукцией типа «Comparison» является:
Comparison ::= ENUMERATED
{equal-to,
not-equal-to,
greater-than,
less-than,
greater-than-or-equal-to,
less-than-or-equal-to)
21.12.2 Значения по умолчанию для признака кодирования этого типа не существуют.
21.12.3 Признак кодирования типа «Comparison» используется для сверки выявленного признака
класса с целочисленным значением (comparator).
21.12.4 Предикат, использующий «Comparison», удовлетворяет каждому enumeration значению,
если, и только если, идентифицируемый признак удовлетворяет следующим условиям:
a) equal-to: его значение равно таковому указанному целочисленному значению comparator;
b) not-equal-to: его значение отличается от указанного целочисленного значения comparator;
c) greater-than: его значение больше указанного целочисленного значения comparator;
d) less-than: его значение меньше указанного целочисленного значения comparator;
e) greater-than-or-oqual-to. его значение не менее указанного целочисленногозначения comparator;
0 loss-than-or-equal-to: его значение не более указанного целочисленного значения comparator.
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: имеется верхняя граница размера, а нижняя граница равна нулю;
78