Cтраница 1
Заголовок процедуры включает в себя совокупность спецификаций, которая дает информацию о классах и типах всех формальных параметров. В эту совокупность ни один параметр не может войти более чем один раз. [1]
Заголовок процедуры начинается символом procedure, за которым следует наименование этой процедуры. Эти части заголовка процедуры отделяются друг от друга точками с запятой. [2]
Заголовок процедуры представляет собой следующую последовательность: идентификатор процедуры, заключенный в круглые скобки список формальных параметров, основной символ; ( точка с запятой), список значений, совокупность спецификаций. [3]
Заголовок процедуры состоит из описателя procedure или одной из пар описателей integer procedure real procedure Boolean procedure и идентификатора процедуры; далее могут следовать заключенный в круглые скобки список формальных параметров, список значений и одна или несколько спецификаций. [4]
Заголовок процедуры может не содержать формальных параметров. В списке значений могут стоять лишь те идентификаторы, которые являются формальными параметрами процедуры. Спецификации в своих списках могут содержать только формальные параметры; отсюда следует, что заголовок процедуры, не содержащий списка формальных параметров, не может содержать ни списка значений, ни спецификаций. Один и тот же формальный параметр не должен присутствовать сразу в двух спецификациях. [5]
Заголовок процедуры является описанием используемых элементов языка в процедуре. Он состоит из идентификатора процедуры, списка идентификаторов переменных, значения и наименования которых могут изменяться при многократных обращениях к процедуре. Выбор идентификатора процедуры производится аналогично выбору наименований переменных. [6]
Заголовок процедуры состоит из описателя procedurej. Boolean procedure и идентификатора процедуры; далее могут следовать заключенный в круглые скобки список формальных параметров, список значений и одна или несколько спецификаций. [7]
Заголовок процедуры может не содержать формальных параметров. В списке значений могут стоять лишь те идентификаторы, которые являются формальными параметрами процедуры. Спецификации в своих списках могут содержать только формальные параметры; отсюда следует, что заголовок процедуры, не содержащий списка формальных параметров, не может содержать ни списка значений, ни спецификаций. Один и тот же формальный параметр не должен присутствовать сразу в двух спецификациях. [8]
Заголовок процедуры определяет ее имя и в случае необходимости - ее список аргументов. [9]
Заголовок процедуры начинается символом procedure, за которым следует идентификатор процедуры со списком параметров, разделенных запятыми и заключенных в круглые скобки. Заголовок процедуры отделяется от тела процедуры точкой с запятой. [10]
Заголовок процедуры состоит из слова procedure, за которым следует имя процедуры. Если у процедуры есть параметры, то они указываются после имени процедуры в скобках. [11]
Заголовок процедуры без параметров имеет вид procedure p; где р - идентификатор, а обращение состоит лишь из указания идентификатора процедуры р; , т.е. отсутствуют также фактические параметры. Аналогично процедуре без параметров может быть и процедура-функция без параметров. [12]
Здесь заголовок процедуры записан в первых двух строках, тело процедуры - в остальных. [13]
Каждый заголовок процедуры, входящий в модуль определения, должен встречаться в модуле реализации. Это означает, в частности, повторение списка формального параметра в точности в том же виде, в каком он входил в модуль определения. Для программиста, писавшего на Паскале, это будет изменением, поскольку он имел дело с размещаемыми ранее объявлениями или знаком с разницей в заголовках процедур между разделами интерфейса и реализации объектов в некоторых расширениях Паскаля. Наоборот, никакие другие объявления модуля определения не могут повторяться в модуле реализации. [14]
Элементы заголовка процедуры имя и список параметров имеют тот же смысл, что и в заголовке функции. В заголовке процедуры отсутствует указание типа процедуры, так как имени процедуры не присваивается значение. [15]