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.