summaryrefslogtreecommitdiff
path: root/test/prism/snapshots/not.txt
blob: fda61bb4b585cafede5a9ffff45e79acb5c190d4 (plain)
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
@ ProgramNode (location: (1,0)-(37,16))
├── locals: []
└── statements:
    @ StatementsNode (location: (1,0)-(37,16))
    └── body: (length: 10)
        ├── @ AndNode (location: (1,0)-(1,19))
        │   ├── left:
        │   │   @ CallNode (location: (1,0)-(1,7))
        │   │   ├── flags: ∅
        │   │   ├── receiver:
        │   │   │   @ CallNode (location: (1,4)-(1,7))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :foo
        │   │   │   ├── message_loc: (1,4)-(1,7) = "foo"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── name: :!
        │   │   ├── message_loc: (1,0)-(1,3) = "not"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   └── block: ∅
        │   ├── right:
        │   │   @ CallNode (location: (1,12)-(1,19))
        │   │   ├── flags: ∅
        │   │   ├── receiver:
        │   │   │   @ CallNode (location: (1,16)-(1,19))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :bar
        │   │   │   ├── message_loc: (1,16)-(1,19) = "bar"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── name: :!
        │   │   ├── message_loc: (1,12)-(1,15) = "not"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   └── block: ∅
        │   └── operator_loc: (1,8)-(1,11) = "and"
        ├── @ CallNode (location: (3,0)-(3,16))
        │   ├── flags: ∅
        │   ├── receiver:
        │   │   @ AndNode (location: (3,4)-(3,15))
        │   │   ├── left:
        │   │   │   @ CallNode (location: (3,4)-(3,7))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :foo
        │   │   │   ├── message_loc: (3,4)-(3,7) = "foo"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   ├── right:
        │   │   │   @ CallNode (location: (3,12)-(3,15))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :bar
        │   │   │   ├── message_loc: (3,12)-(3,15) = "bar"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   └── operator_loc: (3,8)-(3,11) = "and"
        │   ├── call_operator_loc: ∅
        │   ├── name: :!
        │   ├── message_loc: (3,0)-(3,3) = "not"
        │   ├── opening_loc: (3,3)-(3,4) = "("
        │   ├── arguments: ∅
        │   ├── closing_loc: (3,15)-(3,16) = ")"
        │   └── block: ∅
        ├── @ CallNode (location: (5,0)-(5,7))
        │   ├── flags: ∅
        │   ├── receiver:
        │   │   @ CallNode (location: (5,4)-(5,7))
        │   │   ├── flags: variable_call, ignore_visibility
        │   │   ├── receiver: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── name: :foo
        │   │   ├── message_loc: (5,4)-(5,7) = "foo"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   └── block: ∅
        │   ├── call_operator_loc: ∅
        │   ├── name: :!
        │   ├── message_loc: (5,0)-(5,3) = "not"
        │   ├── opening_loc: ∅
        │   ├── arguments: ∅
        │   ├── closing_loc: ∅
        │   └── block: ∅
        ├── @ AndNode (location: (7,0)-(8,5))
        │   ├── left:
        │   │   @ CallNode (location: (7,0)-(7,7))
        │   │   ├── flags: ∅
        │   │   ├── receiver:
        │   │   │   @ CallNode (location: (7,4)-(7,7))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :foo
        │   │   │   ├── message_loc: (7,4)-(7,7) = "foo"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── name: :!
        │   │   ├── message_loc: (7,0)-(7,3) = "not"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   └── block: ∅
        │   ├── right:
        │   │   @ CallNode (location: (7,12)-(8,5))
        │   │   ├── flags: ∅
        │   │   ├── receiver:
        │   │   │   @ CallNode (location: (8,2)-(8,5))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :bar
        │   │   │   ├── message_loc: (8,2)-(8,5) = "bar"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── name: :!
        │   │   ├── message_loc: (7,12)-(7,15) = "not"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   └── block: ∅
        │   └── operator_loc: (7,8)-(7,11) = "and"
        ├── @ AndNode (location: (11,0)-(13,5))
        │   ├── left:
        │   │   @ CallNode (location: (11,0)-(11,7))
        │   │   ├── flags: ∅
        │   │   ├── receiver:
        │   │   │   @ CallNode (location: (11,4)-(11,7))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :foo
        │   │   │   ├── message_loc: (11,4)-(11,7) = "foo"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── name: :!
        │   │   ├── message_loc: (11,0)-(11,3) = "not"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   └── block: ∅
        │   ├── right:
        │   │   @ CallNode (location: (12,4)-(13,5))
        │   │   ├── flags: ∅
        │   │   ├── receiver:
        │   │   │   @ CallNode (location: (13,2)-(13,5))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :bar
        │   │   │   ├── message_loc: (13,2)-(13,5) = "bar"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── name: :!
        │   │   ├── message_loc: (12,4)-(12,7) = "not"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   └── block: ∅
        │   └── operator_loc: (11,8)-(11,11) = "and"
        ├── @ AndNode (location: (16,0)-(20,5))
        │   ├── left:
        │   │   @ CallNode (location: (16,0)-(16,7))
        │   │   ├── flags: ∅
        │   │   ├── receiver:
        │   │   │   @ CallNode (location: (16,4)-(16,7))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :foo
        │   │   │   ├── message_loc: (16,4)-(16,7) = "foo"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── name: :!
        │   │   ├── message_loc: (16,0)-(16,3) = "not"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   └── block: ∅
        │   ├── right:
        │   │   @ CallNode (location: (17,2)-(20,5))
        │   │   ├── flags: ∅
        │   │   ├── receiver:
        │   │   │   @ CallNode (location: (20,2)-(20,5))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :bar
        │   │   │   ├── message_loc: (20,2)-(20,5) = "bar"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── name: :!
        │   │   ├── message_loc: (17,2)-(17,5) = "not"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   └── block: ∅
        │   └── operator_loc: (16,8)-(16,11) = "and"
        ├── @ CallNode (location: (22,0)-(25,1))
        │   ├── flags: ∅
        │   ├── receiver:
        │   │   @ CallNode (location: (22,4)-(22,7))
        │   │   ├── flags: variable_call, ignore_visibility
        │   │   ├── receiver: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── name: :foo
        │   │   ├── message_loc: (22,4)-(22,7) = "foo"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   └── block: ∅
        │   ├── call_operator_loc: ∅
        │   ├── name: :!
        │   ├── message_loc: (22,0)-(22,3) = "not"
        │   ├── opening_loc: (22,3)-(22,4) = "("
        │   ├── arguments: ∅
        │   ├── closing_loc: (25,0)-(25,1) = ")"
        │   └── block: ∅
        ├── @ CallNode (location: (27,0)-(33,3))
        │   ├── flags: ∅
        │   ├── receiver:
        │   │   @ CallNode (location: (30,0)-(30,3))
        │   │   ├── flags: variable_call, ignore_visibility
        │   │   ├── receiver: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── name: :foo
        │   │   ├── message_loc: (30,0)-(30,3) = "foo"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   └── block: ∅
        │   ├── call_operator_loc: ∅
        │   ├── name: :!
        │   ├── message_loc: (27,0)-(27,3) = "not"
        │   ├── opening_loc: (27,3)-(27,4) = "("
        │   ├── arguments: ∅
        │   ├── closing_loc: (33,2)-(33,3) = ")"
        │   └── block: ∅
        ├── @ CallNode (location: (35,0)-(35,14))
        │   ├── flags: ∅
        │   ├── receiver:
        │   │   @ FlipFlopNode (location: (35,4)-(35,14))
        │   │   ├── flags: ∅
        │   │   ├── left:
        │   │   │   @ CallNode (location: (35,4)-(35,7))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :foo
        │   │   │   ├── message_loc: (35,4)-(35,7) = "foo"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   ├── right:
        │   │   │   @ CallNode (location: (35,11)-(35,14))
        │   │   │   ├── flags: variable_call, ignore_visibility
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── name: :bar
        │   │   │   ├── message_loc: (35,11)-(35,14) = "bar"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   └── block: ∅
        │   │   └── operator_loc: (35,8)-(35,10) = ".."
        │   ├── call_operator_loc: ∅
        │   ├── name: :!
        │   ├── message_loc: (35,0)-(35,3) = "not"
        │   ├── opening_loc: ∅
        │   ├── arguments: ∅
        │   ├── closing_loc: ∅
        │   └── block: ∅
        └── @ CallNode (location: (37,0)-(37,16))
            ├── flags: ∅
            ├── receiver:
            │   @ ParenthesesNode (location: (37,4)-(37,16))
            │   ├── body:
            │   │   @ StatementsNode (location: (37,5)-(37,15))
            │   │   └── body: (length: 1)
            │   │       └── @ FlipFlopNode (location: (37,5)-(37,15))
            │   │           ├── flags: ∅
            │   │           ├── left:
            │   │           │   @ CallNode (location: (37,5)-(37,8))
            │   │           │   ├── flags: variable_call, ignore_visibility
            │   │           │   ├── receiver: ∅
            │   │           │   ├── call_operator_loc: ∅
            │   │           │   ├── name: :foo
            │   │           │   ├── message_loc: (37,5)-(37,8) = "foo"
            │   │           │   ├── opening_loc: ∅
            │   │           │   ├── arguments: ∅
            │   │           │   ├── closing_loc: ∅
            │   │           │   └── block: ∅
            │   │           ├── right:
            │   │           │   @ CallNode (location: (37,12)-(37,15))
            │   │           │   ├── flags: variable_call, ignore_visibility
            │   │           │   ├── receiver: ∅
            │   │           │   ├── call_operator_loc: ∅
            │   │           │   ├── name: :bar
            │   │           │   ├── message_loc: (37,12)-(37,15) = "bar"
            │   │           │   ├── opening_loc: ∅
            │   │           │   ├── arguments: ∅
            │   │           │   ├── closing_loc: ∅
            │   │           │   └── block: ∅
            │   │           └── operator_loc: (37,9)-(37,11) = ".."
            │   ├── opening_loc: (37,4)-(37,5) = "("
            │   └── closing_loc: (37,15)-(37,16) = ")"
            ├── call_operator_loc: ∅
            ├── name: :!
            ├── message_loc: (37,0)-(37,3) = "not"
            ├── opening_loc: ∅
            ├── arguments: ∅
            ├── closing_loc: ∅
            └── block: ∅