Context Navigation

Rank2.tst @ cd623a4

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 cd623a4 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.5 KB

Line
1	?=?: a function
2	with parameters
3	pointer to signed int
4	signed int
5	returning
6	signed int
7
8	?=?: a forall
9	DT: a incomplete type
10	function
11	with parameters
12	pointer to pointer to instance of type DT
13	pointer to instance of type DT
14	returning
15	pointer to instance of type DT
16
17	a: a function
18	accepting unspecified arguments
19	returning
20	nothing
21	with body
22	Declaration of f: 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	function
34	with parameters
35	instance of type T
36	returning
37	nothing
38
39	Declaration of g: a function
40	with parameters
41	p: a pointer to forall
42	U: a type
43	with assertions
44	?=?: a pointer to function
45	with parameters
46	pointer to instance of type U
47	instance of type U
48	returning
49	instance of type U
50
51
52	function
53	with parameters
54	instance of type U
55	returning
56	nothing
57
58	returning
59	nothing
60
61
62	Expression Statement:
63	Application of
64	Variable Expression: g: a function
65	with parameters
66	p: a pointer to forall
67	U: a type
68	with assertions
69	?=?: a pointer to function
70	with parameters
71	pointer to instance of type U
72	instance of type U
73	returning
74	instance of type U
75
76
77	function
78	with parameters
79	instance of type U
80	returning
81	nothing
82
83	returning
84	nothing
85
86	to arguments
87	Variable Expression: f: a forall
88	T: a type
89	with assertions
90	?=?: a pointer to function
91	with parameters
92	pointer to instance of type T
93	instance of type T
94	returning
95	instance of type T
96
97
98	function
99	with parameters
100	instance of type T
101	returning
102	nothing
103
104
105	with inferred parameters:
106	?=?: a pointer to function
107	with parameters
108	pointer to instance of type U
109	instance of type U
110	returning
111	instance of type U
112
113	with environment:
114	Types:
115	_1_T -> instance of type _0_U
116	Non-types:
117
118
119	g: a function
120	accepting unspecified arguments
121	returning
122	nothing
123	with body
124	Declaration of h: a function
125	with parameters
126	null: a pointer to signed int
127	returning
128	nothing
129
130	Declaration of id: a forall
131	T: a type
132	with assertions
133	?=?: a pointer to function
134	with parameters
135	pointer to instance of type T
136	instance of type T
137	returning
138	instance of type T
139
140
141	function
142	with parameters
143	instance of type T
144	returning
145	instance of type T
146
147	Declaration of 0: a forall
148	T: a incomplete type
149	pointer to instance of type T
150	Declaration of 0: a signed int
151
152	Expression Statement:
153	Application of
154	Variable Expression: h: a function
155	with parameters
156	null: a pointer to signed int
157	returning
158	nothing
159
160	to arguments
161	Application of
162	Variable Expression: id: a forall
163	T: a type
164	with assertions
165	?=?: a pointer to function
166	with parameters
167	pointer to instance of type T
168	instance of type T
169	returning
170	instance of type T
171
172
173	function
174	with parameters
175	instance of type T
176	returning
177	instance of type T
178
179	to arguments
180	Application of
181	Variable Expression: id: a forall
182	T: a type
183	with assertions
184	?=?: a pointer to function
185	with parameters
186	pointer to instance of type T
187	instance of type T
188	returning
189	instance of type T
190
191
192	function
193	with parameters
194	instance of type T
195	returning
196	instance of type T
197
198	to arguments
199	Application of
200	Variable Expression: id: a forall
201	T: a type
202	with assertions
203	?=?: a pointer to function
204	with parameters
205	pointer to instance of type T
206	instance of type T
207	returning
208	instance of type T
209
210
211	function
212	with parameters
213	instance of type T
214	returning
215	instance of type T
216
217	to arguments
218	Variable Expression: 0: a forall
219	T: a incomplete type
220	pointer to instance of type T
221
222	with inferred parameters:
223	?=?: a forall
224	DT: a incomplete type
225	function
226	with parameters
227	pointer to pointer to instance of type DT
228	pointer to instance of type DT
229	returning
230	pointer to instance of type DT
231
232
233	with inferred parameters:
234	?=?: a forall
235	DT: a incomplete type
236	function
237	with parameters
238	pointer to pointer to instance of type DT
239	pointer to instance of type DT
240	returning
241	pointer to instance of type DT
242
243
244	with inferred parameters:
245	?=?: a forall
246	DT: a incomplete type
247	function
248	with parameters
249	pointer to pointer to instance of type DT
250	pointer to instance of type DT
251	returning
252	pointer to instance of type DT
253
254
255	with environment:
256	Types:
257	_0_T -> forall
258	_3_T: a incomplete type
259	pointer to instance of type _3_T
260	_1_T -> forall
261	_3_T: a incomplete type
262	pointer to instance of type _3_T
263	_2_T -> forall
264	_3_T: a incomplete type
265	pointer to instance of type _3_T
266	_3_T -> signed int
267	_5_DT -> signed int
268	_7_DT -> signed int
269	_9_DT -> signed int
270	Non-types:
271
272

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

Download in other formats:

Original Format