source: to-imperative/trunk/samples/Arithm/sub.cc @ 1051

Last change on this file since 1051 was 1051, checked in by luba, 18 years ago
  • .cc files for tests (Int is replaced by Integer)
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 3.1 KB
Line 
1#include <rf_core.hh>
2#include <refal/StdIO.hh>
3#include <refal/Arithm.hh>
4
5namespace refal
6{
7
8using namespace rfrt;
9
10namespace sub
11{
12
13static const Expr _c_0 = ShortInt::create_expr (2);
14
15static const Expr _c_1 = ShortInt::create_expr (10);
16
17static const Expr _c_2 = ShortInt::create_expr (2147483647);
18
19static const Expr _c_3 = ShortInt::create_expr (-2147483647);
20
21static const Expr _c_4 = ShortInt::create_expr (1);
22
23static const Expr _c_5 = ShortInt::create_expr (-1);
24
25static const Expr _c_6 = Integer::create_expr ("-21474836476");
26
27static const Expr _c_7 = ShortInt::create_expr (32);
28
29static const Expr _c_8 = Integer::create_expr ("21474836476");
30
31static const Expr _c_9 = ShortInt::create_expr (11);
32
33static const Expr _c_10 = ShortInt::create_expr (-11);
34
35static const Expr _c_11 = Integer::create_expr ("21474836471");
36
37static const Expr _c_12 = Integer::create_expr ("-21474836471");
38
39static const Expr _c_13 = Integer::create_expr ("2147483647789364567");
40
41static const Expr _c_14 = Integer::create_expr ("-2147483647789364567");
42
43RF_FUNC (Main, (), (RF_RES _v_res1))
44  {
45    Expr _v__m_1;
46    RF_CALL (Arithm::_m_, (_c_0, _c_1), (_v__m_1));
47    RF_CALL (StdIO::PrintLN, (_v__m_1), ());
48    Expr _v__m_2;
49    RF_CALL (Arithm::_m_, (_c_2, _c_3), (_v__m_2));
50    RF_CALL (StdIO::PrintLN, (_v__m_2), ());
51    Expr _v__m_3;
52    RF_CALL (Arithm::_m_, (_c_2, _c_2), (_v__m_3));
53    RF_CALL (StdIO::PrintLN, (_v__m_3), ());
54    Expr _v__m_4;
55    RF_CALL (Arithm::_m_, (_c_3, _c_2), (_v__m_4));
56    RF_CALL (StdIO::PrintLN, (_v__m_4), ());
57    Expr _v__m_5;
58    RF_CALL (Arithm::_m_, (_c_3, _c_3), (_v__m_5));
59    RF_CALL (StdIO::PrintLN, (_v__m_5), ());
60    Expr _v__m_6;
61    RF_CALL (Arithm::_m_, (_c_2, _c_4), (_v__m_6));
62    RF_CALL (StdIO::PrintLN, (_v__m_6), ());
63    Expr _v__m_7;
64    RF_CALL (Arithm::_m_, (_c_2, _c_5), (_v__m_7));
65    RF_CALL (StdIO::PrintLN, (_v__m_7), ());
66    Expr _v__m_8;
67    RF_CALL (Arithm::_m_, (_c_3, _c_4), (_v__m_8));
68    RF_CALL (StdIO::PrintLN, (_v__m_8), ());
69    Expr _v__m_9;
70    RF_CALL (Arithm::_m_, (_c_3, _c_5), (_v__m_9));
71    RF_CALL (StdIO::PrintLN, (_v__m_9), ());
72    Expr _v__m_10;
73    RF_CALL (Arithm::_m_, (_c_6, _c_5), (_v__m_10));
74    RF_CALL (StdIO::PrintLN, (_v__m_10), ());
75    Expr _v__m_11;
76    RF_CALL (Arithm::_m_, (_c_7, _c_6), (_v__m_11));
77    RF_CALL (StdIO::PrintLN, (_v__m_11), ());
78    Expr _v__m_12;
79    RF_CALL (Arithm::_m_, (_c_8, _c_9), (_v__m_12));
80    RF_CALL (StdIO::PrintLN, (_v__m_12), ());
81    Expr _v__m_13;
82    RF_CALL (Arithm::_m_, (_c_8, _c_10), (_v__m_13));
83    RF_CALL (StdIO::PrintLN, (_v__m_13), ());
84    Expr _v__m_14;
85    RF_CALL (Arithm::_m_, (_c_11, _c_12), (_v__m_14));
86    RF_CALL (StdIO::PrintLN, (_v__m_14), ());
87    Expr _v__m_15;
88    RF_CALL (Arithm::_m_, (_c_13, _c_11), (_v__m_15));
89    RF_CALL (StdIO::PrintLN, (_v__m_15), ());
90    Expr _v__m_16;
91    RF_CALL (Arithm::_m_, (_c_14, _c_11), (_v__m_16));
92    RF_CALL (StdIO::PrintLN, (_v__m_16), ());
93    Expr _v__m_17;
94    RF_CALL (Arithm::_m_, (_c_12, _c_14), (_v__m_17));
95    RF_CALL (StdIO::PrintLN, (_v__m_17), ());
96    _v_res1 = empty;
97  }
98RF_END
99
100}
101
102rfrt::Entry rf_entry (sub::Main);
103
104}
Note: See TracBrowser for help on using the repository browser.