Re: Record representation

["Randy Brukardt" <randy@rrsoftware.com>]

"Martin Dowie" <martin.dowie@baesystems.com> wrote in message
news:40c6d3d1$1_1@baen1673807.greenlnk.net...
> Is there anything that could be done (quickly ;-) by the ARG for Ada200Y
to
> do something about this common pain in the *ss?
>
> package Record_Rep is
>
>    type A is record
>       I : Integer;
>    end record;
>    for A'Size use Integer'Size;
>
>    type Index is new Integer range 1 .. 10;
>
>    type AA is array (Index) of A;
>    for AA'Size use A'Size * Index'Last;  -- Not allowed!!!!!
>
> end Record_Rep;
>
> Surely the language could be made smart enough to support this? This can
be
> a real maintenance nightmare to change.

While I've had this problem myself, it occurs mainly because of an abuse of
the language (or not trusting compilers to do the right thing). The
important point is that 'Size on a composite type is not supposed to change
the sizes of the components (see 13.3(53)), so it really only can be a
confirming specification - not very interesting. Hardly worth changing the
language over.

When I've had this problem, I'll generally declare appropriate constants:

package Record_Rep is

   type A is record
      I : Integer;
   end record;
   A_SIZE : constant := Integer'Size; -- Usually more complex than this!
   for A'Size use A_SIZE;

    type Index is new Integer range 1 .. 10;

    type AA is array (Index) of A;
    for AA'Size use A_SIZE * Index'Last;  -- Fine.

end Record_Rep;

                    Randy.