DEFINITION MODULE LongIO; (* Input and output of long real numbers in decimal text form over specified 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. *) (* *) (* LongIO is implemented by RealIO *) (* *) (****************************************************************) IMPORT RealIO; CONST ReadReal = RealIO.ReadReal; WriteFloat = RealIO.WriteFloat; WriteEng = RealIO.WriteEng; WriteFixed = RealIO.WriteFixed; WriteReal = RealIO.WriteReal; END LongIO.