ГОСГ Р ИСО/МЭК 8824-93
11.1
дукцнях
ДОЛЖНЫ
использоваться
ТОЛЬКО
В ТСХчЖе модулях, в кото
рых данной ссылке на тип или значение, соответственно, был при
своен некоторый тип
или
некоторое значение (см.и 11.2).
10.3«ВнсшняяСсылкаНатнп» и «ВнешняяСсылкаНаЗначение»
должны использоваться только в тех случаях, когда в модуле, оп
ределяемом элементом «СсылкаНаМодуль*, данной ссылке на тип
или значение был присвоен, соответственно, некоторый тип или не
которое значение (см. 11.1 и 11.2).
II ПРИСВОЕНИЕ ТИПОВ И ЗНАЧЕНИЙ
11.1 Присвоение ссылке на тип некоторого типа описывается
продукцией «ПрисвоениеТнпа»:
ПрнсвоениеТила ::=
СсылкаНаТип
« ::
=»
Тип
Элемент «СсылкаНаТип» нс должен совпадать с каким-либо
именем, используемым для ссылки на один из типов «строка зна
ков», определенных в части 2. а также не должен совпадать с ка
ким-либо именем, используемым для ссылки на типы, определен
ные в части 3.
11.2 Присвоение ссылке на значение некоторого значения опи
сывается продукцией «ПрисвосннеЗначення»:
ПрисвоениеЗначення :: =*
*СсылкаНаЗначенне
Тип
« :: = »
Значение
Последовательность «Значение», присваиваемая ссылке на зна
чение, должна быть допустимым выражением (см. 12.7), описыва
ющем некоторое значение, имеющее тип. определяемый последова
тельностью «Тип».
12 ОПРЕДЕЛЕНИЕ ТИПОВ И ЗНАЧЕНИЙ
12.1Типопределяетсяодной из последовательностей вида
«Тип»:
Тип-= ВстроенныйТнп }ОпределеннынТпи | Подтип
(см. 10.1)(см. 37)
ВстроенныйТнп :: =
БулевскийТип
ЦелочисленныйТнп,
2 >