source: src/Tests/Expect-a/TypeGenerator.txt @ eff0cad0

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 eff0cad0 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs
  • Property mode set to 100644
File size: 3.1 KB
Line 
1context addable
2    with parameters
3      T: type
4
5    with members
6      ?+?: function
7          with parameters
8            instance of type T (not function type)
9            instance of type T (not function type)
10          returning
11            instance of type T (not function type)
12
13
14struct __anonymous0
15    with members
16      data: instance of type T (not function type)
17      next: pointer to instance of type List1 (not function type)
18        with parameters
19          instance of type T (not function type)
20
21
22List1: type for pointer to instance of struct __anonymous0
23  with parameters
24    T: type
25      with assertions
26        instance of context addable
27          with parameters
28            instance of type T (not function type)
29
30
31
32  with assertions
33    instance of context addable
34      with parameters
35        instance of type T (not function type)
36
37
38li: instance of type List1 (not function type)
39  with parameters
40    signed int
41
42f: function
43    with parameters
44      g: pointer to function
45          with parameters
46            signed int
47          returning
48            instance of type List1 (not function type)
49              with parameters
50                signed int
51
52
53    returning
54      signed int
55
56h: function
57    with parameters
58      p: pointer to instance of type List1 (not function type)
59        with parameters
60          signed int
61
62    returning
63      signed int
64
65struct S1
66    with parameters
67      T: type
68
69struct S1
70    with parameters
71      T: type
72
73    with members
74      i: instance of type T (not function type)
75
76v1: instance of struct S1
77  with parameters
78    signed int
79
80p: pointer to instance of struct S1
81  with parameters
82    signed int
83
84struct S2
85    with parameters
86      T: type
87
88    with members
89      i: instance of type T (not function type)
90
91v2: instance of struct S2
92  with parameters
93    signed int
94
95struct __anonymous1
96    with parameters
97      T: type
98
99    with members
100      i: instance of type T (not function type)
101
102v2: instance of struct __anonymous1
103  with parameters
104    signed int
105
106struct node
107    with parameters
108      T: type
109        with assertions
110          instance of context addable
111            with parameters
112              instance of type T (not function type)
113
114
115
116    with members
117      data: instance of type T (not function type)
118      next: pointer to instance of struct node
119        with parameters
120          instance of type T (not function type)
121
122
123List: type for pointer to instance of struct node
124  with parameters
125    instance of type T (not function type)
126
127  with parameters
128    T: type
129
130my_list: instance of type List (not function type)
131  with parameters
132    signed int
133
134Complex: type
135  with assertions
136    instance of context addable
137      with parameters
138        instance of type Complex (not function type)
139
140
141main: C function
142      accepting unspecified arguments
143    returning
144      signed int
145    with body
146      CompoundStmt
147                  Expression Statement:
148            Cast of:
149              Name: my_list
150
151            to:
152              instance of struct node
153                with parameters
154                  signed int
155
156
157
Note: See TracBrowser for help on using the repository browser.