diff options
Diffstat (limited to 'src/uscxml/plugins/datamodel/promela/PromelaDataModel.h')
-rw-r--r-- | src/uscxml/plugins/datamodel/promela/PromelaDataModel.h | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h index e6a7894..6d7d505 100644 --- a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h +++ b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h @@ -75,22 +75,24 @@ public: virtual bool isDeclared(const std::string& expr); virtual Data getStringAsData(const std::string& content); - + virtual std::string evalAsString(const std::string& expr); virtual bool evalAsBool(const Arabica::DOM::Node<std::string>& node, const std::string& expr); virtual bool evalAsBool(const std::string& expr); + virtual std::string andExpressions(std::list<std::string> expressions); + protected: void evaluateDecl(void* ast); int evaluateExpr(void* ast); void evaluateStmnt(void* ast); - + void setVariable(void* ast, int value); int getVariable(void* ast); - + int _lastMType; - + Event _event; std::string _name; std::string _sessionId; |