diff options
author | Stefan Radomski <github@mintwerk.de> | 2016-10-25 11:59:18 (GMT) |
---|---|---|
committer | Stefan Radomski <github@mintwerk.de> | 2016-10-25 11:59:18 (GMT) |
commit | 954a1eb75f2abc81da1e09701d700674f0baddfb (patch) | |
tree | 873eb6412e958ecd53214ddbd6a3e17465da5100 /src/uscxml/Interpreter.h | |
parent | 1a1513c6497e8818eb2a92a8fbf77d4c60bc911e (diff) | |
download | uscxml-954a1eb75f2abc81da1e09701d700674f0baddfb.zip uscxml-954a1eb75f2abc81da1e09701d700674f0baddfb.tar.gz uscxml-954a1eb75f2abc81da1e09701d700674f0baddfb.tar.bz2 |
Worked on PROMELA transformation
Diffstat (limited to 'src/uscxml/Interpreter.h')
-rw-r--r-- | src/uscxml/Interpreter.h | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/uscxml/Interpreter.h b/src/uscxml/Interpreter.h index f87053f..6c60350 100644 --- a/src/uscxml/Interpreter.h +++ b/src/uscxml/Interpreter.h @@ -118,7 +118,7 @@ public: */ PIMPL_OPERATORS(Interpreter); - /** + /** * Advance the state-machine by a single microstep and return. * * This is the central function to drive the state machine. Calling step() @@ -179,22 +179,22 @@ public: */ void setActionLanguage(ActionLanguage actionLanguage); - /** - * Provide a custom Factory to instantiate dynamic instances for this and invoked state-chart instances. - */ - void setFactory(Factory* factory); + /** + * Provide a custom Factory to instantiate dynamic instances for this and invoked state-chart instances. + */ + void setFactory(Factory* factory); /** * Attach a monitor to make more details of the interpreter observable. */ - void addMonitor(InterpreterMonitor* monitor); - - /** - * Remove a monitor that was attached previously. - */ - void removeMonitor(InterpreterMonitor* monitor); + void addMonitor(InterpreterMonitor* monitor); + + /** + * Remove a monitor that was attached previously. + */ + void removeMonitor(InterpreterMonitor* monitor); + - /** * Return the actual implementation of the Interperter. */ |