procedure (cuerpo)

Explicación

El cuerpo de un procedimiento consta de: una especificación formada por un identificador (defining_program_unit_name) y una lista de parámetros opcional (formal_part) , una secuencia de declaraciones (declarative_part) y, encerrada en un bloque begin..end, la secuencia de sentencias ejecutables. El end del final del procedimiento puede ir acompañado (se recomienda) de un designator que debe coincidir con el identificador del procedimiento.

Si el procedimiento es una unidad de librería, el identificador del procedimiento puede incluir el nombre de la unidad padre (parent_unit_name).

El cuerpo del procedimiento puede ir precedido de un indicador de overriding, si sustituye a una operación primitiva de algún tipo.

El cuerpo de un procedimiento completa una declaración previa, o sirve de declaración en caso de que no haya habido ninguna previa.

Sintaxis

[overriding_indicator]
procedure defining_program_unit_name [formal_part] is
   declarative_part
begin
   handled_sequence_of_statements
end [designator];
defining_program_unit_name ::= [parent_unit_name . ]defining_identifier

designator ::= [parent_unit_name . ]defining_identifier
parent_unit_name ::= name

Ejemplo

procedure Intercambiar (A, B : in out Integer) is
   Aux : Integer := A;
begin
   A := B;
   B := Aux; end Intercambiar;

Véase