source: translator/Tests/ResolvExpr/Expected/Abstype.tst @ b1a6d6b

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 b1a6d6b was 51b7345, checked in by Peter A. Buhr <pabuhr@…>, 10 years ago

initial commit
  • Property mode set to 100644
File size: 4.8 KB
Line 
1T: a type
2  with assertions
3    x: a function
4        with parameters
5          instance of type T
6        returning
7          instance of type T
8
9
10?=?: a automatically generated function
11    with parameters
12      _dst: a pointer to instance of type T
13      _src: a instance of type T
14    returning
15      instance of type T
16
17y: a function
18    with parameters
19      t: a instance of type T
20    returning
21      instance of type T
22    with body
23      Declaration of t_instance: a instance of type T
24     
25        Return Statement, returning: Cast of:
26  Application of
27    Variable Expression: x: a function
28        with parameters
29          instance of type T
30        returning
31          instance of type T
32
33  to arguments
34          Variable Expression: t: a instance of type T
35
36
37to:
38  instance of type T
39with environment:
40  Types:
41  Non-types:
42
43
44
45*?: a forall
46      T: a type
47        with assertions
48          ?=?: a pointer to function
49              with parameters
50                pointer to instance of type T
51                instance of type T
52              returning
53                instance of type T
54
55
56    function
57    with parameters
58      pointer to instance of type T
59    returning
60      lvalue instance of type T
61
62?++: a function
63    with parameters
64      pointer to signed int
65    returning
66      signed int
67
68?=?: a function
69    with parameters
70      pointer to signed int
71      signed int
72    returning
73      signed int
74
75?=?: a forall
76      DT: a incomplete type
77    function
78    with parameters
79      pointer to pointer to instance of type DT
80      pointer to instance of type DT
81    returning
82      pointer to instance of type DT
83
84U: a type for pointer to signed int
85?=?: a automatically generated function
86    with parameters
87      _dst: a pointer to instance of type U
88      _src: a instance of type U
89    returning
90      instance of type U
91    with body
92     
93        Return Statement, returning: Cast of:
94  Application of
95    Variable Expression: ?=?: a forall
96          DT: a incomplete type
97        function
98        with parameters
99          pointer to pointer to instance of type DT
100          pointer to instance of type DT
101        returning
102          pointer to instance of type DT
103
104  to arguments
105          Cast of:
106        Variable Expression: _dst: a pointer to instance of type U
107
108      to:
109        pointer to pointer to signed int
110
111          Cast of:
112        Variable Expression: _src: a instance of type U
113
114      to:
115        pointer to signed int
116
117
118to:
119  instance of type U
120with environment:
121  Types:
122    _0_DT -> signed int
123  Non-types:
124
125
126
127x: a function
128    with parameters
129      u: a instance of type U
130    returning
131      instance of type U
132    with body
133      Declaration of u_instance: a instance of type U with initializer
134        Simple Initializer:           Name: u
135
136     
137        Expression Statement:
138          Application of
139            Variable Expression: ?++: a function
140                with parameters
141                  pointer to signed int
142                returning
143                  signed int
144
145          to arguments
146                          Address of:
147                Application of
148                  Variable Expression: *?: a forall
149                        T: a type
150                          with assertions
151                            ?=?: a pointer to function
152                                with parameters
153                                  pointer to instance of type T
154                                  instance of type T
155                                returning
156                                  instance of type T
157
158
159                      function
160                      with parameters
161                        pointer to instance of type T
162                      returning
163                        lvalue instance of type T
164
165                to arguments
166                                      Cast of:
167                      Variable Expression: u: a instance of type U
168
169                    to:
170                      pointer to signed int
171
172                with inferred parameters:
173                  ?=?: a function
174                    with parameters
175                      pointer to signed int
176                      signed int
177                    returning
178                      signed int
179
180
181          with environment:
182            Types:
183              _0_T -> signed int
184            Non-types:
185
186     
187        Return Statement, returning: Cast of:
188  Variable Expression: u: a instance of type U
189
190to:
191  instance of type U
192with environment:
193  Types:
194  Non-types:
195
196
197
198break_abstraction: a function
199    with parameters
200      u: a instance of type U
201    returning
202      pointer to signed int
203    with body
204     
205        Return Statement, returning: Cast of:
206  Variable Expression: u: a instance of type U
207
208to:
209  pointer to signed int
210with environment:
211  Types:
212  Non-types:
213
214
215
Note: See TracBrowser for help on using the repository browser.