diff options
Diffstat (limited to 'src/uscxml/plugins/datamodel/promela/PromelaDataModel.h')
-rw-r--r-- | src/uscxml/plugins/datamodel/promela/PromelaDataModel.h | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h index d332db1..aaafa9b 100644 --- a/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h +++ b/src/uscxml/plugins/datamodel/promela/PromelaDataModel.h @@ -82,21 +82,20 @@ public: protected: - struct Token { - size_t start; - size_t end; - }; - - Data expressionToAST(const std::string& expr); - bool evalAST(const Data ast); - - void assign(bool truth, Data ast); - + void declare(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; - std::map<std::string, bool> _variables; + Data _variables; }; |