1 files changed, 106 insertions, 0 deletions
diff --git a/src/uscxml/plugins/datamodel/promela/PromelaParser.h b/src/uscxml/plugins/datamodel/promela/PromelaParser.h
new file mode 100644
index 0000000..51a2111
--- /dev/null
+++ b/src/uscxml/plugins/datamodel/promela/PromelaParser.h
@@ -0,0 +1,106 @@
+/**
+ *  @file
+ *  @author     2012-2014 Stefan Radomski (stefan.radomski@cs.tu-darmstadt.de)
+ *  @copyright  Simplified BSD
+ *
+ *  @cond
+ *  This program is free software: you can redistribute it and/or modify
+ *  it under the terms of the FreeBSD license as published by the FreeBSD
+ *  project.
+ *
+ *  This program is distributed in the hope that it will be useful,
+ *  but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+ *
+ *  You should have received a copy of the FreeBSD license along with this
+ *  program. If not, see <http://www.opensource.org/licenses/bsd-license>.
+ *  @endcond
+ */
+
+// bison -v promela.ypp && flex promela.l
+
+#ifndef PROMELA_H_9AB78YB1
+#define PROMELA_H_9AB78YB1
+
+#include <stdlib.h>
+//#include <stdarg.h>
+#include <cstdarg>
+#include <string>
+#include <list>
+
+#include "uscxml/messages/Event.h"
+
+namespace uscxml {
+
+class PromelaParser;
+
+class PromelaParserNode {
+public:
+	struct Location {
+		int firstLine;
+		int firstCol;
+		int lastLine;
+		int lastCol;
+	};
+
+	PromelaParserNode() : type(0), parent(NULL), loc(NULL) {}
+	virtual ~PromelaParserNode();
+
+	void merge(PromelaParserNode* node);
+	void push(PromelaParserNode* node);
+	void dump(int indent = 0);
+
+	static std::string typeToDesc(int type);
+
+	int type;
+	std::string value;
+	std::list<PromelaParserNode*> operands;
+	PromelaParserNode* parent;
+	Location* loc;
+};
+
+class PromelaParser {
+public:
+	enum Type {
+		PROMELA_EXPR,
+		PROMELA_DECL,
+		PROMELA_STMNT
+	};
+
+	static std::string typeToDesc(int type);
+
+	PromelaParser() : ast(NULL) {}
+	PromelaParser(const std::string& expr);
+	PromelaParser(const std::string& expr, int nrArgs, ...);
+	virtual ~PromelaParser();
+
+	virtual PromelaParserNode* node(int type, int nrArgs, ...);
+	virtual PromelaParserNode* value(int type, void* location, const char* value);
+	void dump();
+
+	int parseInCompound;
+
+	PromelaParserNode* ast;
+	Type type;
+
+	Event pendingException;
+	operator bool() const {
+		return ast != NULL;
+	}
+
+protected:
+
+	void init(const std::string& expr);
+	void destroy();
+
+	void* buffer;
+	void* scanner;
+	char* input;
+	size_t input_length;
+};
+
+}
+
+void promela_error (void* yylloc_param, uscxml::PromelaParser* ctx, void* yyscanner, const char* err);
+
+#endif /* end of include guard: PROMELA_H_9AB78YB1 */