Руководство по Ada (Ada 2022)

6.3 Тела подпрограмм

A subprogram_body определяет выполнение подпрограммы.

Синтаксис

subprogram_body ::=
[overriding_indicator]
subprogram_specification
[aspect_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;

Пример тела функции:

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;