From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: GNAT 4.4.5 Record Bit_Order Endian issues
Date: Mon, 21 Jan 2013 22:14:17 -0700
Date: 2013-01-21T22:14:17-07:00 [thread overview]
Message-ID: <kdl77a$2pe$1@dont-email.me> (raw)
In-Reply-To: <854ni9c319.fsf@stephe-leake.org>
On 01/21/2013 08:21 PM, Stephen Leake wrote:
>
> 2/2
> R.C'Position
>
> {AI95-00133-01AI95-00133-01} If the nondefault bit
> ordering applies to the composite type, and if a
> component_clause specifies the placement of C, denotes
> the value given for the position of the
> component_clause; otherwise, denotes the same value as
> R.C'Address - R'Address. The value of this attribute is
> of the type universal_integer.
>
> Note the 'otherwise'; that's means the value is R.C'Address - R'Address
> only if position is _not_ specified in a rep clause.
No. This says
if A and B then
D;
else
E;
end if;
A = "the nondefault bit ordering applies to the composite type"
B = "a component_clause specifies the placement of C"
D = "denotes the value given for the position of the component_clause"
E = "denotes the same value as R.C'Address - R'Address"
The negation of "A and B" is "not A or not B". Thus E holds when the default bit
ordering applies, even if the position is specified.
--
Jeff Carter
"To Err is human, to really screw up, you need C++!"
Stéphane Richard
63
next prev parent reply other threads:[~2013-01-22 5:14 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-01-22 3:21 GNAT 4.4.5 Record Bit_Order Endian issues Stephen Leake
2013-01-22 5:14 ` Jeffrey Carter [this message]
2013-01-23 1:29 ` Stephen Leake
2013-01-22 22:40 ` Randy Brukardt
2013-01-23 1:38 ` Stephen Leake
2013-01-23 10:58 ` Simon Wright
-- strict thread matches above, loose matches on Subject: below --
2013-01-14 17:43 awdorrin
2013-01-15 0:38 ` Randy Brukardt
2013-01-15 1:57 ` Adam Beneschan
2013-01-15 16:57 ` AdaMagica
2013-01-15 22:24 ` Stephen Leake
2013-01-16 10:44 ` Simon Wright
2013-01-16 19:00 ` AdaMagica
2013-01-16 21:34 ` Simon Wright
2013-01-16 23:14 ` Randy Brukardt
2013-01-17 3:49 ` Stephen Leake
2013-01-17 15:32 ` awdorrin
2013-01-18 9:49 ` Stephen Leake
2013-01-18 13:04 ` Robert A Duff
2013-01-19 1:43 ` Stephen Leake
2013-01-19 12:48 ` AdaMagica
2013-01-22 0:14 ` Randy Brukardt
2013-01-17 17:28 ` Simon Wright
2013-01-18 9:56 ` Stephen Leake
2013-01-17 18:04 ` awdorrin
2013-01-17 19:50 ` awdorrin
2013-01-18 9:58 ` Stephen Leake
2013-01-17 20:58 ` Simon Wright
2013-01-17 21:29 ` awdorrin
2013-01-17 22:16 ` awdorrin
2013-01-18 6:15 ` J-P. Rosen
2013-01-18 15:28 ` Niklas Holsti
2013-01-18 9:37 ` Stephen Leake
2013-01-18 12:24 ` awdorrin
2013-01-18 15:11 ` awdorrin
2013-01-19 1:48 ` Stephen Leake
2013-01-18 17:19 ` Simon Wright
2013-01-22 9:49 ` quinot
2013-01-28 13:39 ` quinot
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox