source: to-imperative/trunk/samples/Syntax/const4.cc @ 770

Last change on this file since 770 was 745, checked in by orlov, 18 years ago
  • Updated samples reflecting changes in the compiler.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 3.5 KB
Line 
1#include <rf_core.hh>
2#include <refal/StdIO.hh>
3
4namespace refal
5{
6
7using namespace rfrt;
8
9namespace const4
10{
11
12static const Expr A1 = Char::create_expr ("A");
13
14static const Expr A2 = (A1) () + (A1) ();
15
16static const Expr A3 = (A2) () + (A2) ();
17
18static const Expr A4 = (A3) () + (A3) ();
19
20static const Expr A5 = (A4) () + (A4) ();
21
22static const Expr A6 = (A5) () + (A5) ();
23
24static const Expr A7 = (A6) () + (A6) ();
25
26static const Expr A8 = (A7) () + (A7) ();
27
28static const Expr A9 = (A8) () + (A8) ();
29
30static const Expr A10 = (A9) () + (A9) ();
31
32static const Expr A11 = (A10) () + (A10) ();
33
34static const Expr A12 = (A11) () + (A11) ();
35
36static const Expr A13 = (A12) () + (A12) ();
37
38static const Expr A14 = (A13) () + (A13) ();
39
40static const Expr A15 = (A14) () + (A14) ();
41
42static const Expr A16 = (A15) () + (A15) ();
43
44static const Expr A17 = (A16) () + (A16) ();
45
46static const Expr A18 = (A17) () + (A17) ();
47
48static const Expr A19 = (A18) () + (A18) ();
49
50static const Expr A20 = (A19) () + (A19) ();
51
52static const Expr A21 = (A20) () + (A20) ();
53
54static const Expr A22 = (A21) () + (A21) ();
55
56static const Expr A23 = (A22) () + (A22) ();
57
58static const Expr A24 = (A23) () + (A23) ();
59
60static const Expr A25 = (A24) () + (A24) ();
61
62static const Expr A26 = (A25) () + (A25) ();
63
64static const Expr A27 = (A26) () + (A26) ();
65
66static const Expr A28 = (A27) () + (A27) ();
67
68static const Expr A29 = (A28) () + (A28) ();
69
70static const Expr A30 = (A29) () + (A29) ();
71
72static const Expr A31 = (A30) () + (A30) ();
73
74static const Expr A32 = (A31) () + (A31) ();
75
76static const Expr A33 = (A32) () + (A32) ();
77
78static const Expr A34 = (A33) () + (A33) ();
79
80static const Expr A35 = (A34) () + (A34) ();
81
82static const Expr A36 = (A35) () + (A35) ();
83
84static const Expr A37 = (A36) () + (A36) ();
85
86static const Expr A38 = (A37) () + (A37) ();
87
88static const Expr A39 = (A38) () + (A38) ();
89
90static const Expr A40 = (A39) () + (A39) ();
91
92static const Expr A41 = (A40) () + (A40) ();
93
94static const Expr A42 = (A41) () + (A41) ();
95
96static const Expr A43 = (A42) () + (A42) ();
97
98static const Expr A44 = (A43) () + (A43) ();
99
100static const Expr A45 = (A44) () + (A44) ();
101
102static const Expr A46 = (A45) () + (A45) ();
103
104static const Expr A47 = (A46) () + (A46) ();
105
106static const Expr A48 = (A47) () + (A47) ();
107
108static const Expr A49 = (A48) () + (A48) ();
109
110static const Expr A50 = (A49) () + (A49) ();
111
112static const Expr A51 = (A50) () + (A50) ();
113
114static const Expr A52 = (A51) () + (A51) ();
115
116static const Expr A53 = (A52) () + (A52) ();
117
118static const Expr A54 = (A53) () + (A53) ();
119
120static const Expr A55 = (A54) () + (A54) ();
121
122static const Expr A56 = (A55) () + (A55) ();
123
124static const Expr A57 = (A56) () + (A56) ();
125
126static const Expr A58 = (A57) () + (A57) ();
127
128static const Expr A59 = (A58) () + (A58) ();
129
130static const Expr A60 = (A59) () + (A59) ();
131
132static const Expr A61 = (A60) () + (A60) ();
133
134static const Expr A62 = (A61) () + (A61) ();
135
136static const Expr A63 = (A62) () + (A62) ();
137
138static const Expr A64 = (A63) () + (A63) ();
139
140static const Expr _c_0 = A1 + A57 + Char::create_expr ("A");
141
142static const Expr _c_1 = Char::create_expr ("A") + A57 + A1;
143
144static const Expr _c_2 = Char::create_expr ("OK");
145
146RF_FUNC (Main, (), (RF_RES _v_res1))
147  {
148    {
149      if (!Expr::eq (A63, 0, 2, A64, 0, 2))
150      {
151        goto block1__branch1;
152      }
153      _v_res1 = empty;
154      goto block1;
155    }
156  block1__branch1: {}
157    if (!Expr::eq (_c_0, 0, 4, _c_1, 0, 4))
158    {
159      error ("Unexpected fail");
160    }
161    RF_CALL (StdIO::PrintLN, (_c_2), ());
162    _v_res1 = empty;
163  }
164block1: {}
165RF_END
166
167}
168
169rfrt::Entry rf_entry (const4::Main);
170
171}
Note: See TracBrowser for help on using the repository browser.