DEFINITION MODULE IEEE;
(*========================================================================*)
(* HINWEIS : Bitte nur die Datei IEEE.def.m2pp editieren *)
(*========================================================================*)
(* Es sind 2 Versionen enthalten die mit *)
(* *)
(* m2pp -D __{Parameter}__ < IEEE.mod.m2pp > IEEE.mod *)
(* *)
(* mit Parameter = {LITTLEENDIAN|BIGENDIAN} erzeugt werden koennen. *)
(* *)
(* There are two version contained, one for little and one for big endian *)
(* machines which can be produced by the m2pp command line given above *)
(*------------------------------------------------------------------------*)
(* IEEE positive infinity (NAN) and infinity (INF) constants for *)
(* IEEE 754 machines. *)
(*------------------------------------------------------------------------*)
(* Implementation : Michael Riedl *)
(* Licence : GNU Lesser General Public License (LGPL) *)
(*------------------------------------------------------------------------*)
(* $Id: IEEE.def.m2pp,v 1.1 2018/05/26 16:35:35 mriedl Exp mriedl $ *)
FROM SYSTEM IMPORT CARDINAL8;
TYPE LongReal = RECORD
CASE : BOOLEAN OF
|TRUE : C8 : ARRAY [0..7] OF CARDINAL8;
|FALSE: R8 : LONGREAL;
END;
END;
PROCEDURE IsLittleEndian() : BOOLEAN;
(*---------------------------------------------------------------*)
(* Returns true if machine is little endian, false otherwise *)
(*---------------------------------------------------------------*)
END IEEE.