Справочное руководство по языку Ада-83




Глава 6. Подпрограммы


    Глава 6. Подпрограммы
    Содержание ОПИСАНИЕ ПОДПРОГРАММЫ ВИДЫ ФОРМАЛЬНЫХ ПАРАМЕТРОВ ТЕЛА ПОДПРОГРАММ ВЫЗОВЫ ПОДПРОГРАММ ФУНКЦИИ ПРОФИЛЬ ТИПА ПАРАМЕТРОВ И РЕЗУЛЬТАТА. СОВМЕЩЕНИЕ ПОДПРОГРАММ СОВМЕЩЕНИЕ ОПЕРАЦИЙ Подпрограмм...
    Описание подпрограммы
    Описание подпрограммы объявляет процедуру или функцию в зависимости от указанного начального зарезервированного слова. описание-подпрограммы ::= спецификация-подпрограммы;спецификация - подпрограм...
    Виды формальных параметров
    Говорят, что значение объекта читается, когда это значение вычисляется; оно также читается, когда читается одна из его подкомпонент. Говорят, что значение переменной изменяется, когда выполняется...
    Тела подпрограмм
    Тело подпрограммы определяет ее выполнение. тело-подпрограммы ::= спецификация-подпрограммы is [раздел - описаний] begin последовательность-операторов [ exception обработчик - исключения {обработч...
    Вызовы подпрограмм
    Вызов подпрограммы это либо оператор вызова процедуры, либо вызов функции; он вызывает выполнение соответствующего тела подпрограммы. Вызов определяет связь фактических параметров, если они есть,...
    Функции
    Функция это подпрограмма, которая возвращает значение (результат вызова функции). Спецификация функции начинается с зарезервированного слова function, а параметры, если они есть, должны иметь вид...
    Профиль типа параметров и результата. Совмещение подпрограмм
    Два раздела формальных параметров называются имеющими одинаковый профиль типа параметров тогда и только тогда, когда они имеют одинаковое число параметров, а в каждой позиции соответствующие парам...
    Совмещение операций
    Описание функции, обозначение которой является знаком операции, используется для совмещения операций. Последовательность символов в знаке операции должна быть обозначением операции: логической, от...
    Примечание
    оПХЛЕПШ: function + (LEFT, RIGHT : MATRIX) return MATRIX; function + (LEFT, RIGHT : VECTOR) return VECTOR;-- в предположении, что А, В и С типа VECTOR -- три следующих присваивания эквивалентныА :...








Начало    



Книжный магазин