Структура описания процедур аналогична самой программе. Она состоит из заголовка процедуры и блока процедуры. Блок процедуры включает в себя те же 6 разделов, что и блок программы.
Заголовок процедуры:
Procedure Xxx[(P1:T1;P2:T2;…Pn:Tm)];
Xxx - имя процедуры (любой идентификатор);
P1,P2,…,Pn - формальные параметры;
T1,T2,…,Tm – типы формальных параметров
Формальные параметры – это перечень имен для обозначения исходных данных и результатов работы процедуры. Формальные параметры нужны для того, чтобы указать, куда должны быть подставлены фактические параметры при обращении к процедуре. Формальные параметры в программе не описываются.
Формальные параметры могут отсутствовать и, в этом случае, процедура описывается без параметров.
Обращение к процедуре:
Чтобы исполнить процедуру, в нужном месте программы записывается оператор обращения к ней, который имеет вид:
Xxx[(B1,B2,…,Bn)];
B1,B2,…,Bn – список фактических параметров. Он отсутствует, если процедура описывалась без параметров.
При вызове процедуры устанавливается взаимное однозначное соответствие между фактическими и формальными параметрами, а затем управление передается процедуре.
Соответствие между фактическими и формальными параметрами:
1. Число фактических параметров должно быть равно числу формальных параметров;
2. Соответствующие фактические и формальные параметры должны совпадать по порядку следования и по типу.
