Ada Typed and Typedby Kinds

Kind Name
Entity Performing Reference
Entity Being Referenced
Ada Typed
some_type
some_object
Ada Typedby
some_object
some_type
Ada Typed Implicit
integer
gen_func
Ada Typedby Implicit
my_func
integer
Ada Type Convert
some_proc
A_Form
Ada Type Convertby
A_Form
some_proc

Typed and Typedby reference kinds indicate that an object or component is of the specified type or that a function returns the specified type.

package some_pack is 
   type some_type is range 1..10; 
   some_object : some_type; 
end; 

Typed Implicit and Typedby Implicit reference kinds is used to specify the type of an entity where the entity type is not explicitly declared. Specifically, enumeration literals, types of instantiated functions, and loop parameters use this relation.

generic 
   type t is private; 
function gen_func return t; 
with gen_func; 
procedure some_proc is 
   function my_func is new gen_func(integer); 
begin 
   ... 
end; 

Type Convert and Type Convertby reference kinds indicate that a routine uses a type in a type conversion.

procedure some_proc is  
   type B_Form is new integer; 
   type A_Form is new B_Form; 
   X : A_Form;  
   Y : B_Form; 
begin 
   X := A_Form(Y); 
end; 

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