Re: Obtaining access to protected object

[Adam Beneschan <adam@irvine.com>]

On Jul 8, 1:41 pm, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
> Consider 9.4-21/2:
>
> "Within the declaration or body of a protected unit other than in an
> access_definition, the name of the protected unit denotes the current
> instance of the unit"
>
> I understand that this allows me to obtain the access to the current
> object (the "this" access) of the protected object.
> Let's try:
>
>    protected type P is
>       procedure Foo;
>    end P;
>
>    protected body P is
>       procedure Foo is
>          Ptr : access P;   -- P denotes the type P
>       begin
>          Ptr := P'Access;    -- here P denotes the "this" instance of
> P
>       end;
>    end P;
>
> This is what GNAT has to say about it: ""Access" attribute cannot be
> applied to type".
> As far as I understand, this is in conflict with the AARM paragraph
> mentioned above.
>
> Am I doing something wrong or is it a compiler bug?

It's a compiler bug.

                        -- Adam