From 42c58bbeead1dae09c51f47abc8e10dfbb9c3f9f Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Tue, 23 Jun 2020 15:17:00 +0200
Subject: New configuration language parser WIP

---
 .../antlr/lexer/InternalSolverLanguageLexer.tokens | 139 +++++++++++----------
 1 file changed, 72 insertions(+), 67 deletions(-)

(limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens')

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens
index 178103e2..f6269b97 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/lexer/InternalSolverLanguageLexer.tokens
@@ -1,70 +1,75 @@
-Abstract=5
-As=40
-Asterisk=46
-CircumflexAccent=59
-Class=18
-Colon=52
-ColonHyphenMinus=35
-Comma=48
-Contains=6
-Count=19
-Current=11
-Datatype=7
+Abstract=6
+As=43
+Asterisk=49
+CircumflexAccent=63
+Class=20
+Colon=55
+ColonColon=37
+ColonEqualsSign=38
+ColonHyphenMinus=36
+Comma=51
+Containment=4
+Contains=7
+Count=21
+Datatype=8
 Default=12
-Else=24
-Empty=20
-EqualsSign=55
-EqualsSignEqualsSign=37
-EqualsSignGreaterThanSign=38
-Error=21
-ExclamationMark=43
-ExclamationMarkEqualsSign=32
-Exists=15
+Else=26
+Empty=22
+Enum=27
+EqualsSign=58
+EqualsSignEqualsSign=40
+EqualsSignGreaterThanSign=41
+Error=23
+ExclamationMark=46
+ExclamationMarkEqualsSign=34
 Extends=13
 Extern=16
-False=22
-Forall=17
-FullStop=50
-FullStopFullStop=34
-FullStopFullStopFullStop=28
-Functional=4
-GreaterThanSign=56
-GreaterThanSignEqualsSign=39
-HyphenMinus=49
-HyphenMinusGreaterThanSign=33
-If=41
-In=42
-Inf=29
-LeftCurlyBracket=60
-LeftParenthesis=44
-LeftSquareBracket=57
-LessThanSign=54
-LessThanSignEqualsSign=36
-Let=30
-Maximize=8
-May=31
-Minimize=9
-Must=25
-Opposite=10
-PlusSign=47
-RULE_ANY_OTHER=73
-RULE_FULL_STOP=68
-RULE_ID=69
-RULE_INT=70
-RULE_ML_COMMENT=71
-RULE_QUOTED_ID=64
-RULE_REFLEXIVE_TRANSITIVE_CLOSURE=67
-RULE_SL_COMMENT=65
-RULE_STRING=63
-RULE_TRANSITIVE_CLOSURE=66
-RULE_WS=72
-RightCurlyBracket=62
-RightParenthesis=45
-RightSquareBracket=58
-Scope=23
-Semicolon=53
-Solidus=51
-Then=26
-True=27
-Unknown=14
-VerticalLine=61
+False=24
+FullStop=53
+FullStopFullStopFullStop=31
+Functional=5
+GreaterThanSign=59
+GreaterThanSignEqualsSign=42
+HyphenMinus=52
+HyphenMinusGreaterThanSign=35
+If=44
+Import=17
+In=45
+Inf=32
+LeftCurlyBracket=64
+LeftParenthesis=47
+LeftSquareBracket=61
+LessThanSign=57
+LessThanSignEqualsSign=39
+Let=33
+Maximize=9
+Minimize=10
+Object=18
+Opposite=11
+PlusSign=50
+Problem=14
+QuestionMark=60
+RULE_ANY_OTHER=78
+RULE_FULL_STOP=73
+RULE_ID=74
+RULE_INT=75
+RULE_ML_COMMENT=76
+RULE_QUOTED_ID=69
+RULE_REFLEXIVE_TRANSITIVE_CLOSURE=72
+RULE_SL_COMMENT=70
+RULE_STRING=68
+RULE_TRANSITIVE_CLOSURE=71
+RULE_WS=77
+Refers=19
+RightCurlyBracket=66
+RightParenthesis=48
+RightSquareBracket=62
+Root=28
+Scope=25
+Semicolon=56
+Solidus=54
+Then=29
+Tilde=67
+True=30
+Unknown=15
+VerticalLine=65
-- 
cgit v1.2.3-70-g09d2