Справочное руководство по языку Ада-83


Описания - часть 2


Некоторые формы описаний связывают символ операции или другие обозначения с явно или неявно описанной операцией.

Процесс, в результате которого описание вступает в силу, называется

предвыполнением

описания; этот процесс протекает во время выполнения программы.

Говорят, что после своего предвыполнения описание становится

предвыполненным.

До завершения своего предвыполнения (как и до его начала) описание считается еще не предвы-полненным. Предвыполнение любого описания дает всегда по крайней мере один эффект:

описание из еще не предвыполненного становится предвыполненным. Фраза

Предвыполнение не дает другого эффекта

используется тогда, когда происходит только изменение статуса описания. Процесс предвыполнения определяется также для разделов описаний, элементов описания и компилируемых модулей (см. 3.9 и 10.5).

Описания объекта, числа, типа и подтипа даны в этой главе. Остальные основные описания изложены в последующих главах.

Примечание.

Синтаксические правила используют термин

идентификатор

для первого вхождения идентификатора в некоторую форму описания; термин

простое имя

используется для любого вхождения идентификатора, который уже обозначает какое-либо описанное понятие.

Ссылки:

атрибут 4.1.4, видимость 8.3, знак операции 6.1, идентификатор 2.3, имя 4.1, имя блока 5.6, имя цикла 5.5, компонента записи 3.7, конкретизация настройки 12.3, метка 5.1, область действия 8.2, оператор блока 5.6, оператор цикла 5.5, операция типа 3.3, описание входа 9.5, описание задачи 9.1, описание исключения 11.1, описание компоненты 3.7, описание настройки 12.1, описание объекта 3.2.1, описание пакета 7.1, описание параметра настройки 12.1, описание переименования 8.5, описание подпрограммы 6.1, описание подтипа 3.3.2, описание субконстанты 7.4, 3.9, описание типа 3.3.1, описание числа 3.2.2, Предвыполнение 3.9, простое имя 4.1, раздел описаний 3.9, символьный литерал 2.5, спецификатор представления 13.1, спецификация дискриминанта 3.7.1, спецификация литерала перечисления 3.5.1, спецификация параметра 6.1, спецификация параметра цикла 5.5, тело подпрограммы 6.3, числовой литерал 2.4, элемент описания 3.9.

Пред. 

Уровень выше  След.

2.10. ДОПУСТИМЫЕ ЗАМЕНЫ СИМВОЛОВ  

Начало  

3.2. ОБЪЕКТЫ И ИМЕНОВАННЫЕ ЧИСЛА




Начало  Назад  Вперед