1 files changed, 49 insertions, 47 deletions
diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens
index 57abf7fb..96730dbf 100644
--- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens
+++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens
@@ -1,55 +1,56 @@
-'#'=31
+'#'=32
-'*'=39
+'*'=40
-'+='=32
+'+='=33
-','=18
+','=19
+'-'=12
 '.'=11
-'..'=40
+'..'=41
-'::'=22
+'::'=23
-'<'=33
+'<'=34
-'='=16
+'='=17
-'>'=34
+'>'=35
-'AlloySolver'=55
+'AlloySolver'=56
-'SMTSolver'=54
+'SMTSolver'=55
-'ViatraSolver'=56
+'ViatraSolver'=57
-'config'=27
+'config'=28
-'constraints'=26
+'constraints'=27
-'debug'=47
+'debug'=48
-'epackage'=13
+'epackage'=14
-'excluding'=21
+'excluding'=22
-'file'=15
+'file'=16
-'folder'=24
+'folder'=25
-'full'=53
+'full'=54
-'generate'=42
+'generate'=43
-'import'=12
+'import'=13
-'int'=36
+'int'=37
-'log'=48
+'log'=49
-'log-level'=28
+'log-level'=29
-'memory'=30
+'memory'=31
-'metamodel'=23
+'metamodel'=24
-'models'=25
+'models'=26
-'node'=35
+'node'=36
-'none'=51
+'none'=52
-'normal'=52
+'normal'=53
-'number'=44
+'number'=45
-'output'=50
+'output'=51
-'package'=20
+'package'=21
-'partial-model'=43
+'partial-model'=44
-'real'=37
+'real'=38
-'runs'=45
+'runs'=46
-'runtime'=29
+'runtime'=30
-'scope'=41
+'scope'=42
-'solver'=46
+'solver'=47
-'statistics'=49
+'statistics'=50
-'string'=38
+'string'=39
-'viatra'=14
+'viatra'=15
-'{'=17
+'{'=18
-'}'=19
+'}'=20
 RULE_ANY_OTHER=10
 RULE_ID=4
-RULE_INT=6
+RULE_INT=5
 RULE_ML_COMMENT=7
 RULE_SL_COMMENT=8
-RULE_STRING=5
+RULE_STRING=6
 RULE_WS=9
 T__11=11
 T__12=12
@@ -97,3 +98,4 @@ T__53=53
 T__54=54
 T__55=55
 T__56=56
+T__57=57

diff --git a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens index 57abf7fb..96730dbf 100644 --- a/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens +++ b/Application/hu.bme.mit.inf.dslreasoner.application/src-gen/hu/bme/mit/inf/dslreasoner/application/parser/antlr/internal/InternalApplicationConfiguration.tokens
@@ -1,55 +1,56 @@
1	'#'=31	1	'#'=32
2	'*'=39	2	'*'=40
3	'+='=32	3	'+='=33
4	','=18	4	','=19
		5	'-'=12
5	'.'=11	6	'.'=11
6	'..'=40	7	'..'=41
7	'::'=22	8	'::'=23
8	'<'=33	9	'<'=34
9	'='=16	10	'='=17
10	'>'=34	11	'>'=35
11	'AlloySolver'=55	12	'AlloySolver'=56
12	'SMTSolver'=54	13	'SMTSolver'=55
13	'ViatraSolver'=56	14	'ViatraSolver'=57
14	'config'=27	15	'config'=28
15	'constraints'=26	16	'constraints'=27
16	'debug'=47	17	'debug'=48
17	'epackage'=13	18	'epackage'=14
18	'excluding'=21	19	'excluding'=22
19	'file'=15	20	'file'=16
20	'folder'=24	21	'folder'=25
21	'full'=53	22	'full'=54
22	'generate'=42	23	'generate'=43
23	'import'=12	24	'import'=13
24	'int'=36	25	'int'=37
25	'log'=48	26	'log'=49
26	'log-level'=28	27	'log-level'=29
27	'memory'=30	28	'memory'=31
28	'metamodel'=23	29	'metamodel'=24
29	'models'=25	30	'models'=26
30	'node'=35	31	'node'=36
31	'none'=51	32	'none'=52
32	'normal'=52	33	'normal'=53
33	'number'=44	34	'number'=45
34	'output'=50	35	'output'=51
35	'package'=20	36	'package'=21
36	'partial-model'=43	37	'partial-model'=44
37	'real'=37	38	'real'=38
38	'runs'=45	39	'runs'=46
39	'runtime'=29	40	'runtime'=30
40	'scope'=41	41	'scope'=42
41	'solver'=46	42	'solver'=47
42	'statistics'=49	43	'statistics'=50
43	'string'=38	44	'string'=39
44	'viatra'=14	45	'viatra'=15
45	'{'=17	46	'{'=18
46	'}'=19	47	'}'=20
47	RULE_ANY_OTHER=10	48	RULE_ANY_OTHER=10
48	RULE_ID=4	49	RULE_ID=4
49	RULE_INT=6	50	RULE_INT=5
50	RULE_ML_COMMENT=7	51	RULE_ML_COMMENT=7
51	RULE_SL_COMMENT=8	52	RULE_SL_COMMENT=8
52	RULE_STRING=5	53	RULE_STRING=6
53	RULE_WS=9	54	RULE_WS=9
54	T__11=11	55	T__11=11
55	T__12=12	56	T__12=12
@@ -97,3 +98,4 @@ T__53=53
97	T__54=54	98	T__54=54
98	T__55=55	99	T__55=55
99	T__56=56	100	T__56=56
		101	T__57=57