Справочник Ada 2005

6.7 Процедуры без тела

Описание null_procedure_declaration обеспечивает краткую запись объявления процедуры с пустым телом.

Синтаксис

null_procedure_declaration ::=
[overriding_indicator]
procedure_specification is null;

Статическая семантика

Описание null_procedure_declaration объявляет процедуру без тела. Завершение не допускается для null_procedure_declaration.

Динамическая семантика

Вызов процедуры без тела выполняется путем вызова подпрограммы. При вызове подпрограммы на процедуру без тела выполнение subprogram_body не оказывает никакого эффекта.

Выполнение null_procedure_declaration не оказывает никакого эффекта.

Примеры

procedure Simplify(Expr : in out Expression) is null; -- см. 3.9
-- По умолчанию Simplify ничего не делает, но может быть переопределена в расширениях Expression