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


Разделы описаний


Раздел описаний содержит элементы описания (возможно, и ни одного).

раздел-описаний ::= {основной-элемент-описания} {дополнительный - элемент - описания}

основной-элемент-описания ::= основное-описание | спецификатор-представления | спецификатор-использования

дополнительный-элемент-описания ::= тело | описание-подпрограммы | описание-пакета | описание-задачи | описание-настройки | спецификатор-использования | конкретизация-настройки

тело ::= соответствующее-тело | след-тела

соответствующее-тело ::= тело-подпрограммы | тело-пакета | тело-задачи

Предвыполнение раздела описаний состоит из предвыполнения элементов описания, если они есть, в порядке их следования в разделе описаний. После своего предвыполнения элемент описания называется

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

До окончания своего предвыполнения (включая фазу перед предвыполнением) элемент описания еще не предвыполнен.

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

• При вызове подпрограммы проверяется, предвыполнено ли уже тело подпрограммы.

• При активизации задачи проверяется, предвыполнено ли уже тело соответствующего за-дачного модуля.

• При конкретизации настраиваемого модуля, имеющего тело, проверяется, предвыполнено ли уже тело настраиваемого модуля.

Если одна из этих проверок дает отрицательный результат, возбуждается исключение PROGRAM_ERROR.

Если описание подпрограммы, описание пакета, описание задачи или описание настраиваемого понятия являются элементами описания данного раздела описаний, то тело (если оно существует) программного модуля, описанного элементом описания, должно само быть элементом описания этого раздела описаний (и должно помещаться ниже).




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



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