Cтраница 3
Оператор ом присваивания осуществляется присвоение значений переменным или идентификаторам процедур. [31]
Оператор процедуры служит для выполнения процедуры, обозначенной идентификатором процедуры. Оператор процедуры может содержать список фактических параметров, подставляемых на место соответствующих им формальных параметров, определенных в описании процедуры ( см. разд. Соответствие устанавливается по позициям параметров в списках формальных и фактических параметров. [32]
Операнд, предшествующий операции ххх, не является идентификатором процедуры. [33]
Заголовок процедуры начинается символом procedure, за которым следует идентификатор процедуры со списком параметров, разделенных запятыми и заключенных в круглые скобки. Заголовок процедуры отделяется от тела процедуры точкой с запятой. [34]
Так обозначается тип значения, которое должно быть присвоено идентификатору процедуры. [35]
Описание процедуры служит для задания процедуры, связанной с идентификатором процедуры. Главной составной частью описания процедуры является оператор или группа кодов, называемые телом процедуры, к которому может быть произведено обращение посредством указателей функций и ( или) операторов процедуры из других мест блока, в заголовке которого находится описание данной процедуры. С телом процедуры связан ее заголовок, который указывает, что некоторые идентификаторы, встречающиеся в теле процедуры, представляют формальные параметры. В момент обращения к процедуре ( см. разд. Указатели функций и разд. Операторы процедур) формальным параметрам в теле процедуры будут присвоены значения фактических параметров или же они будут заменены фактическими параметрами. Те идентификаторы в теле процедуры, которые не являются формальными параметрами, являются либо локальными, либо не локальными в теле в зависимости от того, описаны они в теле процедуры или нет. Те из них, которые не локальны в теле процедуры, могут быть локальными в блоке, в заголовке которого находится описание данной процедуры. Тело процедуры всегда действует подобно блоку независимо от того, имеет оно форму блока или нет. Следовательно, область действия метки, помечающей оператор внутри тела или само тело, никогда не может распространяться за тело процедуры. Кроме того, если идентификатор формального параметра заново описан внутри тела процедуры ( включая случай использования его в качестве метки, как это указано в разд. [36]
Фактический параметр, соответствующий формальному параметру-процедуре, должен быть идентификатором процедуры, определение которого содержится в блоке программы. Процедура, задаваемая фактическим параметром, и процедура, задаваемая формальным параметром, должны иметь совпадающие списки формальных параметров. [37]
При вызове процедуры ее формальные параметры инициализируются, как и идентификаторы процедур, и они могут быть даже инициализированы по значению. Впрочем, разные обращения устанавливают различные инициализации идентификаторов формальных параметров, но не разные способы инициализации значений. [38]
Для определения процедурной константы следует к п м i - идентификатор процедуры или фушшлн. [39]
В режиме Р - - выдаются значения локальных переменных, идентификаторы вызванных процедур ( функций) и номера строк программы, в которых начинаются соответствующие составные операторы. [40]
Память для данных может присваиваться как собственная lown) для идентификатора процедуры, описание которой создается. [41]
Во-первых, результат выполнения процедуры, объявленной процедурой-функцией, присваивается идентификатору процедуры. Поэтому в теле процедуры-функции должен быть о дин или несколько операторов присваивания с идентификатором этой процедуры-функции в левой части, и по крайней мере один из этих операторов должен выполняться. [42]
Фактическими параметрами могут при этом быть строки, идентификаторы массивов, идентификаторы процедур, идентификаторы переключателей и выражения ( см. пп. [43]
Оператор процедуры является средством обращения к описанию процедуры и состоит из идентификатора процедуры и списка наименований переменных, совпадающих по типу с переменными, указанными в заголовке. [44]
Как мы увидим ниже, в заголовок процедуры обязательно должен входить только идентификатор процедуры, а совокупность формальных параметров, список значений и совокупность спецификаций при определенных условиях могут быть опущены. [45]