DEFINITION MODULE StringChan ; (* Description: provides a set of Channel and String input and output procedures. *) FROM DynamicStrings IMPORT String ; IMPORT IOChan; (* writeString - writes a string, s, to ChanId, cid. The string, s, is not destroyed. *) PROCEDURE writeString (cid: IOChan.ChanId; s: String) ; (* writeFieldWidth - writes a string, s, to ChanId, cid. The string, s, is not destroyed and it is prefixed by spaces so that at least, width, characters are written. If the string, s, is longer than width then no spaces are prefixed to the output and the entire string is written. *) PROCEDURE writeFieldWidth (cid: IOChan.ChanId; s: String; width: CARDINAL) ; END StringChan.