Параметры

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

параметров. Каждый параметр, описанный в списке формальных пара-

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

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

ей на него можно ссылаться по его идентификатору.

---- ----------- ----

список формальных --->¦ ( +----->¦ описание +--T-->¦ ) +-->

параметров L---- ^ ¦параметра ¦ ¦ L----

¦ L----------- ¦

¦ ---- ¦

L------+ ; ¦<------

L----

--------------

описание --T------------>¦список иден- +T--------------------->

параметра ¦ ---- ^ ¦тификаторов ¦¦ ^

+->¦var+----+ L--------------¦ ---- -------- ¦

¦ L---- ¦ L>¦ : +->¦тип па-+--

¦ ------ ¦ L---- ¦раметра¦

L->¦const+--- L--------

L------

Существует три типа параметров: значение, переменная и нети-

пизированная переменная. Они характеризуются следующим:

1. Группа параметров без предшествующего ключевого слова

является списком параметров-значений.

2. Группа параметров, перед которыми следует ключевое слово

const и за которыми следует тип, является списком пара-

метров-констант.

3. Группа параметров, перед которыми стоит ключевое слово

var и за которыми следует тип, является списком нетипи-

зированных параметров-переменных.

4. Группа параметров, перед которыми стоит ключевое слово

var или const за которыми не следует тип, является спис-

ком нетипизированных параметров-переменных.

Параметры строкового типа и массивы могут быть открытыми па-

раметрами. Параметры-переменные, описанные с помощью идентифика-

тора OpenString или с использованием ключевого слова string в

состоянии {$P+}, являются открытыми строковыми параметрами. Зна-

чение, константа или параметр-переменная, описанные с помощью

синтаксиса array of T, являются открытым параметром-массивом.

Примечание: Подробнее об открытых параметрах рассказы-

вается ниже.

Параметры-значения

Формальный параметр-значение обрабатывается, как локальная

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

того, что он получает свое начальное значение из соответствующего

фактического параметра при активизации процедуры или функции. Из-

менения, которые претерпевает формальный параметр-значение, не

влияют на значение фактического параметра.

Соответствующее фактическое значение параметра-значения

должно быть выражением и его значение не должно иметь файловый

тип или какой-либо структурный тип, содержащий в себе файловый

тип.

Фактический параметр должен иметь тип, совместимый по прис-

ваиванию с типом формального параметра-значения. Если параметр

имеет строковый тип, то формальный параметр будет иметь атрибут

размера, равный 255.