Ada Instance and Instanceof Kinds

Kind Name
Entity Performing Reference
Entity Being Referenced
Ada Instance
my_pack
gen_pack
Ada Instanceof
gen_pack
my_pack
Ada Instance Copy
my_pack.nested_proc
gen_pack.nested_proc
Ada Instanceof Copy
gen_pack.nested_proc
my_pack.nested_proc
Ada InstanceActual
my_pack
integer
Ada InstanceActualfor
integer
my_pack
Ada InstanceParamFormal
integer
t
Ada InstanceParamFormalfor
t
integer

Instance and Instanceof references indicate that an instantiated entity is an instance of a generic entity.

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

Instance Copy and Instanceof Copy references indicate that an entity was created as a copy of an entity in a generic package.

At the point of an instantiation, a copy of each entity declared inside the generic is created. These entities are linked to the corresponding entity in the generic with an "instanceof copy" relation.

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

InstanceActual and InstanceActualfor references indicate that an entity was used as an actual parameter in a generic instantiation.

generic 
   type t is (<>); 
package gen_pack is 
   ... 
end; 
with gen_pack; 
package my_pack is new gen_pack(integer); 

InstanceParamFormal and InstanceParamFormalfor references links generic formal and actual parameters.

generic 
   type t is (<>); 
package gen_pack is 
   ... 
end; 
with gen_pack; 
package my_pack is new gen_pack(integer); 

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