comp.lang.ada
 help / color / mirror / Atom feed
From: "REH" <spamjunk@stny.rr.com>
Subject: Re: aliased and parameters
Date: 31 Jul 2006 12:59:27 -0700
Date: 2006-07-31T12:59:27-07:00	[thread overview]
Message-ID: <1154375967.436675.116640@h48g2000cwc.googlegroups.com> (raw)
In-Reply-To: <1154373975.951370.77770@b28g2000cwb.googlegroups.com>


REH wrote:
> Great!  Can I use that on a subprogram parameter.  Like this?
>
> procedure Foo(X : out Integer) is
>   pragma Volatile(X);
> begin
> ...
>
> REH

No dice.  The compiler says the above volates 13.14(19) of the standard
(A representation item cannot be specified for an entity that has
already been frozen)

I think I can do this, though:

type Header_Type is ...
pragma Volatile(Header_Type);

procedure Foo(Hdr : out Header_Type) is ...


REH




  reply	other threads:[~2006-07-31 19:59 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-07-31 18:05 aliased and parameters REH
2006-07-31 18:37 ` Jeffrey R. Carter
2006-07-31 19:02   ` REH
     [not found]     ` <1154373046.777655.292010@m79g2000cwm.googlegroups.com>
2006-07-31 19:26       ` REH
2006-07-31 19:59         ` REH [this message]
2006-07-31 21:52     ` Björn Persson
2006-08-01  0:35       ` REH
2006-08-01  1:31     ` Jeffrey R. Carter
2006-08-01  2:28       ` REH
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox