source: to-imperative/trunk/library/Debug/Debug.cc @ 1628

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

namespace refal
{

using namespace rfrt;

namespace Debug
{

static Expr _c_0;

static Expr _c_1;

static Expr _c_2;

RF_FUNC (Debug, (RF_ARG _v_arg1;;), RF_VOID)
  {
    {
      if ((_v_arg1.get_len () != 0))
      {
        goto _block1__branch1;
      }
      RF_TAILCALL (StdIO::PrintLN, _c_0, /*void*/);
      goto _block1;
    }
  _block1__branch1: {}
    uintptr_t _v_len1 = _v_arg1.get_len ();
    uintptr_t _v_len2 = 2;
    if ((_v_len1 < _v_len2))
    {
      RF_ERROR (Word::create_expr ("Debug") + Word::create_expr ("Debug") + unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    if (_v_arg1.symbol_at (0))
    {
      RF_ERROR (Word::create_expr ("Debug") + Word::create_expr ("Debug") + unexpected_fail);
    }
    if (_v_arg1.symbol_at (1))
    {
      RF_ERROR (Word::create_expr ("Debug") + Word::create_expr ("Debug") + unexpected_fail);
    }
    Expr _v_deref__arg1 (_v_arg1, 0);
    Expr _v_deref__arg12 (_v_arg1, 1);
    uintptr_t _v_len3 = _v_deref__arg12.get_len ();
    uintptr_t _v_len4 = 0;
    if ((_v_len3 < _v_len4))
    {
      RF_ERROR (Word::create_expr ("Debug") + Word::create_expr ("Debug") + unexpected_fail);
    }
    uintptr_t _v_len__value = (_v_len3 - _v_len4);
    uintptr_t _v_len5 = _v_deref__arg1.get_len ();
    uintptr_t _v_len6 = 0;
    if ((_v_len5 < _v_len6))
    {
      RF_ERROR (Word::create_expr ("Debug") + Word::create_expr ("Debug") + unexpected_fail);
    }
    uintptr_t _v_len__name = (_v_len5 - _v_len6);
    Expr _ve_rest (_v_arg1, 2, _v_len__rest);
    Expr _ve_name (_v_deref__arg1, 0, _v_len__name);
    Expr _ve_value (_v_deref__arg12, 0, _v_len__value);
    RF_CALL (StdIO::PrintLN, (_ve_name + _c_1 + _ve_value), /*void*/);
    RF_CALL (Debug, _ve_rest, /*void*/);
  }
_block1: {}
RF_END

RF_FUNC (Debug_m_Check, (RF_ARG _v_arg1;;), RF_VOID)
  RF_TAILCALL (StdIO::PrintLN, (_c_2 + _v_arg1), /*void*/);
RF_END

}

namespace Debug
{

static void init_ ()
{
  _c_0 = Word::create_expr ("Debug finished  ");
  _c_1 = Word::create_expr (" = ");
  _c_2 = Word::create_expr ("Debug-Check =");
}

static AtStart init_registrator_ (&init_);

}

}