source: translator/Tests/SynTree/Expected/Scope.tst @ 3848e0e

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

initial commit
  • Property mode set to 100644
File size: 2.5 KB
Line 
1in default case, (shouldn't be here)
2in default case, (shouldn't be here)
3in default case, (shouldn't be here)
4x: a signed int
5y: a typedef for double
6t: a typedef for float
7z: a instance of type y
8struct __anonymous0
9    with members
10      a: a signed int
11      b: a double
12
13u: a type for instance of struct __anonymous0
14f: a function
15    with parameters
16      y: a signed int
17    returning
18      signed int
19
20q: a instance of type y
21w: a function
22    with parameters
23      y: a instance of type y
24      v: a instance of type u
25    returning
26      instance of type y
27    with body
28      Declaration of x: a type
29        with assertions
30          t: a function
31              with parameters
32                instance of type u
33              returning
34                instance of type x
35
36
37      Declaration of u: a instance of type u
38      Declaration of z: a instance of type x
39
40p: a instance of type y
41context has_u
42    with parameters
43      z: a type
44
45    with members
46      u: a function
47          with parameters
48            instance of type z
49          returning
50            instance of type z
51
52
53q: a function
54    with parameters
55      the_t: a instance of type t
56    with forall
57      t: a type
58        with assertions
59          instance of context has_u
60            with parameters
61              instance of type t
62
63
64    returning
65      instance of type y
66    with body
67      Declaration of y: a instance of type t
68
69f: a function
70    with parameters
71      p: a instance of type y
72    returning
73      instance of type t
74    with body
75      Declaration of y: a signed int
76      Declaration of x: a typedef for char
77              Declaration of y: a instance of type x
78        Declaration of z: a typedef for instance of type x
79                  Declaration of x: a instance of type z
80          Declaration of y: a typedef for instance of type z
81          Declaration of z: a instance of type y
82
83        Declaration of x: a instance of type z
84
85      Declaration of q: a instance of type x
86
87g: a function
88    with parameters
89      void
90    returning
91      instance of type t
92    with body
93      Declaration of x: a typedef for char
94      Declaration of z: a instance of type x
95
96q: a function
97    returning
98      instance of type y
99    with parameter names
100      i
101    with parameter declarations
102      i: a signed int
103    with body
104     
105        Switch on condition:
106            Name: i
107
108            Case:
109            .... and 1 conditions
110                Name: 0
111
112            Case:
113            .... and 0 conditions
114
115
Note: See TracBrowser for help on using the repository browser.