1.2.S. Separate - JulTob/Ada GitHub Wiki

Un body-stub declara la existencia y ubicación del cuerpo de una subunidad que se encuentra definido fuera (separado) de la unidad matriz a la que pertenece.

[overriding_indicator]]
procedure defining_program_unit [formal_part] is separate;

[overriding_indicator]
function defining_designator [formal_part] result_profile is separate;

package body defining_identifier is separate;
task body defining_identifier is separate;
protected body defining_identifier is separate;

procedure Intercambiar (A, B : in out Integer) is separate;
function Combinatorio (M, N : Natural) return Natural is separate;
package body Listas is separate;

procedure Ejemplo_Separate is
   procedure Intercambiar (A, B : in out Integer) is separate;
   X, Z : Integer;
  begin
   Subunidad (X, Z);
  end Ejemplo_Separate;

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