DEFINITION MODULE Debug ; (* Description: provides some simple debugging routines. *) EXPORT QUALIFIED Halt, DebugString ; (* Halt - writes a message in the format: Module:Line:Message It then terminates by calling HALT. *) PROCEDURE Halt (Message: ARRAY OF CHAR; LineNo: CARDINAL; Module: ARRAY OF CHAR) ; (* DebugString - writes a string to the debugging device (Scn.Write). It interprets \n as carriage return, linefeed. *) PROCEDURE DebugString (a: ARRAY OF CHAR) ; END Debug.