ComCheckWin

This structure contains a definition of a alternative for the check command from ComCheck.

If a command fails, a window pops up with the message, and the user may continue (at his/her own risk) or abort as usual.

Signature of ComCheckWin

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

SIGNATURE ComCheckWin

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

IMPORT Void ONLY void
       Com[void] ONLY com

Popup a window with the message and three buttons:

Dismiss

delete the window and continue

Continue

continue, but do not delete the window

Abort

abort execution

FUN check: com[void] -> com[void]
FUN check: (denotation -> denotation) ** com[void] -> com[void]

Popup a window with the message and just one OK button. Useful if you want to notify the user of the failure of a command at the end of the execution, e.g. of a callback routine.

FUN notify: com[void] -> com[void]
FUN notify: (denotation -> denotation) ** com[void] -> com[void]

next node: ComCheckWinData,
prev node: AEntryNE,
up to node: Subsystem Opal Window Additions