source: translator/Tests/Parser/Expected/Scope.tst @ 5c7fb6c

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

initial commit
  • Property mode set to 100644
File size: 3.1 KB
Line 
1x: a int
2y: a typedef definition for double
3t: a typedef definition for float
4z: a instance of type y
5u: a type definition for instance of struct __anonymous0
6    with members
7      a: a int
8      b: a double
9
10f: a function
11  with parameters
12    y: a int
13  returning int
14
15q: a instance of type y
16w: a function
17  with parameters
18    y: a instance of type y
19    v: a instance of type u
20  returning instance of type y
21  with body
22    x: a type definition
23      with assertions
24        t: a function
25          with parameters
26            instance of type u
27          returning instance of type x
28
29     
30    u: a instance of type u
31      with initializer y
32    z: a instance of type x
33      with initializer ( t u )
34
35p: a instance of type y
36context has_u
37  with type parameters
38    z: a type variable
39  with members
40    u: a function
41      with parameters
42        instance of type z
43      returning instance of type z
44
45
46q: a forall
47    t: a type variable
48      with assertions
49        instance of context has_u
50          with parameters
51          Type:            instance of type t
52
53     
54function
55  with parameters
56    the_t: a instance of type t
57  returning instance of type y
58  with body
59    y: a instance of type t
60      with initializer ( u the_t )
61
62f: a function
63  with parameters
64    p: a instance of type y
65  returning instance of type t
66  with body
67    y: a int
68    x: a typedef definition for char
69      y: a instance of type x
70      z: a typedef definition for instance of type x
71        x: a instance of type z
72        y: a typedef definition for instance of type z
73        z: a instance of type y
74          with initializer x
75      x: a instance of type z
76        with initializer y
77    q: a instance of type x
78      with initializer y
79
80g: a function
81  with parameters
82    void
83  returning instance of type t
84  with body
85    x: a typedef definition for char
86
87    Try
88
89        Branches of execution:
90             
91              Application of:
92
93                  Referencing: Variable: some_func
94
95              ... on no arguments:
96
97
98            Catch
99
100                Declaration:
101                    x: a instance of type x
102
103                Branches of execution:
104                      y: a instance of type t
105                        with initializer x
106    z: a instance of type x
107
108q: a function
109  with no parameters
110  with old-style identifier list
111    i: a untyped entity
112  with old-style declaration list
113    i: a int
114  returning instance of type y
115  with body
116
117    Switch
118
119        Expression:
120
121            Referencing: Variable: i
122
123        Branches of execution:
124
125            Case
126
127                Expression:
128
129                    Referencing: Variable: 0
130
131                Branches of execution:
132
133                    Return
134
135                        Expression:
136
137                            Referencing: Variable: q
138
139            Default
140
141                Expression:
142
143                    Null Expression
144
145                Branches of execution:
146
147                    Return
148
149                        Expression:
150
151                            Referencing: Variable: i
152
Note: See TracBrowser for help on using the repository browser.