MONITOR

This structure is intended to help debugging commands in programs which are based on OpalWin (see Subsystem Opal Windows). In contrast to DEBUG, this works without side-effects.

A separate window "MONITOR" is provided, on which arbitrary text can be printed by a command. The lines of text monitored are numbered.

Signature of MONITOR

List of Import References :
See BOOL
See Com
See DENOTATION
See Nat
See Option
See Seq
See Void

SIGNATURE MONITOR

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

IMPORT Void ONLY void
       Com[void] ONLY com

If boolean is true, generate monitor window. Should be called only once.

FUN genMonitor: bool -> com[void]

Add text to text displayed in monitor window. (Newline is automatically appended.) Only after a call of genMonitor(true) this has an effect.

FUN monitor: (() -> denotation) -> com[void]
FUN monitor: denotation -> com[void]

next node: SeqEntry,
prev node: MapEntryNE,
up to node: Subsystem Opal Window Additions