Changeset 2733


Ignore:
Timestamp:
Apr 24, 2007, 7:03:35 AM (14 years ago)
Author:
orlov
Message:
  • Fresh-generated library in Java.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/java/refal/plus/Lexer.java

    r2656 r2733  
    8585  static  final Expr _c_63 = new Expr (_c_51, 2, 1);
    8686  static  final Expr _c_64 = new Expr (new Word ("TVAR"));
    87   static  final Expr _c_69 = Expr.fromSequence ("-.!?");
     87  static  final Expr _c_69 = Expr.fromSequence ("_.");
    8888  static  final Expr _c_65 = new Expr (_c_69, 1, 1);
    89   static  final Expr _c_66 = new Expr (_c_14, 1, 2);
     89  static  final Expr _c_66 = new Expr (_c_69, 0, 1);
    9090  static  final Expr _c_67 = new Expr (new Func () {
    9191    public boolean eval (Expr arg, Result res) throws RefalException {
     
    891891            break _block2;
    892892          }
    893           Expr.SplitIterator _va_7 = _c_66.leftSplit(0);
    894           _exit1: _continue1: for ( ; ; _va_7.next ())
     893          if (!_vs_first.termEq (_c_66, 0))
    895894          {
    896             Expr _ve__dollar_tmp_m_154_m_15 = _va_7.getLeft();
    897             Expr _v_lsplit__66 = _va_7.getRight();
    898             if (!_va_7.isValid ())
    899             {
    900               break _block1__branch1;
    901             }
    902             int _v_len1;
    903             _v_len1 = _v_lsplit__66.getLen ();
    904             int _v_len2;
    905             _v_len2 = 1;
    906             if (_v_len1 < _v_len2)
    907             {
    908               break _block1__branch1;
    909             }
    910             int _v_len___dollar_tmp_m_154_m_25;
    911             _v_len___dollar_tmp_m_154_m_25 = (_v_len1 - _v_len2);
    912             if (!_vs_first.termEq (_v_lsplit__66, 0))
    913             {
    914               continue _continue1;
    915             }
    916             Expr _ve__dollar_tmp_m_154_m_25 = Expr.empty;
    917             _ve__dollar_tmp_m_154_m_25 = new Expr (_v_lsplit__66, (0 + 1), _v_len___dollar_tmp_m_154_m_25);
    918             break _exit1;
     895            break _block1__branch1;
    919896          }
    920897        }
    921898        Result _v_Get__While1 = new Result ();
    922899        refal.plus.Stream.Get_While (_vs_tream, _c_67, _v_Get__While1);
    923         Expr[] _va_8 = { _c_68 , _vs_first , _v_Get__While1.getExpr () };
    924         _v_res1.assign (Expr.concat (_va_8));
     900        Expr[] _va_7 = { _c_68 , _vs_first , _v_Get__While1.getExpr () };
     901        _v_res1.assign (Expr.concat (_va_7));
    925902        break _block1;
    926903      }
     
    968945        break _block1;
    969946      }
    970       Expr.SplitIterator _va_9 = _c_69.leftSplit(0);
    971       _exit1: _continue1: for ( ; ; _va_9.next ())
     947      Expr.SplitIterator _va_8 = _c_69.leftSplit(0);
     948      _exit1: _continue1: for ( ; ; _va_8.next ())
    972949      {
    973         Expr _ve__dollar_tmp_m_168_m_15 = _va_9.getLeft();
    974         Expr _v_lsplit__69 = _va_9.getRight();
    975         if (!_va_9.isValid ())
     950        Expr _ve__dollar_tmp_m_168_m_13 = _va_8.getLeft();
     951        Expr _v_lsplit__69 = _va_8.getRight();
     952        if (!_va_8.isValid ())
    976953        {
    977954          return false;
     
    985962          return false;
    986963        }
    987         int _v_len___dollar_tmp_m_168_m_21;
    988         _v_len___dollar_tmp_m_168_m_21 = (_v_len1 - _v_len2);
     964        int _v_len___dollar_tmp_m_168_m_19;
     965        _v_len___dollar_tmp_m_168_m_19 = (_v_len1 - _v_len2);
    989966        if (!_vs_ym.termEq (_v_lsplit__69, 0))
    990967        {
    991968          continue _continue1;
    992969        }
    993         Expr _ve__dollar_tmp_m_168_m_21 = Expr.empty;
    994         _ve__dollar_tmp_m_168_m_21 = new Expr (_v_lsplit__69, (0 + 1), _v_len___dollar_tmp_m_168_m_21);
     970        Expr _ve__dollar_tmp_m_168_m_19 = Expr.empty;
     971        _ve__dollar_tmp_m_168_m_19 = new Expr (_v_lsplit__69, (0 + 1), _v_len___dollar_tmp_m_168_m_19);
    995972        break _exit1;
    996973      }
     
    12031180                        break _block4__branch1;
    12041181                      }
    1205                       Result _va_10 = new Result ();
    1206                       refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_10);
    1207                       _gs_max__0 = _va_10.getExpr ();
     1182                      Result _va_9 = new Result ();
     1183                      refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_9);
     1184                      _gs_max__0 = _va_9.getExpr ();
    12081185                      _ve_s = new Expr (_ve_s, _c_4);
    12091186                      break _block4;
     
    12141191                        break _block4__branch2;
    12151192                      }
    1216                       Result _va_11 = new Result ();
    1217                       refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_11);
    1218                       _gs_max__0 = _va_11.getExpr ();
     1193                      Result _va_10 = new Result ();
     1194                      refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_10);
     1195                      _gs_max__0 = _va_10.getExpr ();
    12191196                      _ve_s = new Expr (_ve_s, _c_3);
    12201197                      break _block4;
     
    12251202                        break _block4__branch3;
    12261203                      }
    1227                       Result _va_12 = new Result ();
    1228                       refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_12);
    1229                       _gs_max__0 = _va_12.getExpr ();
     1204                      Result _va_11 = new Result ();
     1205                      refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_11);
     1206                      _gs_max__0 = _va_11.getExpr ();
    12301207                      _ve_s = new Expr (_ve_s, _c_61);
    12311208                      break _block4;
     
    12361213                        break _block4__branch4;
    12371214                      }
    1238                       Result _va_13 = new Result ();
    1239                       refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_13);
    1240                       _gs_max__0 = _va_13.getExpr ();
     1215                      Result _va_12 = new Result ();
     1216                      refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_12);
     1217                      _gs_max__0 = _va_12.getExpr ();
    12411218                      _ve_s = new Expr (_ve_s, _c_77);
    12421219                      break _block4;
     
    12471224                        break _block4__branch5;
    12481225                      }
    1249                       Result _va_14 = new Result ();
    1250                       refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_14);
    1251                       _gs_max__0 = _va_14.getExpr ();
     1226                      Result _va_13 = new Result ();
     1227                      refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_13);
     1228                      _gs_max__0 = _va_13.getExpr ();
    12521229                      _ve_s = new Expr (_ve_s, _c_5);
    12531230                      break _block4;
     
    12581235                        break _block4__branch6;
    12591236                      }
    1260                       Result _va_15 = new Result ();
    1261                       refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_15);
    1262                       _gs_max__0 = _va_15.getExpr ();
     1237                      Result _va_14 = new Result ();
     1238                      refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_14);
     1239                      _gs_max__0 = _va_14.getExpr ();
    12631240                      _ve_s = new Expr (_ve_s, _c_78);
    12641241                      break _block4;
     
    12691246                        break _block4__branch7;
    12701247                      }
    1271                       Result _va_16 = new Result ();
    1272                       refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_16);
    1273                       _gs_max__0 = _va_16.getExpr ();
     1248                      Result _va_15 = new Result ();
     1249                      refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_15);
     1250                      _gs_max__0 = _va_15.getExpr ();
    12741251                      _ve_s = new Expr (_ve_s, _c_75);
    12751252                      break _block4;
     
    12801257                        break _block4__branch8;
    12811258                      }
    1282                       Result _va_17 = new Result ();
    1283                       refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_17);
    1284                       _gs_max__0 = _va_17.getExpr ();
     1259                      Result _va_16 = new Result ();
     1260                      refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_16);
     1261                      _gs_max__0 = _va_16.getExpr ();
    12851262                      _ve_s = new Expr (_ve_s, _c_73);
    12861263                      break _block4;
     
    12911268                        break _block4__branch9;
    12921269                      }
    1293                       Result _va_18 = new Result ();
    1294                       refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_18);
    1295                       _gs_max__0 = _va_18.getExpr ();
     1270                      Result _va_17 = new Result ();
     1271                      refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_17);
     1272                      _gs_max__0 = _va_17.getExpr ();
    12961273                      _ve_s = new Expr (_ve_s, _c_70);
    12971274                      break _block4;
     
    13111288                      Expr _vs_1 = Expr.empty;
    13121289                      _vs_1 = new Expr (_v_Getc2.getExpr (), 0, 1);
    1313                       Expr[] _va_19 = { _c_79 , _vs_1 , _c_11 };
    1314                       refal.plus.StreamErr.Error (_vs_tream, Expr.concat (_va_19));
    1315                       Result _va_20 = new Result ();
    1316                       refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_20);
    1317                       _gs_max__0 = _va_20.getExpr ();
     1290                      Expr[] _va_18 = { _c_79 , _vs_1 , _c_11 };
     1291                      refal.plus.StreamErr.Error (_vs_tream, Expr.concat (_va_18));
     1292                      Result _va_19 = new Result ();
     1293                      refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_19);
     1294                      _gs_max__0 = _va_19.getExpr ();
    13181295                      _ve_s = new Expr (_ve_s, _vs_1);
    13191296                      break _block4;
     
    13211298                    Expr _vt_1 = Expr.empty;
    13221299                    _vt_1 = new Expr (_v_Getc2.getExpr (), 0, 1);
    1323                     Expr[] _va_21 = { _c_80 , _vt_1 , _c_11 };
    1324                     refal.plus.StreamErr.Error (_vs_tream, Expr.concat (_va_21));
     1300                    Expr[] _va_20 = { _c_80 , _vt_1 , _c_11 };
     1301                    refal.plus.StreamErr.Error (_vs_tream, Expr.concat (_va_20));
    13251302                  }
    13261303                  break _block3;
     
    13361313                break _block2__branch3;
    13371314              }
    1338               Result _va_22 = new Result ();
    1339               refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_22);
    1340               _gs_max__0 = _va_22.getExpr ();
     1315              Result _va_21 = new Result ();
     1316              refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_21);
     1317              _gs_max__0 = _va_21.getExpr ();
    13411318              _ve_s = new Expr (_ve_s, _c_4);
    13421319              break _block2;
     
    13491326              Expr _vs_1 = Expr.empty;
    13501327              _vs_1 = new Expr (_v_Getc1.getExpr (), 0, 1);
    1351               Result _va_23 = new Result ();
    1352               refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_23);
    1353               _gs_max__0 = _va_23.getExpr ();
     1328              Result _va_22 = new Result ();
     1329              refal.plus.Arithm.Sub (_gs_max__0, _c_0, _va_22);
     1330              _gs_max__0 = _va_22.getExpr ();
    13541331              _ve_s = new Expr (_ve_s, _vs_1);
    13551332              break _block2;
     
    13571334            Expr _vt_1 = Expr.empty;
    13581335            _vt_1 = new Expr (_v_Getc1.getExpr (), 0, 1);
    1359             Expr[] _va_24 = { _c_12 , _vt_1 , _c_11 };
    1360             refal.plus.StreamErr.Error (_vs_tream, Expr.concat (_va_24));
     1336            Expr[] _va_23 = { _c_12 , _vt_1 , _c_11 };
     1337            refal.plus.StreamErr.Error (_vs_tream, Expr.concat (_va_23));
    13611338          }
    13621339          break _block1;
     
    15161493            _block5: {
    15171494              _block5__branch1: {
    1518                 Result _va_25 = new Result ();
    1519                 if (!IsScan_Identifier (_vs_tream, _va_25))
     1495                Result _va_24 = new Result ();
     1496                if (!IsScan_Identifier (_vs_tream, _va_24))
    15201497                {
    15211498                  break _block5__branch1;
     1499                }
     1500                _ge_auxalt4 = _va_24.getExpr ();
     1501                break _block5;
     1502              }
     1503              _block5__branch2: {
     1504                Result _va_25 = new Result ();
     1505                if (!IsScan_Quoted_Word (_vs_tream, _va_25))
     1506                {
     1507                  break _block5__branch2;
    15221508                }
    15231509                _ge_auxalt4 = _va_25.getExpr ();
    15241510                break _block5;
    15251511              }
    1526               _block5__branch2: {
     1512              _block5__branch3: {
    15271513                Result _va_26 = new Result ();
    1528                 if (!IsScan_Quoted_Word (_vs_tream, _va_26))
     1514                if (!IsScan_Char (_vs_tream, _va_26))
    15291515                {
    1530                   break _block5__branch2;
     1516                  break _block5__branch3;
    15311517                }
    15321518                _ge_auxalt4 = _va_26.getExpr ();
    15331519                break _block5;
    15341520              }
    1535               _block5__branch3: {
    1536                 Result _va_27 = new Result ();
    1537                 if (!IsScan_Char (_vs_tream, _va_27))
    1538                 {
    1539                   break _block5__branch3;
    1540                 }
    1541                 _ge_auxalt4 = _va_27.getExpr ();
    1542                 break _block5;
    1543               }
    1544               Result _va_28 = new Result ();
    1545               if (!IsScan_Number (_vs_tream, _va_28))
     1521              Result _va_27 = new Result ();
     1522              if (!IsScan_Number (_vs_tream, _va_27))
    15461523              {
    15471524                break _block1__branch2;
    15481525              }
    1549               _ge_auxalt4 = _va_28.getExpr ();
     1526              _ge_auxalt4 = _va_27.getExpr ();
    15501527            }
    15511528            int _v_len1;
     
    16461623          Expr _vt_1 = Expr.empty;
    16471624          _vt_1 = new Expr (_v_Getc2.getExpr (), 0, 1);
    1648           Expr[] _va_29 = { _c_12 , _vt_1 , _c_11 };
    1649           refal.plus.StreamErr.Error (_vs_tream, Expr.concat (_va_29));
     1625          Expr[] _va_28 = { _c_12 , _vt_1 , _c_11 };
     1626          refal.plus.StreamErr.Error (_vs_tream, Expr.concat (_va_28));
    16501627          if (!Read_Term_Aux (_vs_tream, _v_res1)) {
    16511628            return false;
     
    16771654  }
    16781655
    1679   static  boolean IsFun_Sym_0 (Expr _ge_arg1, Result _v_res1) throws RefalException
    1680   {
    1681     if (_ge_arg1.getLen () != 1)
    1682     {
    1683       throw new RefalException (_c_87);
    1684     }
    1685     Expr _v_stub1 = Expr.empty;
    1686     _v_stub1 = new Expr (_ge_arg1, 0, 1);
    1687     if (!IsFun_Sym (_v_stub1))
    1688     {
    1689       return false;
    1690     }
    1691     _v_res1.assign (Expr.empty);
    1692     return true;
    1693   }
    1694 
    1695   static  boolean IsBlank_0 (Expr _ge_arg1, Result _v_res1) throws RefalException
    1696   {
    1697     if (_ge_arg1.getLen () != 1)
    1698     {
    1699       throw new RefalException (_c_87);
    1700     }
    1701     Expr _v_stub1 = Expr.empty;
    1702     _v_stub1 = new Expr (_ge_arg1, 0, 1);
    1703     if (!IsBlank (_v_stub1))
    1704     {
    1705       return false;
    1706     }
    1707     _v_res1.assign (Expr.empty);
    1708     return true;
    1709   }
    1710 
    17111656  static  boolean IsDigit_0 (Expr _ge_arg1, Result _v_res1) throws RefalException
    17121657  {
     
    17311676  }
    17321677
     1678  static  boolean IsFun_Sym_0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     1679  {
     1680    if (_ge_arg1.getLen () != 1)
     1681    {
     1682      throw new RefalException (_c_87);
     1683    }
     1684    Expr _v_stub1 = Expr.empty;
     1685    _v_stub1 = new Expr (_ge_arg1, 0, 1);
     1686    if (!IsFun_Sym (_v_stub1))
     1687    {
     1688      return false;
     1689    }
     1690    _v_res1.assign (Expr.empty);
     1691    return true;
     1692  }
     1693
    17331694  static  boolean IsVar_Sym_0 (Expr _ge_arg1, Result _v_res1) throws RefalException
    17341695  {
     
    17461707    return true;
    17471708  }
     1709
     1710  static  boolean IsBlank_0 (Expr _ge_arg1, Result _v_res1) throws RefalException
     1711  {
     1712    if (_ge_arg1.getLen () != 1)
     1713    {
     1714      throw new RefalException (_c_87);
     1715    }
     1716    Expr _v_stub1 = Expr.empty;
     1717    _v_stub1 = new Expr (_ge_arg1, 0, 1);
     1718    if (!IsBlank (_v_stub1))
     1719    {
     1720      return false;
     1721    }
     1722    _v_res1.assign (Expr.empty);
     1723    return true;
     1724  }
    17481725}
Note: See TracChangeset for help on using the changeset viewer.