source: to-imperative/trunk/samples/Syntax/assign1.cc @ 681

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

namespace refal
{

using namespace rfrt;

namespace assign1
{

RF_DECL (Main);

}

namespace assign1
{

static const Expr _c_0 = Word::create_expr ("A") + Word::create_expr ("B");

static const Expr _c_1 = Expr (_c_0, 1, 1);

static const Expr _c_2 = Expr (_c_0, 0, 1);

RF_FUNC (Main, (), (RF_RES _v_res1))
  Expr _ve_1 (_c_0);
  Expr _vt_1 (_c_1);
  Expr _vt_2 (_vt_1);
  Expr _v_aux1 (_vt_2);
  _vt_2 = _vt_1;
  _vt_1 = _v_aux1;
  Expr _vt_3 (_c_1);
  Expr _vt_4 (_vt_1);
  _vt_1 = _c_2;
  _vt_3 = (_vt_1 + _vt_3) ();
  _v_aux1 = _vt_2;
  _vt_2 = _vt_1;
  _vt_1 = (_vt_1 + _v_aux1) ();
  _v_aux1 = _vt_2;
  _vt_2 = _vt_1;
  _vt_1 = _vt_3;
  _vt_3 = _v_aux1;
  _v_aux1 = _vt_1;
  _vt_1 = (_vt_2 + _vt_3) ();
  Expr _v_aux2 (_vt_2);
  _vt_2 = (_v_aux1 + _vt_3) ();
  _vt_3 = (_v_aux1 + _v_aux2) ();
  _v_res1 = empty;
RF_END

}

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

}