diff options
Diffstat (limited to 'src/uscxml/plugins/datamodel/promela/PromelaParser.h')
-rw-r--r-- | src/uscxml/plugins/datamodel/promela/PromelaParser.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/PromelaParser.h b/src/uscxml/plugins/datamodel/promela/PromelaParser.h index 6daa154..0cca365 100644 --- a/src/uscxml/plugins/datamodel/promela/PromelaParser.h +++ b/src/uscxml/plugins/datamodel/promela/PromelaParser.h @@ -64,6 +64,7 @@ public: static std::string typeToDesc(int type); + PromelaParser(const std::string& expr); PromelaParser(const std::string& expr, Type expectedType); virtual ~PromelaParser(); @@ -104,7 +105,9 @@ public: Type type; protected: - + + void init(const std::string& expr); + void* scanner; char* input; size_t input_length; |