Re: Top 10 Language Constructs (Ada)

[David Kristola <David95037@See-My.Sig>]

On Tue, 25 Jul 2000 7:47:13 -0700, Dr. Joachim Schr�er wrote
(in message <8lk9hm$s21@newsserv.vs.dasa.de>):

> Keith Thompson <kst@cts.com> schrieb in im Newsbeitrag: 
> yec1z0m29bg.fsf@king.cts.com...
>> "Dr. Joachim Schr�er" <joachim.schroeer@vs.dasa.de> writes:
>> [...]
>>> type Plasma_Volts_Type is delta 2.0**(-13) range -4.0 .. 4.0 - 2.0**(-13);
>>> for Plasma_Volts_Type'Size use 16;
>>> 
>>> And if the required range and the 'delta allow 'delta < 'small you have to
>>> write a rep-clause for 'small like:
>>> 
>>> for Plasma_Volts_Type'Small use 2.0**(-13);
>> 
>> Or better yet:
>> 
>> for Plasma_Volts_Type'Small use Plasma_Volts_Type'Delta;
> 
> At least with GNAT 3.12p this statement does not compile. The error message 
> is:
> 
> testfixpoint.adb:9:01: representation item appears too late 
> testfixpoint.adb:9:01: warning: no more representation items for type 
> "Plasma_Volts_Type" defined at line 7
> 
> Joachim Schr�er
> 

Rational Apex says pretty much the same thing.  As specified, i'm
pretty sure every possible bit pattern within the 16 bit field
is a valid Plasma_Volts_Type.  Not that it matters much, as per
other requirements, the only value i can output is 0.0, which
properly maps to all bits being zero.


-- 
--djk, keeper of arcane lore & trivial fluff
Home: David95036 plus 1 at america on-line
Spam: goto.hades@welovespam.com