48

7.2. Описание функции

находиться в памяти компьютера только пока она (или некоторая из вложенных в ней

процедур) не прекратит быть в состоянии активной. Если в программе (модуле) есть

оверлейная процедура, в процессе выполнения программы не закрывается файл с

кодом программы (модуля).

7.2. Описание функции

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

возвращается результат. Описание определяет имя функции, ставит в соответствие с

ним тип результата, блок и список формальных параметров (если список существует).

FuncDeclaration =

FuncHeading ';' (Block | Directive) ';'.

FuncHeading =

['segment']

'function' Ident [FormalPList] ':' TypeIdent.

Заголовок функции (FuncHeading) определяет имя функции, тип результата и

список формальных параметров.

Тип результата (TypeIdent) определяет тип значения, возвращаемого функцией

после ее выполнения. Этот тип может быть простой (ординальный или вещественный)

или ссылочный тип.

Блок любого описания финкции должен содержать по крайней мере один

оператор присваивания, где имени функции присваивается значение, или одно

использование стандартной функции RETURN. Использование имени функции в другом

операторе кроме в левой части оператора присваивания предполагает рекурсивное

выполнение этой функции.

7.3. Формальные параметры

Параметры позволяют при каждом вызове процедуры или функции работать с

объектами (значениями, переменными), задаваемыми в точке активизации через

список фактических параметров. Список формальных параметров в заголовке

процедуры или функции определяет имена, под которыми эти объекты известны в

блоке процедуры или функции, а также вид и тип требуемых фактических параметров.

FormalPList =

'(' [ Parameter { ',' Parameter } ] ')'.

Parameter =

(['var'| 'const'] IdentList ':' TypeIdent) |

('var' | 'const') IdentList.

Параметры, перечисленные в одной секции формальных параметров (Parame-

ter), представляют собой либо параметры-значения (слово var им не предшествует),

либо параметры-переменные (слово var предшествует им и их тип определен), либо

параметры-константы (слово const предшествует им и их тип определен), либо

нетипизированными параметрами - переменными (слово var или const предшествует

им, но их тип не задан).

7.3.1 Формальные параметры-значения

Формальный параметр-значение (параметр передается по значению) действует

как локальная переменная в процедуре или функции, исключая то, что получает

начальное значение от соответствующего фактического параметра перед вызовом