Процедура — это независимая именованная часть программы, которую можно вызвать по имени для выполнения определённой в ней последовательности действий. Процедуры служат для задания совокупности действий, направленных на изменение внешней по отношению к ним программной обстановки. В ПАСКАЛЬ, существуют стандартные процедуры: read, readln, write, writeln. Таким образом, концепция процедуры расширяет понятие оператора в языке ПАСКАЛЬ. Описание процедуры имеет следующий вид Procedure (формальные параметры); раздел описаний; begin раздел оператора end; Имя — название процедуры — одно уникальное слово на английском языке. Формальные параметры — список переменных с указанием их типов. Тип переменных — указывается после имени через двоеточие. Переменные одного типа перечисляются через запятую. Разных-через точку с запятой. Перед переменными, которые должны возвращать измененные значения в программу, указывается служебное слово var. Раздел описаний — включает разделы объявления переменных, меток, констант, а так же процедур и функций. Определение. Глобальными называются переменные, объявленные в основной программе и доступные как программе, так и всем ее подпрограммам. Определение. Локальными называются переменные, объявленные внутри подпрограммы и доступные только ей самой. Раздел операторов представляет собой тело процедуры и содержит стандартные операторы языка паскаль. Вызов процедуры в основной программе производится оператором вида имя (фактические параметры); Пример. В программе задается два целых числа 5 и 7, эти числа передаются процедуре Inc2, в которой они удваиваются. Один из параметров передается как параметр-переменная, другой — как параметр-значение. Значения параметров до и после вызова процедуры, а так же результат их удвоения выводятся на экран. Program Exampl; Var a, b: Integer; Procedure Inc2(Var c: Integer; b: Integer); Begin c:= c + c; b:= b + b; Writeln (`Удвоенные:', c:5, b:5) End; {Inc2} Begin {Main} a:=5; b:=7; Writeln (`Исходные:', a:5, b:5); Inc2(a, b); Writeln (`Результат:', a:5, b:5) End. {Main}.
