diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-10-25 04:15:39 -0400 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2020-06-07 19:43:49 -0400 |
commit | 32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f (patch) | |
tree | 0e67f50df5b4d9a42f0075e1e19be988eae59bf9 /Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens | |
parent | mid-measurement push (diff) | |
download | VIATRA-Generator-32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f.tar.gz VIATRA-Generator-32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f.tar.zst VIATRA-Generator-32a4f3392a7d0c44439c0c9b960ef1cfb5e3cc2f.zip |
VAMPIRE: post-submission push
Diffstat (limited to 'Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens')
-rw-r--r-- | Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens | 139 |
1 files changed, 139 insertions, 0 deletions
diff --git a/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens new file mode 100644 index 00000000..530f7732 --- /dev/null +++ b/Solvers/Alloy-Solver2/hu.bme.mit.inf.dslreasoner.alloy.language/src-gen/hu/bme/mit/inf/dslreasoner/parser/antlr/internal/InternalAlloyLanguage.tokens | |||
@@ -0,0 +1,139 @@ | |||
1 | '!'=49 | ||
2 | '!='=37 | ||
3 | '#'=54 | ||
4 | '&&'=34 | ||
5 | '&'=47 | ||
6 | '('=61 | ||
7 | ')'=62 | ||
8 | '*'=53 | ||
9 | '+'=19 | ||
10 | '++'=42 | ||
11 | ','=13 | ||
12 | '-'=46 | ||
13 | '->'=48 | ||
14 | '.'=45 | ||
15 | ':'=20 | ||
16 | ':>'=43 | ||
17 | '<'=40 | ||
18 | '<:'=44 | ||
19 | '<='=41 | ||
20 | '<=>'=29 | ||
21 | '='=36 | ||
22 | '=>'=31 | ||
23 | '>'=38 | ||
24 | '>='=39 | ||
25 | 'Int'=59 | ||
26 | 'String'=60 | ||
27 | '['=22 | ||
28 | ']'=23 | ||
29 | '^'=52 | ||
30 | 'abstract'=15 | ||
31 | 'all'=66 | ||
32 | 'and'=35 | ||
33 | 'disj'=26 | ||
34 | 'div'=76 | ||
35 | 'else'=33 | ||
36 | 'enum'=11 | ||
37 | 'exactly'=65 | ||
38 | 'extends'=17 | ||
39 | 'fact'=25 | ||
40 | 'for'=64 | ||
41 | 'fun'=21 | ||
42 | 'iden'=57 | ||
43 | 'iff'=30 | ||
44 | 'implies'=32 | ||
45 | 'in'=18 | ||
46 | 'lone'=69 | ||
47 | 'mul'=74 | ||
48 | 'no'=67 | ||
49 | 'none'=56 | ||
50 | 'not'=50 | ||
51 | 'one'=70 | ||
52 | 'or'=28 | ||
53 | 'plus'=72 | ||
54 | 'pred'=24 | ||
55 | 'rem'=75 | ||
56 | 'run'=63 | ||
57 | 'set'=71 | ||
58 | 'sig'=16 | ||
59 | 'some'=68 | ||
60 | 'sub'=73 | ||
61 | 'sum'=55 | ||
62 | 'univ'=58 | ||
63 | '{'=12 | ||
64 | '||'=27 | ||
65 | '}'=14 | ||
66 | '~'=51 | ||
67 | RULE_ANY_OTHER=10 | ||
68 | RULE_ID=4 | ||
69 | RULE_INT=5 | ||
70 | RULE_ML_COMMENT=7 | ||
71 | RULE_SL_COMMENT=8 | ||
72 | RULE_STRING=6 | ||
73 | RULE_WS=9 | ||
74 | T__11=11 | ||
75 | T__12=12 | ||
76 | T__13=13 | ||
77 | T__14=14 | ||
78 | T__15=15 | ||
79 | T__16=16 | ||
80 | T__17=17 | ||
81 | T__18=18 | ||
82 | T__19=19 | ||
83 | T__20=20 | ||
84 | T__21=21 | ||
85 | T__22=22 | ||
86 | T__23=23 | ||
87 | T__24=24 | ||
88 | T__25=25 | ||
89 | T__26=26 | ||
90 | T__27=27 | ||
91 | T__28=28 | ||
92 | T__29=29 | ||
93 | T__30=30 | ||
94 | T__31=31 | ||
95 | T__32=32 | ||
96 | T__33=33 | ||
97 | T__34=34 | ||
98 | T__35=35 | ||
99 | T__36=36 | ||
100 | T__37=37 | ||
101 | T__38=38 | ||
102 | T__39=39 | ||
103 | T__40=40 | ||
104 | T__41=41 | ||
105 | T__42=42 | ||
106 | T__43=43 | ||
107 | T__44=44 | ||
108 | T__45=45 | ||
109 | T__46=46 | ||
110 | T__47=47 | ||
111 | T__48=48 | ||
112 | T__49=49 | ||
113 | T__50=50 | ||
114 | T__51=51 | ||
115 | T__52=52 | ||
116 | T__53=53 | ||
117 | T__54=54 | ||
118 | T__55=55 | ||
119 | T__56=56 | ||
120 | T__57=57 | ||
121 | T__58=58 | ||
122 | T__59=59 | ||
123 | T__60=60 | ||
124 | T__61=61 | ||
125 | T__62=62 | ||
126 | T__63=63 | ||
127 | T__64=64 | ||
128 | T__65=65 | ||
129 | T__66=66 | ||
130 | T__67=67 | ||
131 | T__68=68 | ||
132 | T__69=69 | ||
133 | T__70=70 | ||
134 | T__71=71 | ||
135 | T__72=72 | ||
136 | T__73=73 | ||
137 | T__74=74 | ||
138 | T__75=75 | ||
139 | T__76=76 | ||