DEFINITION MODULE SLongIO;
(* Input and output of long real numbers in decimal text form using default channels.
The read result is of the type IOConsts.ReadResults.
*)
(* The text form of a signed fixed-point real number is
["+"|"-"], decimal digit, {decimal digit}, [".", {decimal digit}] *)
(* The text form of a signed floating-point real number is
signed fixed-point real number,
"E", ["+"|"-"], decimal digit, {decimal digit} *)
(****************************************************************)
(* *)
(* GPM defines LONGREAL as a type alias of REAL so no *)
(* seperate implementation is required. *)
(* *)
(* SLongIO is implemented by SRealIO *)
(* *)
(****************************************************************)
IMPORT SRealIO;
CONST
ReadReal = SRealIO.ReadReal;
WriteFloat = SRealIO.WriteFloat;
WriteEng = SRealIO.WriteEng;
WriteFixed = SRealIO.WriteFixed;
WriteReal = SRealIO.WriteReal;
END SLongIO.