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


Описания


В языке определены понятия, объявляемые явно или неявно описаниями. К таким понятиям относятся, например: числовой литерал, объект, дискриминант, компонента записи, параметр цикла, исключение, тип, подтип, подпрограмма, пакет, задачный модуль, настраиваемый модуль, одиночный вход, семейство входов, формальный параметр (подпрограммы, входа, настраиваемой подпрограммы), формальный параметр настройки, именованный блок или цикл, помеченный оператор, а также операция (в частности, атрибут или литерал перечисления, см. 3.3.3).

Существует, несколько форм описаний. Основное описание — это форма описания, определенная следующим образом:

основное-описание ::= описание-объекта | описание-числа | описание-типа | описание-подтипа | описание-подпрограммы | описание-пакета | описание-задачи | описание-настройки | описание-исключения | конкретизация-настройки | описание-переименования | описание-субконстанты

Некоторые формы описания всегда являются (явно) частью основного описания, а именно:

спецификация дискриминантов, описание компонент, описание входов, спецификация параметров, описание параметров настройки и спецификации литералов перечисления. Спецификация параметра цикла — это конструкция, которая входит только в некоторые формы оператора цикла.

Остальные формы описания являются неявными: имя блока, имя цикла и метка оператора. Некоторые операции описываются неявно (см. 3.3.3).

Для каждой формы описания правила языка определяют некоторый участок текста, называемый

областью действия

описания (см. 8.2). Несколько форм описания связывают идентификатор с описанным понятием. Внутри его области действия, и только в ней, существуют места, где возможно использование идентификатора для связи его с описанным понятием;

эти места определяются правилами видимости (см. 8.3.). В таких местах идентификатор называют

именем

понятия (простым именем); говорят, что имя

обозначает

связанное с ним понятие.

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




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



Книжный магазин