diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-07-23 10:09:37 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-07-23 10:09:37 (GMT) |
commit | a84db30b735877a0bdacebd590acea07e3f140a1 (patch) | |
tree | acff0e6c81fe90d47559c73cf85cdbad05d1f798 /src/uscxml/Interpreter.h | |
parent | eb99c62e3d00f4ea5271f6dfc6401e3fcd5a5b90 (diff) | |
download | uscxml-a84db30b735877a0bdacebd590acea07e3f140a1.zip uscxml-a84db30b735877a0bdacebd590acea07e3f140a1.tar.gz uscxml-a84db30b735877a0bdacebd590acea07e3f140a1.tar.bz2 |
added Interpreter::isLegalConfiguration
Diffstat (limited to 'src/uscxml/Interpreter.h')
-rw-r--r-- | src/uscxml/Interpreter.h | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/uscxml/Interpreter.h b/src/uscxml/Interpreter.h index 7de6c63..d4ec389 100644 --- a/src/uscxml/Interpreter.h +++ b/src/uscxml/Interpreter.h @@ -202,7 +202,9 @@ public: void dump(); bool hasLegalConfiguration(); - + bool isLegalConfiguration(const Arabica::XPath::NodeSet<std::string>&); + bool isLegalConfiguration(const std::vector<std::string>&); + 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); @@ -505,6 +507,14 @@ public: return _impl->hasLegalConfiguration(); } + bool isLegalConfiguration(const Arabica::XPath::NodeSet<std::string>& config) { + return _impl->isLegalConfiguration(config); + } + + bool isLegalConfiguration(const std::vector<std::string>& config) { + return _impl->isLegalConfiguration(config); + } + static bool isState(const Arabica::DOM::Node<std::string>& state) { return InterpreterImpl::isState(state); } |