Re: Renaming Fixed Point Mutiplicative operator in Ada 95

[dewar@merv.cs.nyu.edu (Robert Dewar)]

John said

<<Are you suggesting that in the example given, if LEFT and RIGHT are both
100, you get no exception and are returned a valid value (i.e. in the
range -1000.0 to 1000.0?

If no exception is raised, how do you tell whether the limits of a types
range have been exceeded or not?
>>


No, of course he is not suggesting this, he is just being legalistic, if
you write

	x := a * b;

where all variables are the same fixed-point type, then technically and
formally, a * b cannot raise an exception, but it is indeed the case
that the following subtype conversion can raise an exception.

Of course if you write your own operator, this legalistic distinction
disappears, and in any case is completely irrelevant to the discussion!