Re: Renaming of procedures in a generic instantiation

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 09/25/2010 11:54 PM, Niklas Holsti wrote:
>
> No doubt you have already found a solution for Is_Empty, but anyway here
> is what I would do:
>
> function Is_Empty (Q : Queue) return Boolean
> is
> begin
> return Queues.Is_Empty (Queues.Set (Q));
> end Is_Empty;

Or change the name of the operation (Empty comes to mind). I would probably use 
a wrapper record:

type Queue_Handle is
    Value : Queues.Set;
end record;

procedure Put (Onto : in out Queue_Handle; Item : in Integer) is
    -- null;
begin -- Put
    Onto.Insert (New_Item => Item);
end Put;

function Is_Empty (Queue : in Queue_Handle) is
    -- null;
begin -- Is_Empty
    return Queue.Value.Is_Empty;
end Is_Empty;

-- 
Jeff Carter
"We'll make Rock Ridge think it's a chicken
that got caught in a tractor's nuts!"
Blazing Saddles
87