Context Navigation

InferParam.tst @ 843054c2

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newstringwith_gc

Last change on this file since 843054c2 was 843054c2, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago
licencing: seventh groups of files
Property mode set to `100644`
File size: 8.0 KB

Line
1	?=?: a function
2	with parameters
3	pointer to signed int
4	signed int
5	returning
6	signed int
7
8	?=?: a function
9	with parameters
10	pointer to float
11	float
12	returning
13	float
14
15	?=?: a function
16	with parameters
17	pointer to double
18	double
19	returning
20	double
21
22	g: a forall
23	T: a type
24	with assertions
25	?=?: a pointer to function
26	with parameters
27	pointer to instance of type T
28	instance of type T
29	returning
30	instance of type T
31
32
33	U: a type
34	with assertions
35	?=?: a pointer to function
36	with parameters
37	pointer to instance of type U
38	instance of type U
39	returning
40	instance of type U
41
42	f: a pointer to function
43	with parameters
44	instance of type T
45	returning
46	instance of type U
47
48
49	function
50	with parameters
51	instance of type T
52	returning
53	instance of type U
54
55	f: a function
56	with parameters
57	signed int
58	returning
59	float
60
61	f: a function
62	with parameters
63	signed int
64	returning
65	double
66
67	i: a function
68	with parameters
69	float
70	returning
71	nothing
72
73	h: a function
74	accepting unspecified arguments
75	returning
76	nothing
77	with body
78	Declaration of a: a signed int
79
80	Expression Statement:
81	Application of
82	Variable Expression: i: a function
83	with parameters
84	float
85	returning
86	nothing
87
88	to arguments
89	Application of
90	Variable Expression: g: a forall
91	T: a type
92	with assertions
93	?=?: a pointer to function
94	with parameters
95	pointer to instance of type T
96	instance of type T
97	returning
98	instance of type T
99
100
101	U: a type
102	with assertions
103	?=?: a pointer to function
104	with parameters
105	pointer to instance of type U
106	instance of type U
107	returning
108	instance of type U
109
110	f: a pointer to function
111	with parameters
112	instance of type T
113	returning
114	instance of type U
115
116
117	function
118	with parameters
119	instance of type T
120	returning
121	instance of type U
122
123	to arguments
124	Variable Expression: a: a signed int
125
126	with inferred parameters:
127	?=?: a function
128	with parameters
129	pointer to signed int
130	signed int
131	returning
132	signed int
133
134	?=?: a function
135	with parameters
136	pointer to float
137	float
138	returning
139	float
140
141	f: a function
142	with parameters
143	signed int
144	returning
145	float
146
147
148	with environment:
149	Types:
150	_0_T -> signed int
151	_1_U -> float
152	Non-types:
153
154
155	context has_f_and_j
156	with parameters
157	T: a type
158	U: a type
159
160	with members
161	f: a function
162	with parameters
163	instance of type T
164	returning
165	instance of type U
166
167	j: a function
168	with parameters
169	instance of type T
170	instance of type U
171	returning
172	instance of type U
173
174
175	j: a function
176	with parameters
177	signed int
178	float
179	returning
180	float
181
182	k: a forall
183	T: a type
184	with assertions
185	?=?: a pointer to function
186	with parameters
187	pointer to instance of type T
188	instance of type T
189	returning
190	instance of type T
191
192
193	U: a type
194	with assertions
195	?=?: a pointer to function
196	with parameters
197	pointer to instance of type U
198	instance of type U
199	returning
200	instance of type U
201
202	f: a pointer to function
203	with parameters
204	instance of type T
205	returning
206	instance of type U
207
208	j: a pointer to function
209	with parameters
210	instance of type T
211	instance of type U
212	returning
213	instance of type U
214
215
216	function
217	with parameters
218	instance of type T
219	returning
220	instance of type U
221
222	l: a function
223	accepting unspecified arguments
224	returning
225	nothing
226	with body
227	Declaration of b: a signed int
228
229	Expression Statement:
230	Application of
231	Variable Expression: i: a function
232	with parameters
233	float
234	returning
235	nothing
236
237	to arguments
238	Application of
239	Variable Expression: k: a forall
240	T: a type
241	with assertions
242	?=?: a pointer to function
243	with parameters
244	pointer to instance of type T
245	instance of type T
246	returning
247	instance of type T
248
249
250	U: a type
251	with assertions
252	?=?: a pointer to function
253	with parameters
254	pointer to instance of type U
255	instance of type U
256	returning
257	instance of type U
258
259	f: a pointer to function
260	with parameters
261	instance of type T
262	returning
263	instance of type U
264
265	j: a pointer to function
266	with parameters
267	instance of type T
268	instance of type U
269	returning
270	instance of type U
271
272
273	function
274	with parameters
275	instance of type T
276	returning
277	instance of type U
278
279	to arguments
280	Variable Expression: b: a signed int
281
282	with inferred parameters:
283	?=?: a function
284	with parameters
285	pointer to signed int
286	signed int
287	returning
288	signed int
289
290	?=?: a function
291	with parameters
292	pointer to float
293	float
294	returning
295	float
296
297	f: a function
298	with parameters
299	signed int
300	returning
301	float
302
303	j: a function
304	with parameters
305	signed int
306	float
307	returning
308	float
309
310
311	with environment:
312	Types:
313	_0_T -> signed int
314	_1_U -> float
315	Non-types:
316
317

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format