Changeset 2028


Ignore:
Timestamp:
Jul 17, 2006, 9:42:37 PM (14 years ago)
Author:
orlov
Message:
  • Fresh-generated libraries for Java.
Location:
to-imperative/trunk/java/org/refal/plus/library
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/java/org/refal/plus/library/StdIO.java

    r2024 r2028  
    189189  static private final Expr _c_6 = new Expr (new Word ("Channel is not open"));
    190190  static private final Expr _c_7 = new Expr (new Expr (new Word ("StdIO")), new Expr (new Word ("Read-Char!")));
    191   static private final Expr _c_8 = Expr.fromSequence ("\n");
    192   static private final Expr _c_9 = new Expr (new Expr (new Word ("StdIO")), new Expr (new Word ("Read-Line!")));
    193   static private final Expr _c_10 = new Expr (new Word ("Read!"));
    194   static private final Expr _c_11 = new Expr (new Word ("Read"));
    195   static private final Expr _c_12 = new Expr (_c_5, 0, 1);
     191  static private final Expr _c_8 = Expr.fromSequence ("\r\n");
     192  static private final Expr _c_9 = new Expr (_c_8, 1, 1);
     193  static private final Expr _c_10 = new Expr (_c_8, 0, 1);
     194  static private final Expr _c_11 = new Expr (new Expr (new Word ("StdIO")), new Expr (new Word ("Read-Line!")));
     195  static private final Expr _c_12 = new Expr (new Word ("Read!"));
     196  static private final Expr _c_13 = new Expr (new Word ("Read"));
     197  static private final Expr _c_14 = new Expr (_c_5, 0, 1);
    196198  static private final Expr[] _va_1 = { new Expr (new Word ("Apply")), new Expr (new Word ("Apply")), new Expr (new Word ("Unexpected fail")) };
    197   static private final Expr _c_13 = Expr.concat (_va_1);
     199  static private final Expr _c_15 = Expr.concat (_va_1);
    198200
    199201  static public boolean Open_m_File (Expr _vs_channel, Expr _ve_file, Expr _vs_mode) throws RefalException
     
    352354          _block2__branch1: {
    353355            int _v_len1 = _v_Get_m_Line1.getExpr ().getLen ();
    354             int _v_len2 = 1;
     356            int _v_len2 = 2;
    355357            if ((_v_len1 < _v_len2))
    356358            {
     
    366368            break _block2;
    367369          }
    368           int _v_len3 = _v_Get_m_Line1.getExpr ().getLen ();
    369           int _v_len4 = 0;
    370           if ((_v_len3 < (_v_len4 + 1)))
     370          _block2__branch2: {
     371            int _v_len3 = _v_Get_m_Line1.getExpr ().getLen ();
     372            int _v_len4 = 1;
     373            if ((_v_len3 < _v_len4))
     374            {
     375              break _block2__branch2;
     376            }
     377            int _v_len__line2 = (_v_len3 - _v_len4);
     378            if (!_c_9.eq (_v_Get_m_Line1.getExpr (), (0 + _v_len__line2)))
     379            {
     380              break _block2__branch2;
     381            }
     382            Expr _ve_line = new Expr (_v_Get_m_Line1.getExpr (), 0, _v_len__line2);
     383            _v_res1.assign (_ve_line);
     384            break _block2;
     385          }
     386          _block2__branch3: {
     387            int _v_len5 = _v_Get_m_Line1.getExpr ().getLen ();
     388            int _v_len6 = 1;
     389            if ((_v_len5 < _v_len6))
     390            {
     391              break _block2__branch3;
     392            }
     393            int _v_len__line3 = (_v_len5 - _v_len6);
     394            if (!_c_10.eq (_v_Get_m_Line1.getExpr (), (0 + _v_len__line3)))
     395            {
     396              break _block2__branch3;
     397            }
     398            Expr _ve_line = new Expr (_v_Get_m_Line1.getExpr (), 0, _v_len__line3);
     399            _v_res1.assign (_ve_line);
     400            break _block2;
     401          }
     402          int _v_len7 = _v_Get_m_Line1.getExpr ().getLen ();
     403          int _v_len8 = 0;
     404          if ((_v_len7 < (_v_len8 + 1)))
    371405          {
    372406            return false;
    373407          }
    374           int _v_len__line2 = (_v_len3 - _v_len4);
    375           Expr _vv_line = new Expr (_v_Get_m_Line1.getExpr (), 0, _v_len__line2);
     408          int _v_len__line4 = (_v_len7 - _v_len8);
     409          Expr _vv_line = new Expr (_v_Get_m_Line1.getExpr (), 0, _v_len__line4);
    376410          _v_res1.assign (_vv_line);
    377411        }
    378412        break _block1;
    379413      }
    380       Error.Lib_m_Error (_c_9, _c_6);
     414      Error.Lib_m_Error (_c_11, _c_6);
    381415      return false;
    382416    }
     
    394428  static public boolean Read_e_ (Expr _vs_channel, Result _v_res1) throws RefalException
    395429  {
    396     if (!Read_m_Main (_c_10, _vs_channel, _v_res1)) {
     430    if (!Read_m_Main (_c_12, _vs_channel, _v_res1)) {
    397431      return false;
    398432    }
     
    402436  static public boolean Read (Result _v_res1) throws RefalException
    403437  {
    404     if (!Read_m_Main (_c_11, StdIn, _v_res1)) {
     438    if (!Read_m_Main (_c_13, StdIn, _v_res1)) {
    405439      return false;
    406440    }
     
    448482            break _block3__branch1;
    449483          }
    450           int _v_len___e__e_tmp_m__s_library_s_StdIO_s_refal_s_StdIOrf_m_84_m_46 = (_v_len1 - _v_len2);
     484          int _v_len___e__e_tmp_m__s_library_s_StdIO_s_refal_s_StdIOrf_m_86_m_46 = (_v_len1 - _v_len2);
    451485          if (_v_Errors1.getExpr ().symbolAt (0))
    452486          {
     
    470504          }
    471505          int _v_len__message = (_v_len3 - _v_len4);
    472           Expr _ve__e__e_tmp_m__s_library_s_StdIO_s_refal_s_StdIOrf_m_84_m_46 = new Expr (_v_Errors1.getExpr (), (0 + 1), _v_len___e__e_tmp_m__s_library_s_StdIO_s_refal_s_StdIOrf_m_84_m_46);
     506          Expr _ve__e__e_tmp_m__s_library_s_StdIO_s_refal_s_StdIOrf_m_86_m_46 = new Expr (_v_Errors1.getExpr (), (0 + 1), _v_len___e__e_tmp_m__s_library_s_StdIO_s_refal_s_StdIOrf_m_86_m_46);
    473507          Expr _vt_name = new Expr (_v_deref__Errors1, 0, 1);
    474508          Expr _vt_pos = new Expr (_v_deref__Errors1, (0 + 1), 1);
    475509          Expr _ve_message = new Expr (_v_deref__deref__Errors1, 0, _v_len__message);
    476           Error.Lib_m_Error (new Expr (_c_12, _vs_fname), _ve_message);
     510          Error.Lib_m_Error (new Expr (_c_14, _vs_fname), _ve_message);
    477511          return false;
    478512        }
     
    485519        break _block1;
    486520      }
    487       Error.Lib_m_Error (new Expr (_c_12, _vs_fname), _c_6);
     521      Error.Lib_m_Error (new Expr (_c_14, _vs_fname), _c_6);
    488522      return false;
    489523    }
     
    495529    if ((_v_arg1.getLen () != 2))
    496530    {
    497       throw new RefalException (_c_13);
     531      throw new RefalException (_c_15);
    498532    }
    499533    if (!_v_arg1.symbolAt (0))
    500534    {
    501       throw new RefalException (_c_13);
     535      throw new RefalException (_c_15);
    502536    }
    503537    if (!_v_arg1.symbolAt ((0 + 1)))
    504538    {
    505       throw new RefalException (_c_13);
     539      throw new RefalException (_c_15);
    506540    }
    507541    Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
  • to-imperative/trunk/java/org/refal/plus/library/Stream.java

    r1965 r2028  
    4040  static private final Expr _c_15 = new Expr (new Expr (new Word ("Stream")), new Expr (new Word ("Get-Delim")));
    4141  static private final Expr _c_16 = Expr.fromSequence ("\n");
    42   static private final Expr _c_17 = new Expr (new Expr (new Word ("Stream")), new Expr (new Word ("Get-While")));
    43   static private final Expr _c_18 = new Expr (new Expr (new Word ("Stream")), new Expr (new Word ("End-of-Stream?")));
     42  static private final Expr _c_17 = Expr.fromSequence ("\r");
     43  static private final Expr _c_18 = new Expr (new Func () {
     44    public boolean eval (Expr arg, Result res) throws RefalException {
     45      return Not_m_EOL__0 (arg, res);
     46    }
     47  });
     48  static private final Expr _c_19 = new Expr (new Expr (new Word ("Stream")), new Expr (new Word ("Get-While")));
     49  static private final Expr _c_20 = new Expr (new Expr (new Word ("Stream")), new Expr (new Word ("End-of-Stream?")));
    4450  static private final Expr[] _va_1 = { new Expr (new Word ("Apply")), new Expr (new Word ("Apply")), new Expr (new Word ("Unexpected fail")) };
    45   static private final Expr _c_19 = Expr.concat (_va_1);
     51  static private final Expr _c_21 = Expr.concat (_va_1);
    4652
    4753  static public void Stream (Expr _vs_func, Expr _ve_args, Result _v_res1) throws RefalException
     
    339345      Error.Lib_m_Error (_c_13, _c_8);
    340346      throw new RefalException ("Stream", "Ungets", "Unexpected fail");
     347    }
     348  }
     349
     350  static public void Scanc (Expr _vs_tream, Expr _vt_1, Result _v_res1) throws RefalException
     351  {
     352    _block1: {
     353      _block1__branch1: {
     354        Result _v_Getc1 = new Result ();
     355        if (!Getc (_vs_tream, _v_Getc1))
     356        {
     357          break _block1__branch1;
     358        }
     359        _block2: {
     360          _block2__branch1: {
     361            if ((1 != 1))
     362            {
     363              break _block2__branch1;
     364            }
     365            if (!_vt_1.eq (_v_Getc1.getExpr (), 0))
     366            {
     367              break _block2__branch1;
     368            }
     369            _v_res1.assign (_vt_1);
     370            break _block2;
     371          }
     372          if ((1 != 1))
     373          {
     374            throw new RefalException ("Stream", "Scanc", "Unexpected fail");
     375          }
     376          Expr _vt_2 = new Expr (_v_Getc1.getExpr (), 0, 1);
     377          Ungets (_vs_tream, _vt_2);
     378          _v_res1.assign (Expr.empty);
     379        }
     380        break _block1;
     381      }
     382      _v_res1.assign (Expr.empty);
    341383    }
    342384  }
     
    458500  }
    459501
     502  static private boolean Not_m_EOL (Expr _vt_1) throws RefalException
     503  {
     504    _negation1: {
     505      _block1: {
     506        _block1__branch1: {
     507          if ((1 != 1))
     508          {
     509            break _block1__branch1;
     510          }
     511          if (!_vt_1.eq (_c_16, 0))
     512          {
     513            break _block1__branch1;
     514          }
     515          break _block1;
     516        }
     517        if ((1 != 1))
     518        {
     519          break _negation1;
     520        }
     521        if (!_vt_1.eq (_c_17, 0))
     522        {
     523          break _negation1;
     524        }
     525      }
     526      return false;
     527    }
     528    return true;
     529  }
     530
    460531  static public void Get_m_Line (Expr _vs_tream, Result _v_res1) throws RefalException
    461532  {
    462     Get_m_Delim (_vs_tream, _c_16, _v_res1);
     533    Result _v_Get_m_While1 = new Result ();
     534    Get_m_While (_vs_tream, _c_18, _v_Get_m_While1);
     535    Result _v_Scanc1 = new Result ();
     536    Scanc (_vs_tream, _c_17, _v_Scanc1);
     537    Result _v_Scanc2 = new Result ();
     538    Scanc (_vs_tream, _c_16, _v_Scanc2);
     539    Expr[] _va_4 = { _v_Get_m_While1.getExpr () , _v_Scanc1.getExpr () , _v_Scanc2.getExpr () };
     540    _v_res1.assign (Expr.concat (_va_4));
    463541  }
    464542
     
    545623                    break _block3__branch1;
    546624                  }
    547                   int _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_117_m_30 = (_v_len7 - _v_len8);
    548                   Expr _ve__e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_117_m_30 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_117_m_30);
     625                  int _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_134_m_30 = (_v_len7 - _v_len8);
     626                  Expr _ve__e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_134_m_30 = new Expr (_v_Apply1.getExpr (), 0, _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_134_m_30);
    549627                  _ve_str = new Expr (_ve_str, _vt_1);
    550628                  _ve_buf = _ve_2;
     
    557635            }
    558636            _block2__branch2: {
    559               Result _va_4 = new Result ();
    560               if (!Apply.Apply (_vs_func, _ve_args, _va_4))
     637              Result _va_5 = new Result ();
     638              if (!Apply.Apply (_vs_func, _ve_args, _va_5))
    561639              {
    562640                break _block2__branch2;
    563641              }
    564               _ve_buf = _va_4.getExpr ();
     642              _ve_buf = _va_5.getExpr ();
    565643              _ve_stop_q_ = Expr.empty;
    566644              break _block2;
     
    571649        break _block1;
    572650      }
    573       Error.Lib_m_Error (_c_17, _c_8);
     651      Error.Lib_m_Error (_c_19, _c_8);
    574652      throw new RefalException ("Stream", "Get_m_While", "Unexpected fail");
    575653    }
     
    628706                break _iter1;
    629707              }
    630               int _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_138_m_18 = (_v_len5 - _v_len6);
    631               Expr _vv__e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_138_m_18 = new Expr (_v_buf__1, 0, _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_138_m_18);
     708              int _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_155_m_18 = (_v_len5 - _v_len6);
     709              Expr _vv__e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_155_m_18 = new Expr (_v_buf__1, 0, _v_len___e__e_tmp_m__s_library_s_Stream_s_refal_s_Streamrf_m_155_m_18);
    632710              Box.Store (_vs_tream, new Expr (new Expr(_v_buf__1), new Expr(new Expr (_vs_func, _ve_args))));
    633711              return false;
    634712            }
    635             Result _va_5 = new Result ();
    636             if (!Apply.Apply (_vs_func, _ve_args, _va_5))
     713            Result _va_6 = new Result ();
     714            if (!Apply.Apply (_vs_func, _ve_args, _va_6))
    637715            {
    638716              break _block2__branch1;
    639717            }
    640             _v_buf__1 = _va_5.getExpr ();
     718            _v_buf__1 = _va_6.getExpr ();
    641719          }
    642720        }
    643721        break _block1;
    644722      }
    645       Error.Lib_m_Error (_c_18, _c_8);
     723      Error.Lib_m_Error (_c_20, _c_8);
    646724      return false;
    647725    }
     
    653731    if ((_v_arg1.getLen () != 2))
    654732    {
    655       throw new RefalException (_c_19);
     733      throw new RefalException (_c_21);
    656734    }
    657735    if (!_v_arg1.symbolAt (0))
    658736    {
    659       throw new RefalException (_c_19);
     737      throw new RefalException (_c_21);
    660738    }
    661739    if (!_v_arg1.symbolAt ((0 + 1)))
    662740    {
    663       throw new RefalException (_c_19);
     741      throw new RefalException (_c_21);
    664742    }
    665743    Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
     
    675753    if ((_v_arg1.getLen () != 1))
    676754    {
    677       throw new RefalException (_c_19);
     755      throw new RefalException (_c_21);
    678756    }
    679757    if (!_v_arg1.symbolAt (0))
    680758    {
    681       throw new RefalException (_c_19);
     759      throw new RefalException (_c_21);
    682760    }
    683761    Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
     
    688766    return true;
    689767  }
     768
     769  static private boolean Not_m_EOL__0 (Expr _v_arg1, Result _v_res1) throws RefalException
     770  {
     771    if ((_v_arg1.getLen () != 1))
     772    {
     773      throw new RefalException (_c_21);
     774    }
     775    Expr _v_stub1 = new Expr (_v_arg1, 0, 1);
     776    if (!Not_m_EOL (_v_stub1))
     777    {
     778      return false;
     779    }
     780    _v_res1.assign (Expr.empty);
     781    return true;
     782  }
    690783}
Note: See TracChangeset for help on using the changeset viewer.