DEFINITION MODULE TextUtil ; (* Description: provides text manmipulation routines. *) IMPORT IOChan ; (* SkipSpaces - skips any spaces. *) PROCEDURE SkipSpaces (cid: IOChan.ChanId) ; (* CharAvailable returns TRUE if IOChan.ReadResult is notKnown or allRight. *) PROCEDURE CharAvailable (cid: IOChan.ChanId) : BOOLEAN ; (* EofOrEoln returns TRUE if IOChan.ReadResult is endOfLine or endOfInput. *) PROCEDURE EofOrEoln (cid: IOChan.ChanId) : BOOLEAN ; END TextUtil.