ГОСТ Р
ИСО/МЭК
8824-М
ной, тип которой является типом некоторого варианта в Определенном ранее
выборочном типе.
Е.2.12.2 Пусть дано определение
File-Attribute :: = CHOICE
(datc-iast-uscd INTEGER,
lile-name Visible String)
тогда возможно следующее определение:
CurrentAt tributes :: - SEQUENCE
(date-last-U3cd<FilcAltribute.
Sile-name< FiieAttribute)
с возможной запись» значения
{datc-lasl-used 27.
tile name «PROGRAM»}
Возможно также следующее определение.
Attribute-List :: - SEQUENCE
(first-attribute daie-last-used< FiieAttribute.
second attribute file-name< FiieAttribute)
с
возможной записью значения
(first-attribute 27,
second-attribute «PROGRAM»)
E.2.13 П p о и з во л Ы
1
ы й тип
E.2 13 I Произвольный (ANY) тип следует использовать для представлении
переменной, тип которой не задай или задан п другом месте с иомощью нотвции
ЛСН I
П р и и ер
MessagcContcnls ::ANY
------
элемент данных, тип которого определен с помощью
нотации ЛСН.1 за рамками настоящего стандарта
Е 2 14 Внешни
й т
ии
E2M.I Внешний (EXTERNAL) тип следует использовать для представле ния
переменной, тип которой не задан или задай в другом месте без ограничений
на используемук»для зтоп» нотзинк».
Пример
FlfeContcnts : : - EXTERNAL
DocumentList :: = SEQUENCE OF EXTERNAL
Е.З Пример использования макронотации
где . . . и
начение
Предположим, что желательно иметь обозначения для определения типа
следующего вида:
PAIR TYPEX= ...TYPF.Y- ...
допускающие запись соответствующего значения в виде
(X-------------------- Y = —
----------
)
ветствующее з
------
--------
означают, соответственно, любой тип АСИ I и соот
Такие макрообозначения типа могли бы быть использованы для определения
тмпон и значений, как показано ниже:
Т! :. =PAIR TYPEX—INTEGER
TYPEY= BOOLEAN
T2 : =PA1R TYPEX—VlsibkString
TYPEY=TI
Тогда значение типа Т1 может иметь аил
(Х~3, Y-TRUE)
а
значение типа Т2 может иметь вид:
(X**«N«me»„.Y~(X-4.Y=FALSE))
82