Re: Using renaming declarations to make private subprograms visible

[Jeffrey Carter <jrcarter@acm.org>]

Matthew Woodcraft wrote:
> 
> Now suppose that (for the moment), I want to implement this type using
> an unbounded string. I can make Token_Type a derived type of
> Unbounded_String, and use renaming declarations to make some of the
> 'inherited' subprograms publicly visible:
> 
> private
> 
>    type Token_Type is new Ada.Strings.Unbounded.Unbounded_String;
> 
>    function To_Token (Source : String) return Token_Type
>      renames To_Unbounded_String;
> 
>     -- No good
>    function To_String (Source : Token_Type) return String
>      renames To_String;

This compiles with GNAT 3.13p:

   function Convert_To_String (Source : Token_Type) return String
      renames To_String;

   function To_String (Source : Token_Type) return String
      renames Convert_To_String;

-- 
Jeff Carter
"I wave my private parts at your aunties."
Monty Python & the Holy Grail