Ignore:
Timestamp:
May 15, 2006, 10:20:13 PM (15 years ago)
Author:
sveta
Message:
  • Samples for T++.
Location:
to-imperative/trunk/trefal/samples
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/trefal/samples/fib.tpp

    r1932 r1971  
    33#include <refal/StdIO.hh>
    44#include <refal/Compare.hh>
    5 
    6 namespace refal
    7 {
    8 
    9 using namespace rfrt;
    10 
    11 namespace fib
    12 {
    135
    146tfun int Fib;
     
    2416static tval Expr _c_3;
    2517
    26 tfun int Fib( tval Expr_v_arg1,tout Expr_v_res1){
     18tfun int Fib( tval Expr _v_arg1,tout Expr _v_res1){
    2719  {
    2820    {
    29       if (((Expr&)_v_arg1.get_len () != 1))
     21      if ((((Expr&)_v_arg1).get_len () != 1))
    3022      {
    3123        goto _block1__branch1;
    3224      }
    33       if (!(Expr&)_c_0.term_eq (_v_arg1, 0))
     25      if (!((Expr&)_c_0).term_eq (_v_arg1, 0))
    3426      {
    3527        goto _block1__branch1;
     
    4032  _block1__branch1: {}
    4133    {
    42       if (((Expr&)_v_arg1.get_len () != 1))
     34      if ((((Expr&)_v_arg1).get_len () != 1))
    4335      {
    4436        goto _block1__branch2;
    4537      }
    46       if (!(Expr&)_c_1.term_eq (_v_arg1, 0))
     38      if (!((Expr&)_c_1).term_eq (_v_arg1, 0))
    4739      {
    4840        goto _block1__branch2;
     
    5244    }
    5345  _block1__branch2: {}
    54     if (((Expr&)_v_arg1.get_len () != 1))
     46    if ((((Expr&)_v_arg1).get_len () != 1))
    5547    {
    5648      RF_FUNC_ERROR (unexpected_fail);
    5749    }
    58     if (!(Expr&)_v_arg1.symbol_at (0))
     50    if (!((Expr&)_v_arg1).symbol_at (0))
    5951    {
    6052      RF_FUNC_ERROR (unexpected_fail);
     
    6456    Arithm::_m_( (_vs_1, _c_0), _v__m_1);
    6557    tval Expr _v_Fib1;
    66     Fib( _v__m_1, _v_Fib1);
     58    fib::Fib( _v__m_1, _v_Fib1);
    6759    tval Expr _v__m_2;
    6860    Arithm::_m_( (_vs_1, _c_2), _v__m_2);
    6961    tval Expr _v_Fib2;
    70     Fib( _v__m_2, _v_Fib2);
     62    fib::Fib( _v__m_2, _v_Fib2);
    7163    Arithm::_p_( (_v_Fib1, _v_Fib2), _v_res1);
    7264  }
     
    7466}
    7567
    76 tfun int Main( tout Expr_v_res1){
     68tfun int Main( tout Expr _v_res1){
    7769  tval Expr _v_Fib1;
    78   Fib( _c_3, _v_Fib1);
    79   StdIO::PrintLN( _v_Fib1, /*void*/);
     70  fib::Fib( _c_3, _v_Fib1);
     71  StdIO::PrintLN( _v_Fib1, );
    8072  _v_res1 = empty;
    8173}
    82 
    83 }
    84 
    85 namespace fib
    86 {
    8774
    8875static void init_ ()
     
    9380  _c_3 = Expr::create<Integer>("28");
    9481}
    95 
    96 static AtStart init_registrator_ (&init_);
    97 
    98 }
    99 
    100 rfrt::Entry rf_entry (fib::Main);
    101 
    102 }
  • to-imperative/trunk/trefal/samples/read.tpp

    r1932 r1971  
    22#include <refal/StdIO.hh>
    33
    4 namespace refal
    5 {
    6 
    7 using namespace rfrt;
    8 
    9 namespace read
    10 {
    11 
    124tfun int Main;
    135
    14 tfun int Main( tout Expr_v_res1){
     6tfun int Main( tout Expr _v_res1){
    157  tval Expr _v_Read1;
    16   if (!StdIO::Read(/*void*/, _v_Read1))
     8  if (!StdIO::Read(_v_Read1))
    179  {
    1810    RF_FUNC_ERROR (unexpected_fail);
    1911  }
    20   StdIO::PrintLN( _v_Read1, /*void*/);
     12  StdIO::PrintLN(_v_Read1);
    2113  _v_res1 = empty;
    2214}
    23 
    24 }
    25 
    26 rfrt::Entry rf_entry (read::Main);
    27 
    28 }
Note: See TracChangeset for help on using the changeset viewer.