DEBUG

This structures defines a side-effect print for debugging purposes. Do never use these functions to produce output -- they might be removed or re-ordered by the optimizer. Better yet, forget about this structure.

Signature of DEBUG

List of Import References :
See BOOL
See Char
See DENOTATION
See Nat
See Option
See Seq
See String

SIGNATURE DEBUG[data]

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

IMPORT  String ONLY string

SORT data

If condition is true, evaluate the second argument and print it to standard error. Returns the third argument as result. If the message is not a constant, use the lazy variant, otherwise the message is always evaluated.

FUN PRINT : bool ** (() -> denotation) ** data -> data
    PRINT : bool ** (() -> string) ** data -> data

FUN PRINT  : bool ** denotation ** data -> data
    PRINT  : bool ** string ** data -> data

Similar. Print second argument to standard error, if first argument was given on the command line.

FUN PRINT : denotation ** (() -> denotation) ** data -> data
    PRINT : denotation ** (() -> string) ** data -> data

FUN PRINT  : denotation ** denotation ** data -> data
    PRINT  : denotation ** string ** data -> data

FUN FIELD? : denotation -> bool
/$ WARNING [FIELD?] deprecated - use new PRINT functions or args from ProcessArgs $/

next node: DEBUG,
prev node: Subsystem Debugging,
up to node: Subsystem Debugging