Re: Generic abstract procedures

[lutz@iks-jena.de (Lutz Donnerhacke)]

* Matthew Heaney wrote:
>(Lutz Donnerhacke) wrote:
>> Does anybody knows a solution other than derivating the actual collection
>> from an abstract tagged type? Obviously I failed with a dumb generic attempt.
>
>What exactly are you trying to do?  It is certainly not obvious from
>your post.

I'm going to implement a Iterator pattern.
A class like approach requires the following code:

  type My_Item_Type is new Item_Type with record
    item: Real_Item_Type;
  end record;
  
  type My_Collection_Type is new Collection_Type with record
    collection: Real_Collection_Type;
  end record;
  
  type My_Iterator(c: access My_Collection_Type) is
  new Iterator_Type(Collection_Type(c.all)'Access) with record
    state: ...;
  end record;

followed by some overloaded functions to catch all the abstract functions of
the type <SeeAbove>_Type is abstract tagged limited null record;

The generic approach is able to provide a much simpler interface. I have to
test how a generic package can be used to generate the Types above.

My question is: Does anybody already solved such a problem in an elegant way?