ГОСТ Р ИСО/М ЭК 8824-1—2001
48.2 Клинственное значение
48.2.1 Нотация для единственного значения "SingleValue* должна быть:
SingleValue : : = Value
где "Value" яатяется нотацией значения для порождающего типа.
48.2.2 Нотация "SingleValue" специфицирует единственное значение порождающего тина, за
данное "Value".
48.3 Содержащийся подтип
48.3.1 Нотация для содержащегося подтипа "ContainedSubtype" должна быть:
ContaincdSubtype : : = Includes Type
Includes :: = INCLUDES | empty
Альтернатива "empty" для продукции "Includes" не должна использоваться, когда "Туре" в
"ContainedSubtype" является нотацией дня вырожденного типа.
48.3.2 Нотация "ContainedSubtype" специфицирует все значения в порождающем типе, кото
рые имеются и в "Туре". Требуется, чтобы тип "Туре" был совместим с порождающим типом, как
установлено в F.6.3.
48.4 Диапазон значений
48.4.1 Нотация для диапазона значений "ValueRange" должна быть:
ValueRange :: = LowerEndpointU pperEndpoint
48.4.2 Нотация "ValueRange" специфицирует все значения в диапазоне, который определяется
заданием значений конечных точек диапазона. Эга нотация может применяться только для целочис
ленных и вещественных типов и некоторых ограниченных типов символьных строк
PermittedAlphabet (только BMPString. lASString, NumericString, PrintableString. VisibleString и
UniversalString).
П р и м е ч а н и е —При создании подтипов "PLUS-INFINITY" превышает все значения "NumericRear.
a "MINUS-INFINITY" меньше всех значений "NumericReal".
48.4.3 Каждая конечная точка диапазона яатяется либо закрытой (в таком случае эта конечная
точка задана), либо открытой (в таком случае эта конечная точка tie задана). Для открытой точки
спецификация включает символ "меньше чем" ("<"):
LowerEndpoint: : = Lowe rEndValue | Lowe rEndValue "<"
UpperEndpoint : : = UpperEndValue | "<" UpperEndValue
48.4.4 Конечная точка может быть не задана, в таком случае диапазон простирается в зтом
направлении настолько, насколько допускает порождающий тип:
LowerEndValue :: = Value | MIN
UpperEndValue :: = Value | MAX
11р и м с ч а н и с - Когда "ValueRange" используется как ограничение "PermittedAlphabet". “LowerEnd Value”
и "UpperEndValue’ должны быть размером 1.
48.5 Ограничение размера
48.5.1 Нотация для ограничения размера "SizeConstraint" должна быть:
SizeConstraim : : = SIZE Constraint
48.5.2 Нотация "SizeConstraint" может применяться только к типам битовых строк, строк окте
тов, символьных строк, "множество-из" или "последовательносгь-из".
48.5.3 Продукция "Constraint" специфицирует допустимые целые значения для длины задан
ных значений и имеет вид любого ограничения, которое может применяться к следующему порож
дающему типу:
INTEGER (0.. МАХ)
Продукция "Constraint" должна использовать альтернативу “SubtypeConstraint" для "Constraint-
Spec”.
48.5.4 Единица измерения зависит от порождающего типа следующим образом:
ТипЕдиница измерения
битовая строка
строка октетов
символьная строка
множество-из
последовательность-иэ
бит
октет
символ
значение компонента
значение компонента
62