Спецификация - формальный параметр
Cтраница 1
Спецификация формальных параметров определяет идентификаторы и типы формальных параметров и способы их использования, по которым они подразделяются на параметры-переменные и параметры-значения. [1]
В фортране нет спецификаций формальных параметров, так что тип значений, которые они представляют, определяется по общим для фортрана правилам. [2]
Должны быть соблюдены ограничения, налагаемые спецификациями формальных параметров. [3]
Наиболее важными ограничениями являются: запрещение рекурсивного использования процедур, требование обязательной спецификации формальных параметров процедуры, описание идентификаторов ( кроме меток) до их использования, упрощение конструкций именующих выражений. Эти ограничения согласованы с ограничениями, наложенными на алгол-60 в унифицированном языке, называемом подмножеством алгол-60. [4]
 |
Соответствие классов и типов параметров. [5] |
В табл. 24 приведены классы и типы фактических параметров, соответствующие определенным спецификациям формальных параметров. [6]
Список формальных параметров должен указываться в заголовке процедуры ( специфироваться), причем спецификация формальных параметров включает в себя только описание типа или класса. Это значит, что если формальным параметром является идентификатор массива, то границы размерности его в спецификации не указываются, а указывается только тип идентификатора массива. [7]
В PL / 1 описание процедур состоит из трех основных частей которые имеются и в алголе; заголовок процедуры, спецификации формальных параметров и тело процедуры. Список значений в PL / I отсутствует: вызов по значению или наименованию осуществляете. [8]
Здесь RETURNS ( т) необходимо только для процедуры-функции. С алголыюй точки зрения такое описание дублирует как описание имени процедуры, так и спецификацию формальных параметров. [9]
Вариант МАССИВ ИЗ tk определяет родовой тип массива. Такой тип массива может быть конкретизирован типом индекса для получения конкретного типа. Он может использоваться также для спецификации формальных параметров функций и процедур. Не разрешается использование родового типа массива ни в каких других случаях. [10]
Данные простых типов изображаются своими значениями. Данные структурных типов ( массивы, множества, записи) изображаются перечислением значений своих компонент. Изображения процедур и функций содержат спецификации формальных параметров и подпрограмму, которая представляет запроцедуренный участок программы. [11]
Страницы: 1