ГОСТ Р ИСО/МЭК 8824-4—2016
10.2 Когда тип АСН.1. используемый для определения абстрактного синтаксиса, является пара
метризованным. некоторые параметры могут быть подставлены как фактические параметры, а дру гие
— оставлены как параметры абстрактного синтаксиса.
Пример —
Если параметризованный тип был определен вызываемым YYY—PDU с двумя пустыми
ссылками (например, первая — набор объектов некоторого заданного класса объектов, а вто
рая
—
целочисленное граничное значение), то:
ууу-Abstract-Syntax {INTEGER-.bound} ABSTRACT-SYNTAX
{ YYY-PDU ( (ValidObjects) . bound} IDENTIFIED ВY(yyy 5}}
определяет параметризованный абстрактный синтаксис,в котором множество объек
тов было разрешено, a bound оставлено в качестве параметра абстрактного синтаксиса.
Параметр абстрактногосинтаксиса должен использоваться:
a) прямо или косвенно в контексте ограничения;
b
) прямо или косвенно как фактические параметры, которые, в конечном счете, используются в
контексте ограничения.
П р и м е ч а н и е — См. примеры вА.2 (приложение А) и ИСО/МЭК 8824-1. пункт 0.5.
10.3 Ограничение, множество значений которого зависит от одного или более параметров
абстрактного синтаксиса, является переменным. Такие ограничения определяются после определения
абстрактногосинтаксиса (возможнопрофилем международногофункциональногостандарта или в заяв
кео соответствии реализации протоколу).
П р и м е ч а н и е — Если где-либо в цепочке определений, включаемой в спецификацию значений ограни
чения. появляется параметр абстрактного синтаксиса, то ограничение является переменным. Оно является пере
менным ограничением, даже если множество значений результирующего ограничения на зависитот фактического
значения параметра абстрактного синтаксиса.
Пример
—
Значение(((1..3) EXCEPTa) UNION(1..3)) всегда 1..3независимо от того, каково значениеа,
тем неменее, этовсеявляется переменным ограничением, еслиаявляетсяпараметром абстрактного
синтаксиса.
10.4 Формально переменное ограничение не влияет на множество значений в абстрактном син
таксисе.
П р и м е ч а н и е — Настоятельнорекомендуется, чтобы ограничения, которые, какожидается. останутся в
абстрактномсинтаксисе переменными, имели спецификацию исключений, использующую нотацию
ИСО/МЭК 8824-1. подраздел 45.4.
9