source: translator/Tests/Parser/Expected/Forall.tst@ fe3b61b

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors ctor deferred_resn demangler enum forall-pointer-decay gc_noraii jacob/cs343-translation jenkins-sandbox memory new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new string with_gc
Last change on this file since fe3b61b was 51b73452, checked in by Peter A. Buhr <pabuhr@…>, 11 years ago

initial commit
  • Property mode set to 100644
File size: 5.8 KB
Line 
1f: a typedef definition for pointer to forall
2 T: a type variable
3function
4 with parameters
5 int
6 returning int
7
8swap: a forall
9 T: a type variable
10function
11 with parameters
12 left: a instance of type T
13 right: a instance of type T
14 returning void
15 with body
16 temp: a instance of type T
17
18 Application of:
19
20 Operator: Assign
21
22 ... on arguments:
23
24 Referencing: Variable: left
25
26 Referencing: Variable: right
27
28
29 Application of:
30
31 Operator: Assign
32
33 ... on arguments:
34
35 Referencing: Variable: right
36
37 Referencing: Variable: temp
38
39
40context sumable
41 with type parameters
42 T: a type variable
43 with members
44 0: a const instance of type T
45 ?+?: a function
46 with parameters
47 instance of type T
48 instance of type T
49 returning instance of type T
50
51 ?++: a function
52 with parameters
53 instance of type T
54 returning instance of type T
55
56 ?+=?: a function
57 with parameters
58 instance of type T
59 instance of type T
60 returning tuple with members
61 instance of type T
62
63
64
65T1: a type definition
66 with assertions
67 0: a const instance of type T1
68 ?+?: a function
69 with parameters
70 instance of type T1
71 instance of type T1
72 returning instance of type T1
73
74 ?++: a function
75 with parameters
76 instance of type T1
77 returning instance of type T1
78
79 ?+=?: a function
80 with parameters
81 instance of type T1
82 instance of type T1
83 returning tuple with members
84 instance of type T1
85
86
87
88T2: a type definition
89 with parameters
90 P1: a type variable
91 P2: a type variable
92
93T3: a type definition
94 with assertions
95 instance of context sumable
96 with parameters
97 Type: instance of type T3
98
99
100T2: a type definition
101 with parameters
102 P1: a type variable
103 P2: a type variable
104
105 with assertions
106 instance of context sumable
107 with parameters
108 Type: instance of type T2 with parameters
109 Type: instance of type P1
110 Type: instance of type P2
111
112
113 for instance of struct __anonymous0
114 with members
115 i: a instance of type P1
116 j: a instance of type P2
117
118w1: a instance of type T2 with parameters
119 Type: int
120 Type: int
121
122w2: a typedef definition for instance of type T2 with parameters
123 Type: int
124 Type: int
125
126g2: a instance of type w2
127w3: a type definition for instance of type T2 with parameters
128 Type: int
129 Type: int
130
131g3: a instance of type w3
132sum: a forall
133 T: a type variable
134 with assertions
135 instance of context sumable
136 with parameters
137 Type: instance of type T
138
139
140function
141 with parameters
142 n: a int
143 a: a open array of instance of type T
144 returning instance of type T
145 with body
146 total: a instance of type T
147 i: a int
148
149 For
150
151 Expression:
152
153 Application of:
154
155 Operator: Assign
156
157 ... on arguments:
158
159 Referencing: Variable: i
160
161 Referencing: Variable: 0
162
163 Application of:
164
165 Operator: LThan
166
167 ... on arguments:
168
169 Referencing: Variable: i
170
171 Referencing: Variable: n
172
173 Application of:
174
175 Operator: PlusAssn
176
177 ... on arguments:
178
179 Referencing: Variable: i
180
181 Referencing: Variable: 1
182
183 Branches of execution:
184
185 Application of:
186
187 Operator: Assign
188
189 ... on arguments:
190
191 Referencing: Variable: total
192
193 Application of:
194
195 Operator: Plus
196
197 ... on arguments:
198
199 Referencing: Variable: total
200
201 Application of:
202
203 Operator: Index
204
205 ... on arguments:
206
207 Referencing: Variable: a
208
209 Referencing: Variable: i
210
211
212 Return
213
214 Expression:
215
216 Referencing: Variable: total
217
218twice: a forall
219 T: a type variable
220 with assertions
221 0: a const instance of type T
222 ?+?: a function
223 with parameters
224 instance of type T
225 instance of type T
226 returning instance of type T
227
228 ?++: a function
229 with parameters
230 instance of type T
231 returning instance of type T
232
233 ?+=?: a function
234 with parameters
235 instance of type T
236 instance of type T
237 returning tuple with members
238 instance of type T
239
240
241
242function
243 with parameters
244 t: a instance of type T
245 returning instance of type T
246 with body
247
248 Return
249
250 Expression:
251
252 Application of:
253
254 Operator: Plus
255
256 ... on arguments:
257
258 Referencing: Variable: t
259
260 Referencing: Variable: t
261
262main: a function
263 with no parameters
264 returning int
265 with body
266 x: a int
267 y: a int
268 a: a array of 10 int
269 f: a float
270
271 Application of:
272
273 Referencing: Variable: swap
274
275 ... on arguments:
276
277 Referencing: Variable: x
278
279 Referencing: Variable: y
280
281
282 Application of:
283
284 Referencing: Variable: twice
285
286 ... on arguments:
287
288 Referencing: Variable: x
289
290 Referencing: Variable: y
291
292
293 Application of:
294
295 Operator: Assign
296
297 ... on arguments:
298
299 Referencing: Variable: f
300
301 Application of:
302
303 Referencing: Variable: min
304
305 ... on arguments:
306 4.0
307 3.0
308
309
310 Application of:
311
312 Referencing: Variable: sum
313
314 ... on arguments:
315 10
316
317 Referencing: Variable: a
318
319
Note: See TracBrowser for help on using the repository browser.