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

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 71f4e4f was 68cd1ce, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago

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