diff options
Diffstat (limited to 'Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens')
-rw-r--r-- | Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens index 4b2cb3c8..a073e157 100644 --- a/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens +++ b/Solvers/Alloy-Solver/hu.bme.mit.inf.dslreasoner.alloy.language.ui/src-gen/hu/bme/mit/inf/dslreasoner/ui/contentassist/antlr/internal/InternalAlloyLanguage.tokens | |||
@@ -3,8 +3,8 @@ | |||
3 | '#'=63 | 3 | '#'=63 |
4 | '&&'=17 | 4 | '&&'=17 |
5 | '&'=58 | 5 | '&'=58 |
6 | '('=69 | 6 | '('=70 |
7 | ')'=70 | 7 | ')'=71 |
8 | '*'=62 | 8 | '*'=62 |
9 | '+'=39 | 9 | '+'=39 |
10 | '++'=53 | 10 | '++'=53 |
@@ -23,20 +23,21 @@ | |||
23 | '>'=49 | 23 | '>'=49 |
24 | '>='=50 | 24 | '>='=50 |
25 | 'Int'=68 | 25 | 'Int'=68 |
26 | 'String'=69 | ||
26 | '['=42 | 27 | '['=42 |
27 | ']'=43 | 28 | ']'=43 |
28 | '^'=61 | 29 | '^'=61 |
29 | 'abstract'=73 | 30 | 'abstract'=75 |
30 | 'all'=21 | 31 | 'all'=21 |
31 | 'and'=18 | 32 | 'and'=18 |
32 | 'disj'=74 | 33 | 'disj'=76 |
33 | 'div'=31 | 34 | 'div'=31 |
34 | 'else'=46 | 35 | 'else'=46 |
35 | 'enum'=32 | 36 | 'enum'=32 |
36 | 'exactly'=75 | 37 | 'exactly'=74 |
37 | 'extends'=37 | 38 | 'extends'=37 |
38 | 'fact'=45 | 39 | 'fact'=45 |
39 | 'for'=72 | 40 | 'for'=73 |
40 | 'fun'=41 | 41 | 'fun'=41 |
41 | 'iden'=66 | 42 | 'iden'=66 |
42 | 'iff'=14 | 43 | 'iff'=14 |
@@ -52,7 +53,7 @@ | |||
52 | 'plus'=27 | 53 | 'plus'=27 |
53 | 'pred'=44 | 54 | 'pred'=44 |
54 | 'rem'=30 | 55 | 'rem'=30 |
55 | 'run'=71 | 56 | 'run'=72 |
56 | 'set'=26 | 57 | 'set'=26 |
57 | 'sig'=36 | 58 | 'sig'=36 |
58 | 'some'=23 | 59 | 'some'=23 |
@@ -135,3 +136,4 @@ T__72=72 | |||
135 | T__73=73 | 136 | T__73=73 |
136 | T__74=74 | 137 | T__74=74 |
137 | T__75=75 | 138 | T__75=75 |
139 | T__76=76 | ||