ГОСТ
Р ИСО/МЭК 8824-М
Булево кийТип : : = BOOLEAN
13.2 Типы, определенные с помощью этого обозначения, имеют
тег универсального класса I.
13.3 Значение булевского типа (см. 3.14 и 3.15) должно опреде
ляться обозначением «БулевскоеЗначение»:
БулсвскоеЗначснне :: = TRUE | FALSE
14 ОБОЗНАЧЕНИЯ ДЛЯ ЦЕЛОЧИСЛЕННОГО ТИПА
\
14.1Для ссылки на целочисленный тип (см. 3.16) должно ис
пользоваться обозначение «ЦелочисленныйТип»:
ЦелочисленкыйТип : : «■
INTEGER ! ’
INTEGER {СписокПоименованныхЧисел}
СписокПоименованныхЧисел :: ~
ПоименованноеЧнсло !
СписокПоименованныхЧисел. Поименованное
Число
ПоименованноеЧнсло
Идентифнкатор(ЧислоСоЗнаком) |
Идентификатор (ОпределенноеЗначе
ние)
ЧнслоСоЗиако.м :: = Число- Число
14 2 Вариант «число со знаком* не должен использоваться, ес
ли «число» является нулем.
14.3 «СписокПоименованныхЧисел» не является существенной
составной частью определения типа. Эту последовательность нс
пользуют только в обозначениях для записи значении, описанных
в 14.9.
144 «ОпределснноеЗначсние» является ссылкой на значение
целочисленного типа или тегированного типа, производного от це
лочисленного типа.
14.5 Значение каждой из последовательностей «ЧислоСоЗна-
ком» и «ОлределенноеЗначеннс*. входящих в «.СписокПоимено
ванныхЧисел*. должны быть попарно различными и быть выделен
ными значениями целочисленного типа.
14.6 Элементы «идентификатор», входящие в «СпнсокПоименсь
ванныхЧисел». должны быть различными.
14.7 Порядок следования последовательностей «Поименован-
ноеЧисло» в последовательности «СписокПоименованныхЧисел*
не существенен.
14.8 Типы, определенные с помощью этого обозначения, имеют
тег универсального класса 2.
29