DEFINITION MODULE LongIO; (* ISO 10514-1: LONGREAL I/O over an IOChan channel. V3's IOChan is the channel abstraction; the text form is built with LongStr. *) IMPORT IOChan; PROCEDURE ReadReal (cid : IOChan.ChanId; VAR real : LONGREAL); PROCEDURE WriteFloat (cid : IOChan.ChanId; real : LONGREAL; sigFigs : CARDINAL; width : CARDINAL); PROCEDURE WriteEng (cid : IOChan.ChanId; real : LONGREAL; sigFigs : CARDINAL; width : CARDINAL); PROCEDURE WriteFixed (cid : IOChan.ChanId; real : LONGREAL; place : INTEGER; width : CARDINAL); PROCEDURE WriteReal (cid : IOChan.ChanId; real : LONGREAL; width : CARDINAL); END LongIO.