7.4 процедуры

Спецификация процедуры имеет следующий вид:

PROCEDURE    Имя_Процедуры

[(Формальные ^Параметры)];

Тело процедуры имеет следующий вид:

PROCEDURE         Имя_Процедуры

[(Формальные_Параметры)]   IS

- - Локальные_Описания BEGIN

- - Последовательность „Операторов [EXCEPTION

- - Обработчики_Исключений] END     Имя_Процедуры;

Выполнение процедуры характеризуется результатом выполнения, связанным с

•   изменением её параметров (in out);

•   формированием значений параметров ( out);

•   изменением глобальных переменных.

Процедура вызывается посредством вызова подпрограммы, который  рассматривается как оператор. Выполнение процедуры завершается либо при достижении конца тела, либо при  выполне­нии оператора возврата ( return ). D   Пример: Спецификация и тело процедуры

• - спецификация

procedure   SWAP (А,В :   in    integer; С :    out   integer);

• - тело

procedure    SWAP (А, В:   in    integer; С:    out    integer)    is

Temp   :    integer begin

Temp    : = A ;

A             :   = В ;

В             :   = Temp;

end         SWAP;

СОВЕТЫ:

•   Избегайте использования вида   in out    при описании формальных параметров.

•   Используйте глаголы действия при выборе имен процедур.