Ada Typed and Typedby Kinds |
Typed and Typedby reference kinds indicate that an object or component is of the specified type or that a function returns the specified type.
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 |