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

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

regression testing: update expects -av
  • Property mode set to 100644
File size: 3.3 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 S1
68    with parameters
69      T: type
70
71struct S1
72    with parameters
73      T: type
74
75    with members
76      i: instance of type T (not function type)
77
78v1: instance of struct S1
79  with parameters
80    signed int
81
82p: pointer to instance of struct S1
83  with parameters
84    signed int
85
86struct S2
87    with parameters
88      T: type
89
90    with members
91      i: instance of type T (not function type)
92
93v2: instance of struct S2
94  with parameters
95    signed int
96
97struct __anonymous1
98    with parameters
99      T: type
100
101    with members
102      i: instance of type T (not function type)
103
104v2: instance of struct __anonymous1
105  with parameters
106    signed int
107
108struct node
109    with parameters
110      T: type
111        with assertions
112          instance of context addable
113            with parameters
114              instance of type T (not function type)
115
116
117
118    with members
119      data: instance of type T (not function type)
120      next: pointer to instance of struct node
121        with parameters
122          instance of type T (not function type)
123
124
125List: type for pointer to instance of struct node
126  with parameters
127    instance of type T (not function type)
128
129  with parameters
130    T: type
131
132my_list: instance of type List (not function type)
133  with parameters
134    signed int
135
136Complex: type
137  with assertions
138    instance of context addable
139      with parameters
140        instance of type Complex (not function type)
141
142
143main: C function
144      accepting unspecified arguments
145    returning
146      signed int
147    with body
148      CompoundStmt
149                  Expression Statement:
150            Cast of:
151              Name: my_list
152
153            to:
154              instance of struct node
155                with parameters
156                  signed int
157
158
159
Note: See TracBrowser for help on using the repository browser.