Cтраница 2
Строка заголовка процедуры, а также служебные слова begin и end генерируются системой программирования автоматически. [16]
Обработка заголовка процедуры имеет целью определить тип процедуры, а также выявить формальные параметры, их класс и тип. Информация о формальных параметрах помещается в таблицу формальных параметров, которая должна быть доступна в ходе выполнения объектной программы. Следовательно, эта таблица должна быть встроена в объектную программу. [17]
Следует в заголовок процедуры и в ее описание добавить опцию и атрибут RETURNS ( FIXED) или задать 2.1 с большей точностью. [18]
Например, заголовок процедуры умножения двух квадратных матриц может иметь следующий вид ( см. стр. [19]
Например, заголовок процедуры умножения двух квадратных матриц может иметь следующий вид ( см. стр. [20]
Первая часть заголовка процедуры обязательно включается в описание любой процедуры, а вторая, содержащая пояснительную информацию о формальных параметрах, может отсутствовать. Следовательно, в простейшем случае заголовок процедуры состоит из идентификатора процедуры и записанной вслед за ним совокупности формальных параметров. Выбор идентификатора процедуры производится в соответствии с общими правилами, установленными в Алголе, для наименования всех других величин. Совокупность формальных параметров представляет собой заключенный в круглые скобки список формальных параметров. Формальные параметры в списке в простейшем случае отделяются друг от друга запятыми. Формальные параметры в описании процедуры обозначаются, вообще говоря, произвольными идентификаторами. [21]
Рассмотренная часть заголовка процедуры, помимо названия процедуры, содержит указание о том, какие параметры и в каком порядке должны задаваться при обращении к данной процедуре. [22]
Отдельно будут рассмотрены заголовок процедуры, ее тело и механизм активизации. [23]
Очевидно, что заголовок процедуры в модуле определений должен согласовываться с ее полным описанием в модуле реализации. Если параметры ( или результат) экспортируемой процедуры имеют локально определенные типы, то такие типы должны экспортироваться раздельно. [24]
В этой части заголовка процедуры приводится информация, поясняющая некоторые свойства параметров процедуры. Поясняющая информация используется только при трансляции, сокращая время на перевод описания процедуры и обеспечивая получение рабочей программы ( на языке машины) более высокого качества. [25]
В совокупности спецификаций заголовка процедуры с помощью описателей и спецификаторов задается информация о классах и типах формальных параметров. Эта информация, как отмечалось, позволяет упростить и ускорить работу транслятора при переводе тела процедуры на языке машины. Поясним сказанное на следующем простом примере. [26]
В списке значений заголовка процедуры повторяется параметр ххх. [27]
Последнее состоит из заголовка процедуры и тела процедуры, которое является оператором. В заголовке содержатся перечень формальных параметров процедуры и так называемый список значений, в котором повторены некоторые из формальных параметров. Тем формальным параметрам процедуры, которые указаны в списке значений, производится присваивание значений фактических параметров, из числа указанных в операторе процедуры. Остальные формальные параметры процедуры заменяются в теле процедуры отвечающими им фактическими параметрами. Соответствие между формальными параметрами процедуры и фактическими параметрами, указанными в операторе процедуры, получается путем сопоставления в одном и том же порядке элементов перечня фактических параметров и перечня формальных параметров. Преобразованное описанным способом тело процедуры выполняется, чем и завершается выполнение оператора процедуры. Таким образом, оператор процедуры осуществляет преобразование тела процедуры и выполнение его. [28]
Спецификации, включаемые в заголовок процедуры, отчасти способствуют формулировке этих ограничений на фактические параметры. В спецификациях указывается класс величин), представленных формальными параметрами в теле процедуры, и тип их значений, если эти величины могут обладать значениями. Совокупность спецификаций состоит из одной или нескольких спецификаций, выписанных подряд. Каждая спецификация состоит из спецификатора, списка идентификаторов из числа формальных параметров данной процедуры и точки с запятой. [29]
Обратите внимание, что заголовок процедуры ( AExitExecute) получается осмысленным - он указывает на характер действия. [30]