Cтраница 1
Операторы тела процедуры описывают заданный алгоритм обработки данных. [1]
Имя определяемой процедуры не должно встречаться ни в одном операторе тела процедуры. В теле процедуры должен содержаться хотя бы один оператор возврата - выполнением любого из них завершается выполнение модуля-подпрограммы. [2]
Локализованные объекты - это идентификаторы и метки, описанные в теле процедуры или помечающие операторы тела процедуры. К локализованным относятся величины, описанные в теле процедуры; это, как правило, идентификаторы для обозначения-промежуточных результатов, неоднократно используемых в процедуре. [3]
Локализованные объекты - это идентификаторы и метки, описанные в теле процедуры или помечающие операторы тела процедуры. К локализованным относятся величины, описанные в теле процедуры; это, как правило, идентификаторы для обозначения промежуточных результатов, неоднократно используемых в процедуре. [4]
Для использования процедурного блока в качестве функции необходимо в операторе PROCEDURE задать описатели, характеризующие основание системы счисления, форму представления и разрядность вычисляемого в функции значения ( если описатели не заданы, то они устанавливаются по умолчанию в соответствии с первой буквой идентификатора, обозначающего точку входа), а в состав операторов тела процедуры включить оператор возврата, который обеспечивает выход из процедуры и передачу в точку вызова значения результата. [5]
Из анализа алгоритма суммирования и реализующих его операторов следует, что все использованные идентификаторы I, k, n, a, s обозначают варьируемые исходные данные и результат вычислений и поэтому должны быть отнесены к формальным параметрам. Так как в операторах тела процедуры не используются локальные величины, а операторов два, то тело процедуры следует оформить в виде составного оператора. [6]
В отличие от формальных, фактические параметры являются реальными объектами программы. Их значения либо являются исходными для выполнения операторов тела процедуры в данном конкретном обращении, либо должны быть получены при выполнении указанной процедуры. [7]
В отличие от формальных, фактические параметры являются реальным объектами программы. Их значения либо являются исходными для выполнения операторов тела процедуры в данном конкретном обращении, либо должны быть получены при выполнении указанной процедуры. [8]
Параметры процедуры, содержащиеся в описании процедуры, называются формальными параметрами. Ими обозначаются величины, значения которых являются либо исходными данными при выполнении операторов тела процедуры, либо величины, значения которых представляют собой результат выполнения данной процедуры. Формальными параметрами - могут быть не только величины, но и другие объекты языка. Формальные параметры не являются какими-либо конкретными объектами в программе; они указывают лишь те позиции в теле процедуры, которые при ее выполнении займут соответствующие им по смыслу реальные объекты. Формальные параметры в программе не описываются, но в заголовке процедуры может быть указана поясняющая информация о них в виде спецификаций. Формальные параметры составляют список формальных параметров. [9]
Параметры процедуры, содержащиеся в описании процедуры, называются формальными параметрами. Ими обозначаются величины, значения которых являются либо исходными данными при выполнении операторов тела процедуры, либо величины, значения которых представляют собой результат выполнения данной процедуры. Формальные параметры не являются какими-либо конкретными объектами в программе; они указывают лишь те позиции в теле процедуры, которые при ее выполнении займут соответствующие им по смыслу реальные объекты. Поясняющая информация о формальных пара метрах указывается спецификациями. Формальные параметры составляют спи сок формальных параметров. [10]
Однако нужно еще втолковать Паскаль-машине, что мы подразумеваем под всеми этими вызовами процедур. Ведь эта машина не начнет ( к сожалению. В процедуре для каждого фактического параметра нам нужен идентификатор, чтобы можно было выразить в операторах тела процедуры то, что мы хотим сделать с ее параметрами. Нужно еще указать тип для каждого формального параметра. [11]