Question on fixed point range constraints

Question on fixed point range constraints

[cis.ohio-state.edu!math.ohio-state.edu!magnus.acs.ohio-state.edu!csn!news]

I'm trying to create a fixed point type without narrowly
constraining its range. I'd like to use an attribute for
this. Can anyone suggest a way to do this?


i.e  I do not want to do this:

type Velocity is delta 0.01 range -1.0 .. 1.0;

I'd like to do something like this;

type Velocity is delta 0.01 range ?'small .. ?'large;

Re: Question on fixed point range constraints

[Robert I. Eachus]

In article <1993Jul20.174520.2243@iplmail.orl.mmc.com> kcronin@orl.mmc.com  wri
tes:

   > I'm trying to create a fixed point type without narrowly
   > constraining its range. I'd like to use an attribute for this.
   > Can anyone suggest a way to do this?

   Sure:

   type Velocity is delta 0.01 range 
       Integer'POS(Integer'FIRST) * 0.01..Integer'POS(Integer'LAST) * 0.01;

   The "trick" behind this is that 'POS returns universal_integer so
the two bounds are of type universal real.  Since they the bounds are
static, they will be evaluated exactly.  Of course if you want the
size of your type to be other than the size of Integer, use another
static integer type.


--

					Robert I. Eachus

with Standard_Disclaimer;
use  Standard_Disclaimer;
function Message (Text: in Clever_Ideas) return Better_Ideas is...