Ada Declare and Declarein Kinds

Kind Name
Entity Performing Reference
Entity Being Referenced
Ada Declare
some_pack
some_obj
Ada Declarein
some_obj
some_pack
Ada Declare Body
some_pack
some_proc
Ada Declarein Body
some_proc
some_pack
Ada Declare Body File
some_file
some_pack
Ada Declarein Body File
some_pack
some_file
Ada Declare Formal
gen_pack
item
Ada Declarein Formal
item
gen_pack
Ada Declare Incomplete
some_pack
item
Ada Declarein Incomplete
item
some_pack
Ada Declare Instance
some_proc
my_pack
Ada Declarein Instance
my_pack
some_proc
Ada Declare Instance File
some_file
my_pack
Ada Declarein Instance File
my_pack
some_file
Ada Declare Private
line 2: some_pack
line 2: t
Ada Declarein Private
line 2: t
line 2: some_pack
Ada Declare Spec
some_pack
some_proc
Ada Declarein Spec
some_proc
some_pack
Ada Declare Spec File
some_pack
some_proc
Ada Declarein Spec File
some_proc
some_pack
Ada Declare Stub
some_pack and some_proc
some_proc and param1
Ada Declarein Stub
some_proc and param1
some_pack and some_proc

Declare and Declarein reference kinds indicate that an entity declares a non program unit entity.

package some_pack is 
   some_obj : integer; 
end; 

Declare Body and Declarein Body reference kinds indicate that an entity declares a program unit body or a parameter in a subprogram body.

package body some_pack is 
   procedure some_proc is 
   begin 
      null; 
   end; 
end; 

Declare Body File and Declarein Body File indicate a file declares a program unit body. Note that for separate subunits, there will be a Declare Body relation from the parent unit to the subunit and a Declare Body File relation from the file to the subunit. These relations represent the logical and physical declaration structures.

some_file contains 
  package body some_pack is 
end; 

Declare Formal and Declarein Formal reference kinds indicate that an entity declares a generic formal parameter.

generic 
   type item is private; 
package gen_pack is 
   ... 
end; 

Declare Incomplete and Declarein Incomplete reference kinds indicate that an entity declares an incomplete type.

package some_pack is 
type item; 
   ... 
end; 

Declare Instance and Declarein Instance reference kinds indicate that an entity declares an instance of a generic.

generic 
package gen_pack is 
   ... 
end; 
 
with gen_pack; 
procedure some_proc is 
   package my_pack is new gen_pack; 
begin 
   null; 
end; 

Declare Private and Declarein Private reference kinds indicate a declaration of a private type that occurs in the private part of a package specification.

 1   package some_pack is 
 2      type t is private; 
 3   private 
 4      type t is new integer; 
 5   end; 

Declare Spec and Declarein Spec reference kinds indicate that an entity declares a program unit spec.

package some_pack is 
   procedure some_proc; 
end; 

Declare Spec File and Declarein Spec File reference kinds indicate that a file entity declares a program unit spec.

some_file contains 
   package some_pack is 
   end; 

Declare Stub and Declarein Stub reference kinds indicate that an entity declares a program unit stub or a parameter in a subprogram stub.

package body some_pack is 
   procedure some_proc(param1 : integer) is separate; 
end; 

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