Re: S'Is_nan or S'Is_inf?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Thu, 15 Jul 2010 23:07:51 +0100, Simon Wright wrote:

> Warren <ve3wwg@gmail.com> writes:
> 
>> Is there any is not-a-number or is-infinity test support in Ada05+
>> (for floats)?  Is there any being planned?

with Ada.Text_IO;  use Ada.Text_IO;
procedure IEEE is -- Only if Float is IEEE!
   Zero : Float := 0.0;
   Inf  : Float := 1.0 / Zero;
   NaN  : Float := 0.0 / Zero;
begin
   Put_Line ("Valid    " & Boolean'Image (Inf'Valid));
   Put_Line ("In range " & Boolean'Image (Inf <= Float'Last));
   Put_Line ("Self NaN " & Boolean'Image (NaN = NaN));
end IEEE;

On an IEEE machine it could print 3x FALSE.

> With GNAT, using a subtype
> 
>    subtype Checked_Float is Float range Float'Range;
> 
> will give you a Constraint_Error for NaN or +/-Inf.

Yes, one of the reasons not to use built-in types is that the floating
point ones most likely are IEEE with all nasty consequences.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de