Ada Declare and Declarein Kinds |
Declare and Declarein reference kinds indicate that an entity declares a non program unit entity.
Declare Body and Declarein Body reference kinds indicate that an entity declares a program unit body or a parameter in a subprogram body.
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.
Declare Formal and Declarein Formal reference kinds indicate that an entity declares a generic formal parameter.
Declare Incomplete and Declarein Incomplete reference kinds indicate that an entity declares an incomplete type.
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.
Declare Spec and Declarein Spec reference kinds indicate that an entity declares a program unit spec.
Declare Spec File and Declarein Spec File reference kinds indicate that a file entity declares a program unit spec.
Declare Stub and Declarein Stub reference kinds indicate that an entity declares a program unit stub or a parameter in a subprogram stub.
Scientific Toolworks, Inc. http://www.scitools.com |