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

Last change on this file since 770 was 721, checked in by orlov, 18 years ago
  • Corrected bug in the static expression generation algorithm.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 2.7 KB
Line 
1#include <rf_core.hh>
2
3namespace refal
4{
5
6using namespace rfrt;
7
8namespace static1
9{
10
11static const Expr _c_17 = Word::create_expr ("X") + Word::create_expr ("A") + Word::create_expr ("B") + Word::create_expr ("C") + Word::create_expr ("D");
12
13static const Expr _c_18 = Expr (_c_17, 2, 2);
14
15static const Expr _c_0 = Word::create_expr ("A") + (_c_18) () + Word::create_expr ("D");
16
17static const Expr _c_19 = Expr (_c_17, 3, 2);
18
19static const Expr _c_5 = Word::create_expr ("A") + Word::create_expr ("B") + (_c_19) () + Word::create_expr ("E") + Word::create_expr ("F");
20
21static const Expr _c_1 = Expr (_c_5, 0, 2);
22
23static const Expr _c_20 = Expr (_c_17, 0, 3);
24
25static const Expr _c_8 = (_c_1) () + (_c_20) () + (_c_17) () + (_c_18) () + (_c_19) ();
26
27static const Expr _c_2 = Expr (_c_8, 0, 1);
28
29static const Expr _c_3 = (_c_2) ();
30
31static const Expr _c_4 = Word::create_expr ("D") + (_c_18) () + Word::create_expr ("A");
32
33static const Expr _c_7 = Word::create_expr ("A") + Word::create_expr ("X") + (_c_19) () + Word::create_expr ("Y") + Word::create_expr ("B") + (Word::create_expr ("Z") + Word::create_expr ("Z")) ();
34
35static const Expr _c_6 = Word::create_expr ("M") + (Expr (_c_7, 1, 3)) () + Word::create_expr ("N");
36
37static const Expr _c_9 = Expr (_c_8, 1, 2);
38
39static const Expr _c_21 = (empty) ();
40
41static const Expr _c_10 = ((_c_21) ()) () + (_c_21) () + (empty) ();
42
43static const Expr _c_14 = ShortInt::create_expr (1) + ShortInt::create_expr (2) + ShortInt::create_expr (3) + ShortInt::create_expr (4);
44
45static const Expr _c_11 = Expr (_c_14, 0, 2);
46
47static const Expr _c_12 = Expr (_c_14, 2, 2);
48
49static const Expr _c_13 = Expr (_c_14, 1, 2);
50
51static const Expr _c_15 = Expr (_c_14, 0, 3);
52
53static const Expr _c_16 = Expr (_c_14, 1, 3);
54
55RF_FUNC (Main, (), (RF_RES _v_res1))
56  Expr _ve__e__e_tmp_m_static1rf_m_3_m_17 (_c_0);
57  Expr _ve__e__e_tmp_m_static1rf_m_4_m_11 (_c_1);
58  Expr _ve__e__e_tmp_m_static1rf_m_5_m_13 (_c_2);
59  Expr _ve__e__e_tmp_m_static1rf_m_6_m_15 (_c_3);
60  Expr _ve__e__e_tmp_m_static1rf_m_7_m_17 (_c_4);
61  Expr _ve__e__e_tmp_m_static1rf_m_8_m_21 (_c_5);
62  Expr _ve__e__e_tmp_m_static1rf_m_9_m_23 (_c_6);
63  Expr _ve__e__e_tmp_m_static1rf_m_10_m_27 (_c_7);
64  Expr _ve__e__e_tmp_m_static1rf_m_11_m_45 (_c_8);
65  Expr _ve__e__e_tmp_m_static1rf_m_12_m_27 (_c_9);
66  Expr _ve__e__e_tmp_m_static1rf_m_13_m_22 (_c_10);
67  Expr _ve__e__e_tmp_m_static1rf_m_14_m_11 (_c_11);
68  Expr _ve__e__e_tmp_m_static1rf_m_15_m_11 (_c_12);
69  Expr _ve__e__e_tmp_m_static1rf_m_16_m_11 (_c_13);
70  Expr _ve__e__e_tmp_m_static1rf_m_17_m_15 (_c_14);
71  Expr _ve__e__e_tmp_m_static1rf_m_18_m_13 (_c_15);
72  Expr _ve__e__e_tmp_m_static1rf_m_19_m_13 (_c_16);
73  _v_res1 = empty;
74RF_END
75
76}
77
78rfrt::Entry rf_entry (static1::Main);
79
80}
Note: See TracBrowser for help on using the repository browser.