-- and Empty if it is not dynamically tagged.
function Find_Dispatching_Type (Subp : Entity_Id) return Entity_Id;
- -- Check whether a subprogram is dispatching, and find the tagged
- -- type of the controlling argument or arguments.
+ -- Check whether a subprogram is dispatching, and find the tagged type of
+ -- the controlling argument or arguments. Returns Empty if Subp is not a
+ -- dispatching operation.
function Find_Primitive_Covering_Interface
(Tagged_Type : Entity_Id;
-- associated with the partial view of private types when processing the
-- corresponding full view. If the entity is not found then search for it
-- in the list of primitives of Tagged_Type. This latter search is needed
- -- when the interface primitive is covered by a private subprogram.
+ -- when the interface primitive is covered by a private subprogram. If the
+ -- primitive has not been covered yet then return the entity that will be
+ -- overriden when the primitive is covered (that is, return the entity
+ -- whose alias attribute references the interface primitive). If none of
+ -- these entities is found then return Empty.
+
+ type Subprogram_List is array (Nat range <>) of Entity_Id;
+ -- Type returned by Inherited_Subprograms function
+
+ function Inherited_Subprograms (S : Entity_Id) return Subprogram_List;
+ -- Given the spec of a subprogram, this function gathers any inherited
+ -- subprograms from direct inheritance or via interfaces. The list is
+ -- a list of entity id's of the specs of inherited subprograms. Returns
+ -- a null array if passed an Empty spec id. Note that the returned array
+ -- only includes subprograms and generic subprograms (and excludes any
+ -- other inherited entities, in particular enumeration literals).
function Is_Dynamically_Tagged (N : Node_Id) return Boolean;
-- Used to determine whether a call is dispatching, i.e. if is an