diff options
| author | Stefan Radomski <github@mintwerk.de> | 2016-06-18 11:55:39 (GMT) |
|---|---|---|
| committer | Stefan Radomski <github@mintwerk.de> | 2016-06-18 11:55:39 (GMT) |
| commit | 0e0be07906a720ae54e4572d6ac0cb657424550d (patch) | |
| tree | 7d48c87a9142a5dad06570ca4daf0212475d83f1 /src/uscxml/Interpreter.h | |
| parent | 84bbbd42c3480c40c0355c64899f99f8d588d5c0 (diff) | |
| download | uscxml-0e0be07906a720ae54e4572d6ac0cb657424550d.zip uscxml-0e0be07906a720ae54e4572d6ac0cb657424550d.tar.gz uscxml-0e0be07906a720ae54e4572d6ac0cb657424550d.tar.bz2 | |
Started to port Debugger and issue 87
Diffstat (limited to 'src/uscxml/Interpreter.h')
| -rw-r--r-- | src/uscxml/Interpreter.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/uscxml/Interpreter.h b/src/uscxml/Interpreter.h index 4dbefd8..0d7573c 100644 --- a/src/uscxml/Interpreter.h +++ b/src/uscxml/Interpreter.h @@ -221,7 +221,12 @@ public: /** * Attach a monitor to make more details of the interpreter observable. */ - void setMonitor(InterpreterMonitor* monitor); + void addMonitor(InterpreterMonitor* monitor); + + /** + * Remove a monitor that was attached previously. + */ + void removeMonitor(InterpreterMonitor* monitor); /** * Return the actual implementation of the Interperter. |