Re: class wide object in generic package

["Ehud Lamm" <mslamm@huji.ac.il>]

"Stephen Leake" <stephen_leake@acm.org> wrote in message
news:wkelffffuy.fsf@acm.org...
> Thomas Maier-Komor <maierkom@rcs.ei.tum.de> writes:
>
>
> If you want dispatching, you'll have to use a generic formal package
> parameter:
>
> generic
>    package Object_Package is new Generic_Obj_Package (...);
> package generic_pac ...
>

It seems to me you want as a generic paramter any type that has the Eval
operation.
So you can define a parent type having this operation (say an abstract type
called Evalable).
Now you can define the generic

with Evalable_Pak;
generic
    type My_Evalable is new Evalable_Pak.Evalable with private;
....

My_Evalable will have a primitive Eval operation.

(Hope I am not making a fool of myself here. I confess not compiling a real
example.)

Ehud Lamm
(Stay tuned to the results of the Ada-Europe'2002 Workshop on a Standard
Container Library for Ada!)