diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-20 07:20:16 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-10-20 07:20:16 (GMT) |
| commit | 59c9ae81b4911c6458cbe8a5ed78554bdcc82861 (patch) | |
| tree | aab941294ccd67c8379f2dfb71ca107236d51f05 /src/uscxml/interpreter/InterpreterRC.h | |
| parent | 9ba649b087df2bc161759e55549facc2f8f80878 (diff) | |
| download | uscxml-59c9ae81b4911c6458cbe8a5ed78554bdcc82861.zip uscxml-59c9ae81b4911c6458cbe8a5ed78554bdcc82861.tar.gz uscxml-59c9ae81b4911c6458cbe8a5ed78554bdcc82861.tar.bz2 | |
SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better memory footprint
Diffstat (limited to 'src/uscxml/interpreter/InterpreterRC.h')
| -rw-r--r-- | src/uscxml/interpreter/InterpreterRC.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/uscxml/interpreter/InterpreterRC.h b/src/uscxml/interpreter/InterpreterRC.h index 52b45ff..36aca3d 100644 --- a/src/uscxml/interpreter/InterpreterRC.h +++ b/src/uscxml/interpreter/InterpreterRC.h @@ -57,7 +57,10 @@ protected: Arabica::XPath::NodeSet<std::string>& statesToEnter, Arabica::XPath::NodeSet<std::string>& statesForDefaultEntry, std::map<std::string, Arabica::DOM::Node<std::string> >& defaultHistoryContent); + virtual void handleDOMEvent(Arabica::DOM::Events::Event<std::string>& event); +private: + std::map<Arabica::DOM::Node<std::string>, Arabica::XPath::NodeSet<std::string> > _exitSet; }; } |