summaryrefslogtreecommitdiffstats
path: root/src/uscxml/plugins/datamodel/promela/PromelaParser.h
diff options
context:
space:
mode:
authorStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-10-12 11:11:06 (GMT)
committerStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2014-10-12 11:11:06 (GMT)
commitfa90b5749693d9f5817ad1f106334a0877171fd3 (patch)
tree8d53b5c820590cad54893bc575ef55df38f55d23 /src/uscxml/plugins/datamodel/promela/PromelaParser.h
parentc36b123a60278caef5d06e8a7d0b3d338d669c75 (diff)
downloaduscxml-fa90b5749693d9f5817ad1f106334a0877171fd3.zip
uscxml-fa90b5749693d9f5817ad1f106334a0877171fd3.tar.gz
uscxml-fa90b5749693d9f5817ad1f106334a0877171fd3.tar.bz2
Major work on PROMELA datamodel
Diffstat (limited to 'src/uscxml/plugins/datamodel/promela/PromelaParser.h')
-rw-r--r--src/uscxml/plugins/datamodel/promela/PromelaParser.h9
1 files changed, 5 insertions, 4 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/PromelaParser.h b/src/uscxml/plugins/datamodel/promela/PromelaParser.h
index 5cf4483..6cf9a81 100644
--- a/src/uscxml/plugins/datamodel/promela/PromelaParser.h
+++ b/src/uscxml/plugins/datamodel/promela/PromelaParser.h
@@ -17,14 +17,14 @@
* @endcond
*/
-// bison -v -d promela-expr.ypp && flex promela-expr.l
-// bison promela-expr.ypp && flex promela-expr.l
+// bison -v promela.ypp && flex promela.l
#ifndef PROMELA_H_9AB78YB1
#define PROMELA_H_9AB78YB1
#include <stdlib.h>
-#include <stdarg.h>
+//#include <stdarg.h>
+#include <cstdarg>
#include "uscxml/Message.h"
@@ -59,13 +59,14 @@ public:
static std::string typeToDesc(int type);
PromelaParser(const std::string& expr);
- PromelaParser(const std::string& expr, Type expectedType);
+ PromelaParser(const std::string& expr, int nrArgs, ...);
virtual ~PromelaParser();
virtual PromelaParserNode* node(int type, int nrArgs, ...);
virtual PromelaParserNode* value(int type, const char* value);
void dump();
+ int parseInCompound;
PromelaParserNode* ast;
Type type;