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


Описание подпрограммы


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

описание-подпрограммы ::= спецификация-подпрограммы;

спецификация - подпрограммы ::= procedure идентификатор [раздел-формальных-параметров] | function обозначение [раздел-формальных-параметров] return обозначение-типа

обозначение ::= идентификатор | знак-операции знак-операции ::= строковый-литерал

раздел-формальных-параметров ::= (спецификация-параметра {; спецификация-параметра})

спецификация-параметра ::= список-идентификаторов : вид обозначение-типа [:= выражение]

вид ::= [in] | in out | out

Спецификация процедуры определяет ее идентификатор и ее

формальные параметры

(если они есть). Спецификация функции определяет ее обозначение, ее формальные параметры (если они есть) и подтип возвращаемого значения (

подтип результата).

Обозначение, являющееся знаком операции, используется для совмещения операций. Последовательность символов, представляющая знак операции, должна представлять операцию, принадлежащую одному из шести классов совмещаемых операций, определенных в разд. 4.5 (пробелы недопустимы, а относительно букв ограничений нет).

Спецификация параметра с несколькими идентификаторами эквивалентна последовательности спецификаций с одним параметром, как поясняется в разд. 3.2. Каждая спецификация одного параметра описывает формальный параметр. Если вид явно не задан, то предполагается вид

in.

Если спецификация параметра оканчивается выражением, то оно является

выражением по умолчанию

формального параметра. Выражение по умолчанию допустимо только в спецификации параметра вида

in

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

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

Предвыполнение описания подпрограммы предвыполняет соответствующий раздел формальных параметров.




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



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