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

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 b1d6dd5 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
RevLine 
[51b7345]1context addable
2    with parameters
[5f2f2d7]3      T: type
[51b7345]4
5    with members
[5f2f2d7]6      ?+?: function
[51b7345]7          with parameters
[5f2f2d7]8            instance of type T (not function type)
9            instance of type T (not function type)
[51b7345]10          returning
[5f2f2d7]11            instance of type T (not function type)
[51b7345]12
13
14struct __anonymous0
15    with members
[5f2f2d7]16      data: instance of type T (not function type)
[b1d6dd5]17      next: pointer to instance of type List1 (not function type)
[51b7345]18        with parameters
[5f2f2d7]19          instance of type T (not function type)
[51b7345]20
21
[b1d6dd5]22List1: type for pointer to instance of struct __anonymous0
[51b7345]23  with parameters
[5f2f2d7]24    T: type
[51b7345]25      with assertions
26        instance of context addable
27          with parameters
[5f2f2d7]28            instance of type T (not function type)
[51b7345]29
30
31
32  with assertions
33    instance of context addable
34      with parameters
[5f2f2d7]35        instance of type T (not function type)
[51b7345]36
37
[b1d6dd5]38li: instance of type List1 (not function type)
[51b7345]39  with parameters
40    signed int
41
[5f2f2d7]42f: function
[51b7345]43    with parameters
[5f2f2d7]44      g: pointer to function
[51b7345]45          with parameters
46            signed int
47          returning
[b1d6dd5]48            instance of type List1 (not function type)
[51b7345]49              with parameters
50                signed int
51
52
53    returning
54      signed int
55
[5f2f2d7]56h: function
[51b7345]57    with parameters
[b1d6dd5]58      p: pointer to instance of type List1 (not function type)
[51b7345]59        with parameters
60          signed int
61
62    returning
63      signed int
64
[b1d6dd5]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
[51b7345]106struct node
107    with parameters
[5f2f2d7]108      T: type
[51b7345]109        with assertions
110          instance of context addable
111            with parameters
[5f2f2d7]112              instance of type T (not function type)
[51b7345]113
114
115
116    with members
[5f2f2d7]117      data: instance of type T (not function type)
118      next: pointer to instance of struct node
[51b7345]119        with parameters
[5f2f2d7]120          instance of type T (not function type)
[51b7345]121
122
[5f2f2d7]123List: type for pointer to instance of struct node
[51b7345]124  with parameters
[5f2f2d7]125    instance of type T (not function type)
[51b7345]126
127  with parameters
[5f2f2d7]128    T: type
[51b7345]129
[5f2f2d7]130my_list: instance of type List (not function type)
[51b7345]131  with parameters
132    signed int
133
[5f2f2d7]134Complex: type
[51b7345]135  with assertions
136    instance of context addable
137      with parameters
[5f2f2d7]138        instance of type Complex (not function type)
[51b7345]139
140
[5f2f2d7]141main: C function
142      accepting unspecified arguments
[51b7345]143    returning
144      signed int
145    with body
[5f2f2d7]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
[51b7345]155
156
157
Note: See TracBrowser for help on using the repository browser.