comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: An alternative to Unchecked Conversion
Date: 1999/12/23
Date: 1999-12-23T00:00:00+00:00	[thread overview]
Message-ID: <83sb9a$r3t$1@nnrp1.deja.com> (raw)
In-Reply-To: x7vvh5twpzs.fsf@pogner.demon.co.uk

In article <x7vvh5twpzs.fsf@pogner.demon.co.uk>,
  Simon Wright <simon@pogner.demon.co.uk> wrote:
> > >     X : TEST_TYPE;
> > >     Y : TEST_TYPE;
> > >     Y_Address : constant Address := Y'Address;
> > >     For X'Address  Use Y_Address;
> >
> > Tried this and got
> >
> >    9|   Y_ADDR : Constant ADDRESS := Y'Address;
> > test.ada:10:1:
> >   10|   For X'Address Use Y_ADDR;
> >         ^1
> > ***  1 Error 3208: This length representation clause does
not specify a
> > legal
> > ***     attribute (RM83 13.2 (3))


Read the RM, and follow the rule there! The above code clearly
does NOT follow this rule!


Sent via Deja.com http://www.deja.com/
Before you buy.




  reply	other threads:[~1999-12-23  0:00 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1999-12-16  0:00 An alternative to Unchecked Conversion Tom_Hargraves
1999-12-16  0:00 ` Mark A Biggar
1999-12-16  0:00 ` Matthew Heaney
1999-12-16  0:00   ` Tom Hargraves
1999-12-16  0:00     ` DuckE
1999-12-16  0:00     ` Matthew Heaney
1999-12-17  0:00       ` Lutz Donnerhacke
1999-12-17  0:00         ` Matthew Heaney
     [not found]     ` <mhrj5s4qckk7rt1j3pu0s3r438e281pu37@4ax.com>
1999-12-17  0:00       ` Simon Wright
     [not found]         ` <g9rr5s84eeov4vvp2v9v70jo9b5uporm0v@4ax.com>
1999-12-20  0:00           ` Simon Wright
1999-12-23  0:00             ` Robert Dewar [this message]
1999-12-18  0:00       ` Rex Reges
1999-12-18  0:00         ` Matthew Heaney
1999-12-19  0:00         ` Robert Dewar
1999-12-20  0:00     ` Charles H. Sampson
1999-12-16  0:00   ` Richard D Riehle
1999-12-17  0:00     ` Ted Dennison
1999-12-17  0:00       ` Richard D Riehle
1999-12-16  0:00 ` Jeff Creem
replies disabled

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