Re: Limited Type Access

["Matthew Heaney" <mheaney@on2.com>]

<ANH_VO@udlp.com> wrote in message
news:mailman.1004379225.31568.comp.lang.ada@ada.eu.org...
> Greeting,
>
> I could not figure out why the codes below compiled without any error. My
> thought was that access type of a limited type is considered limited.

You may be confusing access types with array (really, "composite") types.
An array type whose component type is limited is itself limited.

An access type is always nonlimited, irrespective of the limitedness of the
designated type.

> Therefore,
> Object type must be limited because its component is limited. What did I
miss?

A record type containing a limited component is itself limited -- just like
for arrays.  A record type containing with only nonlimited components is
nonlimited.  However, in either case you are of course free to explicitly
declare a record type as limited:

    type Object is
       limited record
          Sem : Binary_Access;
       end record;


One of Bob Duff's ideas was to be able to declare array types as limited,
like this:

   type Limited_Array is limited array (Positive range <>) of Integer;
  --not legal Ada syntax