diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-02-10 19:50:07 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-02-10 19:50:07 (GMT) |
| commit | 7c779099b3acd1fa969dde718299484ebe0d2775 (patch) | |
| tree | 79abec37c8a92264b7d157533a21df53057757c7 /src/uscxml/Interpreter.h | |
| parent | 71a3ca4fd78d7a9cca844e81f29f48b9c36bd4c7 (diff) | |
| download | uscxml-7c779099b3acd1fa969dde718299484ebe0d2775.zip uscxml-7c779099b3acd1fa969dde718299484ebe0d2775.tar.gz uscxml-7c779099b3acd1fa969dde718299484ebe0d2775.tar.bz2 | |
Various bug fixes
Diffstat (limited to 'src/uscxml/Interpreter.h')
| -rw-r--r-- | src/uscxml/Interpreter.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/uscxml/Interpreter.h b/src/uscxml/Interpreter.h index ab58ec3..7b30fd9 100644 --- a/src/uscxml/Interpreter.h +++ b/src/uscxml/Interpreter.h @@ -151,7 +151,8 @@ public: static bool isMember(const Arabica::DOM::Node<std::string>& node, const Arabica::XPath::NodeSet<std::string>& set); void dump(); - + bool hasLegalConfiguration(); + static bool isState(const Arabica::DOM::Node<std::string>& state); static bool isPseudoState(const Arabica::DOM::Node<std::string>& state); static bool isTransitionTarget(const Arabica::DOM::Node<std::string>& elem); @@ -247,6 +248,8 @@ protected: bool isWithinSameChild(const Arabica::DOM::Node<std::string>& transition); bool parentIsScxmlState(Arabica::DOM::Node<std::string> state); + Arabica::DOM::Node<std::string> getTransitionSubgraph(const Arabica::DOM::Node<std::string>& transition); + static std::vector<std::string> tokenizeIdRefs(const std::string& idRefs); static boost::uuids::random_generator uuidGen; |