Re: Subprogram Renaming

[ncohen@watson.ibm.com (Norman H. Cohen)]

In article <DprxrI.Dp3@world.std.com>, bobduff@world.std.com
(Robert A Duff) writes: 

|> Why not just: 
|>
|>       procedure Remove_All (Stack: in out Stack_Type)
|>          renames Inner.Remove_All;
|>
|> ?

That won't work.  Inner.Remove_All has a Stack_Parent_Type parameter, not
a Stack_Type parameter.  The derived-type declaration for Stack_Type
itself must be in the outer declarative region, where the private type
declaration is.  Thus the subprogram being renamed is not the one
declared in the inner package, but the one derived from that in the outer
package.

    package Integer_Stacks is
       type Stack_Type is private;
       ...

       procedure Remove_All (Stack: in out Stack_Type);

    private

       package Inner is
          type Stack_Parent_Type is new Integer_Dequeues.Dequeue_Type;
          procedure Parent_Remove_All
             (Stack: Stack_Parent_Type) renames Remove_All;
             ...
       end Inner;

       type Stack_Type is new Inner.Stack_Parent_Type;

       procedure Remove_All (Stack: in out Stack_Type)
          renames Parent_Remove_All;
          -- Inherited from Inner.Remove_All

    end Integer_Stacks;

--
Norman H. Cohen    ncohen@watson.ibm.com