forked from crossminer/FOCUS
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathAsmL.txt
384 lines (384 loc) · 8.06 KB
/
AsmL.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
LocatedElement#location
LocatedElement#commentsBefore
LocatedElement#commentsAfter
Body#location
Body#commentsBefore
Body#commentsAfter
Body#rules
InWhereHolds#location
InWhereHolds#commentsBefore
InWhereHolds#commentsAfter
InWhereHolds#var
InWhereHolds#in
InWhereHolds#where
InWhereHolds#holds
AsmLFile#location
AsmLFile#commentsBefore
AsmLFile#commentsAfter
AsmLFile#elements
AsmLFile#main
AsmLElement#location
AsmLElement#commentsBefore
AsmLElement#commentsAfter
AsmLElement#file
VarDeclaration#location
VarDeclaration#commentsBefore
VarDeclaration#commentsAfter
VarDeclaration#file
VarDeclaration#ownerStructure
VarDeclaration#ownerClass
VarDeclaration#isConstant
VarDeclaration#isDeclaration
VarDeclaration#isLocal
VarDeclaration#name
VarDeclaration#type
Namespace#location
Namespace#commentsBefore
Namespace#commentsAfter
Namespace#file
Namespace#name
Structure#location
Structure#commentsBefore
Structure#commentsAfter
Structure#file
Structure#name
Structure#varOrCase
Structure#superStructureName
VarOrCase#location
VarOrCase#commentsBefore
VarOrCase#commentsAfter
VarOrCase#ownerStructure
Case#location
Case#commentsBefore
Case#commentsAfter
Case#ownerStructure
Case#name
Case#variables
Class#location
Class#commentsBefore
Class#commentsAfter
Class#file
Class#name
Class#isAbstract
Class#superClassName
Class#varOrMethod
VarOrMethod#location
VarOrMethod#commentsBefore
VarOrMethod#commentsAfter
VarOrMethod#ownerClass
Enumeration#location
Enumeration#commentsBefore
Enumeration#commentsAfter
Enumeration#file
Enumeration#name
Enumeration#enumerators
Enumerator#location
Enumerator#commentsBefore
Enumerator#commentsAfter
Enumerator#name
Enumerator#value
Function#location
Function#commentsBefore
Function#commentsAfter
Function#file
Function#name
Function#body
Method#location
Method#commentsBefore
Method#commentsAfter
Method#file
Method#name
Method#body
Method#ownerClass
Method#isAbstract
Method#isShared
Method#isEntryPoint
Method#isOverride
Method#returnType
Method#parameters
Parameter#location
Parameter#commentsBefore
Parameter#commentsAfter
Parameter#name
Parameter#type
Parameter#ownerMethod
Main#location
Main#commentsBefore
Main#commentsAfter
Main#file
Main#name
Main#body
Main#mainFile
Main#initialisations
Initially#location
Initially#commentsBefore
Initially#commentsAfter
Initially#id
Initially#val
Rule#location
Rule#commentsBefore
Rule#commentsAfter
Rule#ownerBody
SkipRule#location
SkipRule#commentsBefore
SkipRule#commentsAfter
SkipRule#ownerBody
Step#location
Step#commentsBefore
Step#commentsAfter
Step#ownerBody
Step#name
StepUntilFixPoint#location
StepUntilFixPoint#commentsBefore
StepUntilFixPoint#commentsAfter
StepUntilFixPoint#ownerBody
StepUntilFixPoint#name
StepExpression#location
StepExpression#commentsBefore
StepExpression#commentsAfter
StepExpression#ownerBody
StepExpression#name
StepExpression#expression
StepWhile#location
StepWhile#commentsBefore
StepWhile#commentsAfter
StepWhile#ownerBody
StepWhile#name
StepWhile#expression
StepUntil#location
StepUntil#commentsBefore
StepUntil#commentsAfter
StepUntil#ownerBody
StepUntil#name
StepUntil#expression
StepForEach#location
StepForEach#commentsBefore
StepForEach#commentsAfter
StepForEach#ownerBody
StepForEach#name
StepForEach#expressions
MethodInvocation#location
MethodInvocation#commentsBefore
MethodInvocation#commentsAfter
MethodInvocation#ownerBody
MethodInvocation#called
UpdateRule#location
UpdateRule#commentsBefore
UpdateRule#commentsAfter
UpdateRule#ownerBody
UpdateRule#term
UpdateVarRule#location
UpdateVarRule#commentsBefore
UpdateVarRule#commentsAfter
UpdateVarRule#ownerBody
UpdateVarRule#term
UpdateVarRule#updateVar
UpdateFieldRule#location
UpdateFieldRule#commentsBefore
UpdateFieldRule#commentsAfter
UpdateFieldRule#ownerBody
UpdateFieldRule#term
UpdateFieldRule#path
UpdateMapRule#location
UpdateMapRule#commentsBefore
UpdateMapRule#commentsAfter
UpdateMapRule#ownerBody
UpdateMapRule#term
UpdateMapRule#updateMap
UpdateMapRule#parameters
ChooseRule#location
ChooseRule#commentsBefore
ChooseRule#commentsAfter
ChooseRule#ownerBody
ChooseRule#expressions
ChooseRule#ifChoosenRules
ChooseRule#ifNotChoosenRule
ForallRule#location
ForallRule#commentsBefore
ForallRule#commentsAfter
ForallRule#ownerBody
ForallRule#expressions
ForallRule#doRule
ConditionalRule#location
ConditionalRule#commentsBefore
ConditionalRule#commentsAfter
ConditionalRule#ownerBody
ConditionalRule#condition
ConditionalRule#thenRule
ConditionalRule#elseRule
ConditionalRule#elseIfRule
ElseIf#location
ElseIf#commentsBefore
ElseIf#commentsAfter
ElseIf#ownerBody
ElseIf#condition
ElseIf#thenRule
ElseIf#elseRule
ElseIf#elseIfRule
ReturnRule#location
ReturnRule#commentsBefore
ReturnRule#commentsAfter
ReturnRule#ownerBody
ReturnRule#term
AddRule#location
AddRule#commentsBefore
AddRule#commentsAfter
AddRule#ownerBody
AddRule#val
AddRule#set
RemoveRule#location
RemoveRule#commentsBefore
RemoveRule#commentsAfter
RemoveRule#ownerBody
RemoveRule#val
RemoveRule#set
Type#location
Type#commentsBefore
Type#commentsAfter
Type#file
Type#withNull
Type#ownerDeclaration
Type#ownerMethod
Type#ownerParameter
NamedType#location
NamedType#commentsBefore
NamedType#commentsAfter
NamedType#file
NamedType#withNull
NamedType#ownerDeclaration
NamedType#ownerMethod
NamedType#ownerParameter
NamedType#name
MapType#location
MapType#commentsBefore
MapType#commentsAfter
MapType#file
MapType#withNull
MapType#ownerDeclaration
MapType#ownerMethod
MapType#ownerParameter
MapType#ofType
MapType#toType
TupletType#location
TupletType#commentsBefore
TupletType#commentsAfter
TupletType#file
TupletType#withNull
TupletType#ownerDeclaration
TupletType#ownerMethod
TupletType#ownerParameter
TupletType#types
SetType#location
SetType#commentsBefore
SetType#commentsAfter
SetType#file
SetType#withNull
SetType#ownerDeclaration
SetType#ownerMethod
SetType#ownerParameter
SetType#of
SequenceType#location
SequenceType#commentsBefore
SequenceType#commentsAfter
SequenceType#file
SequenceType#withNull
SequenceType#ownerDeclaration
SequenceType#ownerMethod
SequenceType#ownerParameter
SequenceType#of
Term#location
Term#commentsBefore
Term#commentsAfter
VarTerm#location
VarTerm#commentsBefore
VarTerm#commentsAfter
VarTerm#name
Operator#location
Operator#commentsBefore
Operator#commentsAfter
Operator#opName
Operator#leftExp
Operator#rightExp
MapTerm#location
MapTerm#commentsBefore
MapTerm#commentsAfter
MapTerm#ofTerm
MapTerm#toTerm
MapTerm#separator
TulpletTerm#location
TulpletTerm#commentsBefore
TulpletTerm#commentsAfter
TulpletTerm#terms
MethodCallTerm#location
MethodCallTerm#commentsBefore
MethodCallTerm#commentsAfter
MethodCallTerm#name
MethodCallTerm#parameters
NewInstance#location
NewInstance#commentsBefore
NewInstance#commentsAfter
NewInstance#name
NewInstance#parameters
PredicateTerm#location
PredicateTerm#commentsBefore
PredicateTerm#commentsAfter
PredicateTerm#expressions
ForAllTerm#location
ForAllTerm#commentsBefore
ForAllTerm#commentsAfter
ForAllTerm#expressions
ExistsTerm#location
ExistsTerm#commentsBefore
ExistsTerm#commentsAfter
ExistsTerm#expressions
ExistsTerm#isUnique
AnyIn#location
AnyIn#commentsBefore
AnyIn#commentsAfter
AnyIn#expressions
SetTerm#location
SetTerm#commentsBefore
SetTerm#commentsAfter
EnumerateSet#location
EnumerateSet#commentsBefore
EnumerateSet#commentsAfter
EnumerateSet#vals
RangeSet#location
RangeSet#commentsBefore
RangeSet#commentsAfter
RangeSet#minval
RangeSet#maxval
AlgorithmSet#location
AlgorithmSet#commentsBefore
AlgorithmSet#commentsAfter
AlgorithmSet#expressions
SequenceTerm#location
SequenceTerm#commentsBefore
SequenceTerm#commentsAfter
EnumerateSequence#location
EnumerateSequence#commentsBefore
EnumerateSequence#commentsAfter
EnumerateSequence#vals
RangeSequence#location
RangeSequence#commentsBefore
RangeSequence#commentsAfter
RangeSequence#minval
RangeSequence#maxval
Constant#location
Constant#commentsBefore
Constant#commentsAfter
BooleanConstant#location
BooleanConstant#commentsBefore
BooleanConstant#commentsAfter
BooleanConstant#val
IntegerConstant#location
IntegerConstant#commentsBefore
IntegerConstant#commentsAfter
IntegerConstant#val
StringConstant#location
StringConstant#commentsBefore
StringConstant#commentsAfter
StringConstant#val
NullConstant#location
NullConstant#commentsBefore
NullConstant#commentsAfter