Re: Load an object from a file

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Georg Bauhaus wrote on comp.lang.ada:
> Olivier Scalbert schrieb:
>
> > Thanks Ludovic,
>
> > One more question:
>
> > with:
> >     type u2 is new Integer;
> >     type cp_info is new Integer;
>
> >     type Constant_Pool_Array is array (Positive range <>) of cp_info;
> >     type Interfaces_Array is array (Positive range <>) of u2;
>
> Make the index type the same as the type in the disciminant,
> that is, u2.
>
>    type Constant_Pool_Array is array (u2 range <>) of cp_info;
>    type Interfaces_Array is array (u2 range <>) of u2;
>
> since U2 is the type of the discriminants used in providing
> the array bounds.
>
> In fact, very likely the type U2 is range 0 .. Something, with
> Java's integer type semantics regarding overflow and wrap
> around.  Perhaps it is a good idea to express this in Ada
> for U2 as well.

Right; in fact, Java's u2 probably corresponds to

type u2 is mod 2 ** 32; -- or perhaps 64?

--
Ludovic Brenta.