Ada Procedure Kinds

Use “ada procedure” to match all Ada procedure kinds.

Kind Name
Ada Abstract Procedure
Ada Abstract Procedure Local
Ada Generic Procedure
Ada Generic Procedure Local
Ada Procedure
Ada Procedure External
Ada Procedure Local

A non-generic procedure may be local or non-local.

procedure max (a, b : in integer; m : out integer);
          -- max is Ada Procedure 

A local or non-local procedure may be generic.

generic
   type t is private;
procedure switch (a, b: in out t); 
                        -- Ada Generic Procedure 

A local or non-local procedure may be abstract.

procedure Put(val : in abs_type) is abstract; 
                              --Ada Abstract Procedure 

Scientific Toolworks, Inc.
http://www.scitools.com