Справочник по Ada 95
6.3 Тела подпрограмм
Тело подпрограммы subprogram_body определяет выполнение подпрограммы.
Синтаксис
subprogram_body ::=
subprogram_specification is
declarative_part
begin
handled_sequence_of_statements
end [designator];
subprogram_specification is
declarative_part
begin
handled_sequence_of_statements
end [designator];
Если в конце тела подпрограммы subprogram_body присутствует designator, он должен повторять defining_designator из спецификации подпрограммы subprogram_specification.
Правила легальности
В отличие от других тел, телу подпрограммы subprogram_body не обязательно быть завершением предыдущего объявления; в этом случае тело объявляет подпрограмму. Если тело является завершением, оно должно быть завершением объявления подпрограммы subprogram_declaration или generic_subprogram_declaration. Профиль тела подпрограммы subprogram_body, завершающего объявление, должен полностью соответствовать профилю объявления.
Статическая семантика
Тело подпрограммы subprogram_body рассматривается как объявление. Оно может либо завершить предыдущее объявление, либо само являться исходным объявлением подпрограммы.
Динамическая семантика
Выполнение тела негенерической подпрограммы subprogram_body не имеет других последствий, кроме как установить, что подпрограмма отныне может вызываться без сбоя проверки Elaboration_Check.
Выполнение тела подпрограммы subprogram_body вызывается с помощью вызова подпрограммы. Для этого выполнения сначала выполняется declarative_part, а затем выполняется handled_sequence_of_statements.
Примеры
Пример тела процедуры:
procedure Push(E : in Element_Type; S : in out Stack) is
begin
if S.Index = S.Size then
raise Stack_Overflow;
else
S.Index := S.Index + 1;
S.Space(S.Index) := E;
end if;
end Push;
begin
if S.Index = S.Size then
raise Stack_Overflow;
else
S.Index := S.Index + 1;
S.Space(S.Index) := E;
end if;
end Push;
Пример тела функции:
function Dot_Product(Left, Right : Vector) return Real is
Sum : Real := 0.0;
begin
Check(Left'First = Right'First and Left'Last = Right'Last);
for J in Left'Range loop
Sum := Sum + Left(J)*Right(J);
end loop;
return Sum;
end Dot_Product;
Sum : Real := 0.0;
begin
Check(Left'First = Right'First and Left'Last = Right'Last);
for J in Left'Range loop
Sum := Sum + Left(J)*Right(J);
end loop;
return Sum;
end Dot_Product;
