From 44c43a703e2d996ac80318a67c7ba3a828dca19b Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Mon, 17 Jul 2017 17:34:40 +0200
Subject: Starting to work on a parser for the properties.

---
 instr-to-kodkod/parser/PropertyLexer.g4 | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 instr-to-kodkod/parser/PropertyLexer.g4

(limited to 'instr-to-kodkod/parser/PropertyLexer.g4')

diff --git a/instr-to-kodkod/parser/PropertyLexer.g4 b/instr-to-kodkod/parser/PropertyLexer.g4
new file mode 100644
index 0000000..27f1bca
--- /dev/null
+++ b/instr-to-kodkod/parser/PropertyLexer.g4
@@ -0,0 +1,13 @@
+lexer grammar PropertyLexer;
+
+TAG_EXISTING_KW: '(tag_existing';
+AND_OPERATOR_KW: '(and';
+OR_OPERATOR_KW: '(or';
+NOT_OPERATOR_KW: '(not';
+EXISTS_OPERATOR_KW: '(exists';
+FORALL_OPERATOR_KW: '(forall';
+ID: [a-zA-Z0-9_]+;
+L_PAREN : '(';
+R_PAREN : ')';
+
+WS: [ \t\r\n]+ -> skip;
-- 
cgit v1.2.3-70-g09d2