Ada Instance and Instanceof Kinds |
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 |