source:
translator/Tests/SynTree/Scope.c
@
42dcae7
Last change on this file since 42dcae7 was 51b7345, checked in by , 10 years ago | |
---|---|
|
|
File size: 661 bytes |
Rev | Line | |
---|---|---|
[51b7345] | 1 | int x; |
2 | typedef double y; | |
3 | typedef float t; | |
4 | y z; | |
5 | type u = struct { int a; double b; }; | |
6 | int f( int y ); | |
7 | y q; | |
8 | ||
9 | y w(y y, u v) { | |
10 | type x | { x t(u); }; | |
11 | u u = y; | |
12 | x z = t(u); | |
13 | } | |
14 | ||
15 | y p; | |
16 | ||
17 | context has_u( type z ) | |
18 | { | |
19 | z u(z); | |
20 | }; | |
21 | ||
22 | forall( type t | has_u( t ) ) | |
23 | y q( t the_t ) | |
24 | { | |
25 | t y = u( the_t ); | |
26 | } | |
27 | ||
28 | t f( y p ) { | |
29 | int y; | |
30 | typedef char x; | |
31 | ||
32 | { | |
33 | x y; | |
34 | typedef x z; | |
35 | ||
36 | { | |
37 | z x; | |
38 | typedef z y; | |
39 | y z = x; | |
40 | } | |
41 | ||
42 | z x = y; | |
43 | } | |
44 | ||
45 | x q = y; | |
46 | } | |
47 | ||
48 | t g( void ) { | |
49 | typedef char x; | |
50 | try { | |
51 | some_func(); | |
52 | } catch ( x x ) { | |
53 | t y = x; | |
54 | } | |
55 | x z; | |
56 | } | |
57 | ||
58 | y q(i) | |
59 | int i; | |
60 | { | |
61 | switch (i) { | |
62 | y q = i; | |
63 | case 0: | |
64 | return q; | |
65 | default: | |
66 | return i; | |
67 | } | |
68 | } | |
69 |
Note: See TracBrowser
for help on using the repository browser.