Формат описания процедуры имеет вид:
PROCEDURE имя процедуры (формальные параметры);
раздел описаний процедуры.
BEGIN.
исполняемая часть процедуры — операторы;
END;
Формальные параметры — это список, который содержит имена переменных, массивов и типов, являющихся исходными данными и результатами процедуры. Он может отсутствовать. Элементы списка параметров описываются полностью, с указанием типов.
Различие между формальными и фактическими параметрами такое же, как между символами в общей формуле и значениями, которые подставляются в эту формулу.
Формальные параметры — это просто объекты, которые позволяют описать, что будет делать процедура. Сами действия будут выполняться над теми значениями объектов, которые передаются процедуре при ее вызове. Поэтому при вызове процедуры должны соблюдаться следующие требования:
- — количество передаваемых фактических параметров должно равняться количеству описанных в процедуре формальных параметров.
- — порядок следования фактических параметров и их типы должны соответствовать порядку следования и типам формальных параметров. Это, в частности означает, что массивы должны иметь одинаковую размерность и содержать данные одного типа.
Параметры процедур делятся на 2 класса:
1) параметры-значения;
Параметр-значение используется в процедуре, но после окончания ее работы не изменяется. Как правило, это аргумент (исходное данное) процедуры.
2) параметры-переменные.
Параметр-переменная не только используется в процедуре, но и позволяет изменять значение соответствующего фактического параметра. Это — результат работы процедуры. При вызове процедура получает доступ к области памяти, в которой хранится значение фактического параметра, соответствующего параметру-переменной. Таким образом, обеспечивается возможность изменения этого фактического параметра.
В заголовке параметру-переменной должен предшествовать описатель (слово) Var.
Вызов процедуры производится оператором, имеющим следующий формат:
имя процедуры (список фактических параметров);
Список фактических параметров — это их перечисление через запятую. При вызове фактические параметры как бы подставляются вместо формальных, стоящих на тех же местах в заголовке. Таким образом происходит передача входных параметров, затем выполняются операторы исполняемой части процедуры, после чего происходит возврат в вызывающий блок. Передача выходных параметров происходит непосредственно во время работы исполняемой части.
После выполнения процедуры происходит возврат в основную программу к оператору, стоящему после вызывающего.
