Re: Universal type

[Georg Bauhaus <bauhaus+rm.tsoh@maps.futureapps.de>]

On Fri, 2007-08-03 at 11:28 -0700, shaunpatterson@gmail.com wrote:
> I'm looking to store different kinds of objects into a vector, queue,
> etc
> 
> In Java, everything is derived from Object.  Is there something
> similar
> in Ada?  I'd like to be able to store Integers, booleans, etc, as
> well
> as custom defined objects.

While I agree with Dmitry and Maciej (that there must be
a reason that Java now has generic containers), if you still
wanted containers to hold objects of types derived from Object,
you could do just the same thing that Java does, and define
an all-emcompassing parent type.

In fact, two Ada compilers do exactly this for running Ada
programs in a JVM. The "Object" type in the RTL of one of
these compilers is

    type Object is tagged limited null record;
    type Object_Ptr is access all Object'Class;

    function hashCode(Obj : access Object) return Integer;

    -- see java.lang.Object_ops package for rest of
    -- "Object" abstraction

Package Object_ops starts

    function getClass(Obj : access Object'Class) return Class_Ptr;

    function toString(Obj : access Object'Class) return String_Ptr;
    function "="(Left: Object'Class; Right : Object'Class) return
Boolean;

    procedure notify(Obj : access Object'Class);

    ...

Since Java objects stored in containers are really references to
heap allocated objects, you would be doing the same using
access values in Ada.