From 419e76265ecbdf65e960e0624be006d31ed1e191 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Fri, 8 May 2020 18:28:19 +0200
Subject: Update solver language grammar

First version, still needs TokenSource and Linker to work.
---
 .../antlr/internal/InternalSolverLanguage.tokens   | 146 +++++++++++++++------
 1 file changed, 104 insertions(+), 42 deletions(-)

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

diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens
index 5054ccc5..1cf5b64f 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/parser/antlr/internal/InternalSolverLanguage.tokens
@@ -1,45 +1,74 @@
-'('=17
-')'=19
-'*'=31
-'+'=30
-','=18
-'-'=11
-'.'=12
-'..'=41
-':'=20
-':-'=28
-'\''=27
-'abstract'=33
-'bool'=23
-'class'=34
-'containment'=39
-'default'=32
-'enum'=38
-'equals'=22
-'error'=16
-'exists'=21
-'extends'=35
-'false'=14
-'int'=24
-'real'=25
-'relation'=40
-'string'=26
-'true'=13
-'unknown'=15
-'{'=36
-'|'=29
-'}'=37
-RULE_ANY_OTHER=10
-RULE_ID=5
-RULE_INT=4
-RULE_ML_COMMENT=7
-RULE_SL_COMMENT=8
-RULE_STRING=6
-RULE_WS=9
-T__11=11
-T__12=12
-T__13=13
-T__14=14
+'!'=60
+'!='=52
+'('=33
+')'=34
+'*'=35
+'+'=56
+','=28
+'-'=57
+'->'=27
+'.'=22
+'..'=37
+'/'=58
+':'=15
+':-'=16
+';'=26
+'<'=53
+'<='=48
+'='=17
+'=='=47
+'>'=54
+'>='=49
+'['=36
+']'=38
+'^'=59
+'abstract'=41
+'avg'=67
+'class'=42
+'contains'=44
+'count'=29
+'current'=63
+'default'=20
+'else'=25
+'empty'=40
+'error'=19
+'extends'=43
+'extern'=21
+'false'=71
+'functional'=18
+'if'=23
+'in'=55
+'inf'=39
+'int'=50
+'max'=69
+'maximize'=74
+'may'=61
+'min'=68
+'minimize'=73
+'must'=62
+'only'=64
+'opposite'=45
+'prod'=66
+'real'=51
+'scope'=46
+'sum'=65
+'then'=24
+'true'=70
+'unknown'=72
+'{'=30
+'|'=32
+'}'=31
+RULE_ANY_OTHER=14
+RULE_DOT=4
+RULE_ID=8
+RULE_INT=9
+RULE_ML_COMMENT=11
+RULE_PLUS=6
+RULE_QUOTED_ID=10
+RULE_SL_COMMENT=12
+RULE_STAR=5
+RULE_STRING=7
+RULE_WS=13
 T__15=15
 T__16=16
 T__17=17
@@ -67,3 +96,36 @@ T__38=38
 T__39=39
 T__40=40
 T__41=41
+T__42=42
+T__43=43
+T__44=44
+T__45=45
+T__46=46
+T__47=47
+T__48=48
+T__49=49
+T__50=50
+T__51=51
+T__52=52
+T__53=53
+T__54=54
+T__55=55
+T__56=56
+T__57=57
+T__58=58
+T__59=59
+T__60=60
+T__61=61
+T__62=62
+T__63=63
+T__64=64
+T__65=65
+T__66=66
+T__67=67
+T__68=68
+T__69=69
+T__70=70
+T__71=71
+T__72=72
+T__73=73
+T__74=74
-- 
cgit v1.2.3-70-g09d2