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

#include <rf_core.hh>
#include <refal/StdIO.hh>
#include <refal/Arithm.hh>

namespace refal
{

using namespace rfrt;

namespace rem
{

static const Expr _c_0 = ShortInt::create_expr (-23);

static const Expr _c_1 = ShortInt::create_expr (-11);

static const Expr _c_2 = ShortInt::create_expr (-2147483647);

static const Expr _c_3 = ShortInt::create_expr (2147483647);

static const Expr _c_4 = Integer::create_expr ("2147483648");

static const Expr _c_5 = ShortInt::create_expr (2);

static const Expr _c_6 = ShortInt::create_expr (2222222);

static const Expr _c_7 = ShortInt::create_expr (22345);

static const Expr _c_8 = Integer::create_expr ("-2147483648");

static const Expr _c_9 = Integer::create_expr ("-2147483649");

static const Expr _c_10 = Integer::create_expr ("-21474836481234567890786543");

static const Expr _c_11 = ShortInt::create_expr (-2);

RF_FUNC (Main, (), (RF_RES _v_res1))
  {
    Expr _v_Rem1;
    RF_CALL (Arithm::Rem, (_c_0, _c_1), (_v_Rem1));
    RF_CALL (StdIO::PrintLN, (_v_Rem1), ());
    Expr _v_Rem2;
    RF_CALL (Arithm::Rem, (_c_2, _c_2), (_v_Rem2));
    RF_CALL (StdIO::PrintLN, (_v_Rem2), ());
    Expr _v_Rem3;
    RF_CALL (Arithm::Rem, (_c_3, _c_2), (_v_Rem3));
    RF_CALL (StdIO::PrintLN, (_v_Rem3), ());
    Expr _v_Rem4;
    RF_CALL (Arithm::Rem, (_c_2, _c_3), (_v_Rem4));
    RF_CALL (StdIO::PrintLN, (_v_Rem4), ());
    Expr _v_Rem5;
    RF_CALL (Arithm::Rem, (_c_3, _c_3), (_v_Rem5));
    RF_CALL (StdIO::PrintLN, (_v_Rem5), ());
    Expr _v_Rem6;
    RF_CALL (Arithm::Rem, (_c_4, _c_5), (_v_Rem6));
    RF_CALL (StdIO::PrintLN, (_v_Rem6), ());
    Expr _v_Rem7;
    RF_CALL (Arithm::Rem, (_c_4, _c_6), (_v_Rem7));
    RF_CALL (StdIO::PrintLN, (_v_Rem7), ());
    Expr _v_Rem8;
    RF_CALL (Arithm::Rem, (_c_7, _c_8), (_v_Rem8));
    RF_CALL (StdIO::PrintLN, (_v_Rem8), ());
    Expr _v_Rem9;
    RF_CALL (Arithm::Rem, (_c_9, _c_4), (_v_Rem9));
    RF_CALL (StdIO::PrintLN, (_v_Rem9), ());
    Expr _v_Rem10;
    RF_CALL (Arithm::Rem, (_c_10, _c_11), (_v_Rem10));
    RF_CALL (StdIO::PrintLN, (_v_Rem10), ());
    _v_res1 = empty;
  }
RF_END

}

rfrt::Entry rf_entry (rem::Main);

}