diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-06-24 13:03:20 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-06-24 13:03:20 (GMT) |
| commit | 758bda908ded461c9d34d274a18454ffba4b7450 (patch) | |
| tree | fb7f1ba28eab9f20b4ca16ed4dbc36d07dfce06e /src/uscxml/interpreter/InterpreterDraft6.h | |
| parent | febde41c4c69d8f38967d5c195328d468834d037 (diff) | |
| download | uscxml-758bda908ded461c9d34d274a18454ffba4b7450.zip uscxml-758bda908ded461c9d34d274a18454ffba4b7450.tar.gz uscxml-758bda908ded461c9d34d274a18454ffba4b7450.tar.bz2 | |
- Prolog DM compiles with recent SWI release again
- Bugfixes for stress test
- Beautified code
Diffstat (limited to 'src/uscxml/interpreter/InterpreterDraft6.h')
| -rw-r--r-- | src/uscxml/interpreter/InterpreterDraft6.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/uscxml/interpreter/InterpreterDraft6.h b/src/uscxml/interpreter/InterpreterDraft6.h index 25b096d..cf73d4b 100644 --- a/src/uscxml/interpreter/InterpreterDraft6.h +++ b/src/uscxml/interpreter/InterpreterDraft6.h @@ -25,9 +25,12 @@ namespace uscxml { class USCXML_API InterpreterDraft6 : public InterpreterImpl { +public: + virtual ~InterpreterDraft6() {}; + protected: - InterpreterState interpret(); - InterpreterState step(int blocking); + virtual InterpreterState interpret(); + virtual InterpreterState step(int blocking); void stabilize(); void microstep(const Arabica::XPath::NodeSet<std::string>& enabledTransitions); @@ -35,7 +38,7 @@ protected: void addStatesToEnter(const Arabica::DOM::Node<std::string>& state, Arabica::XPath::NodeSet<std::string>& statesToEnter, Arabica::XPath::NodeSet<std::string>& statesForDefaultEntry, - Arabica::XPath::NodeSet<std::string>& defaultHistoryContent); + Arabica::XPath::NodeSet<std::string>& defaultHistoryContent); void exitStates(const Arabica::XPath::NodeSet<std::string>& enabledTransitions); void exitInterpreter(); |