Re: What's wrong with this code?

[dennison@telepath.com]

In article <7fi85m$sb3$1@nnrp1.dejanews.com>,
  okellogg@my-dejanews.com wrote:
> Dear colleagues:
>
> I can't find what wrong with this code (see full declaration of type Alarm.)
> Perhaps someone would like to comment?

>     type Alarm is tagged limited
>         record
>             -- This compiles alright:
>             Semaphore : Alarm_Semaphore (Alarm'Access);
>
>             -- But here, GNAT 3.11p says:
>             --  "Access" attribute cannot be applied to type
>             Alarm_State_Pool : Alarm_State_Pool_At :=
>                (Snafu => new Snafu_State (Alarm'Access),
>                 Data => new Data_State (Alarm'Access),
>                 Proposal => new Proposal_State (Alarm'Access));
>
>         end record;
>
> end Alarm_Model;

That's probably because 'Access can't be applied to a type. :-)

What is it you are trying to accomplish with Alarm'Access? Surely you don't
want a pointer into the compiler's type table for "Alarm", which is about the
only thing this could mean. Perhaps you are hoping to automaticly get a
pointer to the *object* in question when you create objects of this type?

The contexts under which 'Access may be used are listed in Annex K of the LRM
( http://www.adahome.com/rm95/rm9x-K.html ). Its prefix may be a subprogram,
object, or label.

--
T.E.D.

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own