Limited Type Access - Again

Limited Type Access - Again

[ANH_VO]

Thanks all for your response, specially Mark and Matt.

Here comes the next question

type Object is 
    record
        Sem : Binary_Access;
   end record;

Obj_1 : Object;
Obj_2 : Object;

if Obj_1 /= Obj_2  then
   Obj_1 := Obj;
end if;

This is equivalent to

if Obj_1.Sem /= Obj_1.Sem then
   Obj_1.Sem := Obj_2.Sem;
end if;

It looks to me that equality and assignment do not make sense at all. 

Anh Vo

Re: Limited Type Access - Again

[Matthew Heaney]

<ANH_VO@udlp.com> wrote in message
news:mailman.1004389122.4372.comp.lang.ada@ada.eu.org...
> It looks to me that equality and assignment do not make sense at all.

I don't understand your objection.  The default equality operator for record
types is defined as the conjunction of equality of all the record
components.  What behavior were you expecting?

Re: Limited Type Access - Again

[Mark Lundquist]

Hi Anh,

<ANH_VO@udlp.com> wrote in message
news:mailman.1004389122.4372.comp.lang.ada@ada.eu.org...
> Thanks all for your response, specially Mark and Matt.
>
> Here comes the next question
>
> type Object is
>     record
>         Sem : Binary_Access;
>    end record;
>
> Obj_1 : Object;
> Obj_2 : Object;
>
> if Obj_1 /= Obj_2  then
>    Obj_1 := Obj;
> end if;
>
> This is equivalent to
>
> if Obj_1.Sem /= Obj_1.Sem then
>    Obj_1.Sem := Obj_2.Sem;
> end if;
>
> It looks to me that equality and assignment do not make sense at all.

Well, they've always made sense before... :-)

It sounds like you're thinking that while the two examples above are
equivalent, the first one is legal while the second is not.  But the second
example is perfectly legal -- Binary_Access (from the example in your
earlier post) is just an access type, which is non-limited, so there's
nothing wrong with the second example.

???

-- mark