1 files changed, 75 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens
new file mode 100644
index 00000000..591c0e60
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens
@@ -0,0 +1,75 @@
+'!'=46
+'!='=34
+'('=47
+')'=48
+'*'=49
+'+'=50
+','=51
+'-'=52
+'->'=35
+'.'=53
+'...'=31
+'/'=54
+':'=55
+':-'=36
+'::'=37
+':='=38
+';'=56
+'<'=57
+'<='=39
+'='=58
+'=='=40
+'=>'=41
+'>'=59
+'>='=42
+'?'=60
+'['=61
+']'=62
+'^'=63
+'abstract'=6
+'as'=43
+'class'=20
+'containment'=4
+'contains'=7
+'count'=21
+'datatype'=8
+'default'=12
+'else'=26
+'empty'=22
+'enum'=27
+'error'=23
+'extends'=13
+'extern'=16
+'false'=24
+'functional'=5
+'if'=44
+'import'=17
+'in'=45
+'inf'=32
+'let'=33
+'maximize'=9
+'minimize'=10
+'object'=18
+'opposite'=11
+'problem'=14
+'refers'=19
+'root'=28
+'scope'=25
+'then'=29
+'true'=30
+'unknown'=15
+'{'=64
+'|'=65
+'}'=66
+'~'=67
+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

diff --git a/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens new file mode 100644 index 00000000..591c0e60 --- /dev/null +++ b/Application/org.eclipse.viatra.solver.language.ide/src-gen/org/eclipse/viatra/solver/language/ide/contentassist/antlr/internal/InternalSolverLanguageParser.tokens
@@ -0,0 +1,75 @@
	1	'!'=46
	2	'!='=34
	3	'('=47
	4	')'=48
	5	'*'=49
	6	'+'=50
	7	','=51
	8	'-'=52
	9	'->'=35
	10	'.'=53
	11	'...'=31
	12	'/'=54
	13	':'=55
	14	':-'=36
	15	'::'=37
	16	':='=38
	17	';'=56
	18	'<'=57
	19	'<='=39
	20	'='=58
	21	'=='=40
	22	'=>'=41
	23	'>'=59
	24	'>='=42
	25	'?'=60
	26	'['=61
	27	']'=62
	28	'^'=63
	29	'abstract'=6
	30	'as'=43
	31	'class'=20
	32	'containment'=4
	33	'contains'=7
	34	'count'=21
	35	'datatype'=8
	36	'default'=12
	37	'else'=26
	38	'empty'=22
	39	'enum'=27
	40	'error'=23
	41	'extends'=13
	42	'extern'=16
	43	'false'=24
	44	'functional'=5
	45	'if'=44
	46	'import'=17
	47	'in'=45
	48	'inf'=32
	49	'let'=33
	50	'maximize'=9
	51	'minimize'=10
	52	'object'=18
	53	'opposite'=11
	54	'problem'=14
	55	'refers'=19
	56	'root'=28
	57	'scope'=25
	58	'then'=29
	59	'true'=30
	60	'unknown'=15
	61	'{'=64
	62	'\|'=65
	63	'}'=66
	64	'~'=67
	65	RULE_ANY_OTHER=78
	66	RULE_FULL_STOP=73
	67	RULE_ID=74
	68	RULE_INT=75
	69	RULE_ML_COMMENT=76
	70	RULE_QUOTED_ID=69
	71	RULE_REFLEXIVE_TRANSITIVE_CLOSURE=72
	72	RULE_SL_COMMENT=70
	73	RULE_STRING=68
	74	RULE_TRANSITIVE_CLOSURE=71
	75	RULE_WS=77