С.
72 ГОСТ 34.973-91
Пример.
MessageContents : : = ANY
- • элемент данных, тип которого определен с помощью
• • нотации ACII.1 за рамками настоящего стандарта
5.2.12.
В н еш н и й тип
5.2.12.1.Внешний (EXTERNAL) тип следует использовать для
представления переменной, тип которой не задан или задан в дру гом
месте без ограничений на используемую для этого нотацию.
Пример.
FileContents : : - EXTERNAL
DociimenlList : : = SEQUENCE OF EXTERNAL
5.3.Примериспольз ованиям а к р о н о т а ц и н
Предположим, что желательно иметь обозначения для опреде
ления типа следующего вида:
PaiR TYPEX= ...TYPEY = ... ,
допускающие запись соответствующего значения в виде
(Х = ------, Y =
------
),
гд е
___
и --------означают соответственно любой тип АСН.1 н соот
ветствующее значение.
Такие макрообозначения типа могли бы бытьиспользованы
для определения типов и значений, как показано ниже:
Т1 : : - PAIR TYPEX - INTEGER
TYPEY - BOOLEAN
T2 : : = PAIR TYPEX = VisibleString
TYPEY - Tl.
Тогда значение типа TI может иметь вид:
(X ==3. Y= TRUE),
а значение типа Т2 может иметь вид:
(X= «Namc», Y= (Х=4, Y= FALSE)).
Для обеспечения этих обозначений, которые могут рассматри
ваться как расширение базовой нотации АСН.1, может быть ис
пользовано следующее макроопределение:
PAIR
MACRO : : = BEGIN
TYPE NOTATION : : -
«TYPEX»
«
—
»
type (I.ocaI-type-1)
- - Здесь ожидается описание любого типа
- - АСН.1, которое будет присвоено
-- переменной Local-type-1;
«TYPEY»
type (Local-type-2)
«= >
type (Local-type-2)