DEFINITION MODULE TextUtil ; (* Description: provides text manmipulation routines. *) IMPORT IOChan ; (* SkipSpaces - skips any spaces. *) PROCEDURE SkipSpaces (cid: IOChan.ChanId) ; (* The following procedures do not read past line marks. *) PROCEDURE CharAvailable (cid: IOChan.ChanId) : BOOLEAN ; PROCEDURE EofOrEoln (cid: IOChan.ChanId) : BOOLEAN ; END TextUtil.