Changeset 3579


Ignore:
Timestamp:
Mar 25, 2008, 9:25:56 PM (13 years ago)
Author:
yura
Message:
 
Location:
to-imperative/trunk
Files:
3 deleted
2 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/compiler/src/rfp_asail_jbc.rf

    r3563 r3579  
    88$use NativeJava;
    99
    10 $use "org.refal.plus.wrappers.java.lang.Integer";
    1110$use "org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor";
    1211$use "org.refal.plus.wrappers.org.objectweb.asm.ClassWriter";
     
    1514$use "org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor";
    1615$use "org.refal.plus.wrappers.org.objectweb.asm.Opcodes";
     16
     17$func Integer s = s;
     18$native Integer = "java.lang.Integer (int)";
    1719
    1820$box Module_Name;
  • to-imperative/trunk/java/compiler/org/refal/plus/compiler/rfp_asail_jbc.java

    r3563 r3579  
    312312  static  final Expr _c_258 = new Expr (Symbol.newWord (")"));
    313313
     314  @RefalFormat("$func Integer s = s;")
     315  static  void Integer (Expr _gs_arg1, Result _gs_res1) throws RefalException {
     316    try {
     317      _gs_res1.assign(Native.sValueOf(new java.lang.Integer(Native.intValue(_gs_arg1.at(0)))));
     318    } catch (java.lang.Exception e) {
     319      throw new org.refal.plus.RefalException("org.refal.plus.compiler.rfp_asail_jbc", "Integer", e.toString());
     320    }
     321  }
     322
    314323  @RefalFormat("$func GetJBCName t = s;")
    315324  static  void GetJBCName (Expr _gt_arg1, Result _v_res1) throws RefalException
     
    563572      _exit1: _continue1: for ( ; ; _va_1.next ())
    564573      {
    565         Expr _ve__dollar_tmp_m_131_m_23 = _va_1.getLeft();
     574        Expr _ve__dollar_tmp_m_133_m_23 = _va_1.getLeft();
    566575        Expr _v_lsplit__Get2 = _va_1.getRight();
    567576        if (!_va_1.isValid ())
     
    575584          break _block5__branch1;
    576585        }
    577         int _v_len___dollar_tmp_m_131_m_40 = (_v_len5 - _v_len6);
     586        int _v_len___dollar_tmp_m_133_m_40 = (_v_len5 - _v_len6);
    578587        if (_v_lsplit__Get2.isSymbolAt (0))
    579588        {
     
    593602          continue _continue1;
    594603        }
    595         Expr _ve__dollar_tmp_m_131_m_40 = Expr.empty;
    596         _ve__dollar_tmp_m_131_m_40 = _v_lsplit__Get2.subexpr ((0 + 1), _v_len___dollar_tmp_m_131_m_40);
     604        Expr _ve__dollar_tmp_m_133_m_40 = Expr.empty;
     605        _ve__dollar_tmp_m_133_m_40 = _v_lsplit__Get2.subexpr ((0 + 1), _v_len___dollar_tmp_m_133_m_40);
    597606        Expr _vs_tag = Expr.empty;
    598607        _vs_tag = _v_deref__lsplit__Get2.subexpr (0, 1);
     
    652661      _exit2: _continue2: for ( ; ; _va_3.next ())
    653662      {
    654         Expr _ve__dollar_tmp_m_142_m_25 = _va_3.getLeft();
     663        Expr _ve__dollar_tmp_m_144_m_25 = _va_3.getLeft();
    655664        Expr _v_lsplit__Get3 = _va_3.getRight();
    656665        if (!_va_3.isValid ())
     
    664673          break _block7__branch1;
    665674        }
    666         int _v_len___dollar_tmp_m_142_m_43 = (_v_len9 - _v_len10);
     675        int _v_len___dollar_tmp_m_144_m_43 = (_v_len9 - _v_len10);
    667676        if (_v_lsplit__Get3.isSymbolAt (0))
    668677        {
     
    681690          continue _continue2;
    682691        }
    683         Expr _ve__dollar_tmp_m_142_m_43 = Expr.empty;
    684         _ve__dollar_tmp_m_142_m_43 = _v_lsplit__Get3.subexpr ((0 + 1), _v_len___dollar_tmp_m_142_m_43);
     692        Expr _ve__dollar_tmp_m_144_m_43 = Expr.empty;
     693        _ve__dollar_tmp_m_144_m_43 = _v_lsplit__Get3.subexpr ((0 + 1), _v_len___dollar_tmp_m_144_m_43);
    685694        Expr _vs_name = Expr.empty;
    686695        _vs_name = _v_deref__lsplit__Get3.subexpr (0, 1);
     
    721730      _exit3: _continue3: for ( ; ; _va_4.next ())
    722731      {
    723         Expr _ve__dollar_tmp_m_158_m_25 = _va_4.getLeft();
     732        Expr _ve__dollar_tmp_m_160_m_25 = _va_4.getLeft();
    724733        Expr _v_lsplit__Get4 = _va_4.getRight();
    725734        if (!_va_4.isValid ())
     
    733742          break _block8__branch1;
    734743        }
    735         int _v_len___dollar_tmp_m_158_m_69 = (_v_len13 - _v_len14);
     744        int _v_len___dollar_tmp_m_160_m_69 = (_v_len13 - _v_len14);
    736745        if (_v_lsplit__Get4.isSymbolAt (0))
    737746        {
     
    759768          continue _continue3;
    760769        }
    761         Expr _ve__dollar_tmp_m_158_m_69 = Expr.empty;
    762         _ve__dollar_tmp_m_158_m_69 = _v_lsplit__Get4.subexpr ((0 + 1), _v_len___dollar_tmp_m_158_m_69);
     770        Expr _ve__dollar_tmp_m_160_m_69 = Expr.empty;
     771        _ve__dollar_tmp_m_160_m_69 = _v_lsplit__Get4.subexpr ((0 + 1), _v_len___dollar_tmp_m_160_m_69);
    763772        Expr _vs_cl__name = Expr.empty;
    764773        _vs_cl__name = _v_deref__lsplit__Get4.subexpr (0, 1);
     
    862871      throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Push_Block_Table", "Unexpected fail");
    863872    }
    864     int _v_len___dollar_tmp_m_201_m_21 = (_v_len3 - _v_len4);
     873    int _v_len___dollar_tmp_m_203_m_21 = (_v_len3 - _v_len4);
    865874    Expr _ve_block__tables = Expr.empty;
    866875    _ve_block__tables = _v_Get1.getExpr ().subexpr (0, _v_len__block__tables);
    867     if (!_ve_block__tables.isSymbolAt ((0 + _v_len___dollar_tmp_m_201_m_21)))
     876    if (!_ve_block__tables.isSymbolAt ((0 + _v_len___dollar_tmp_m_203_m_21)))
    868877    {
    869878      throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Push_Block_Table", "Unexpected fail");
    870879    }
    871     Expr _ve__dollar_tmp_m_201_m_21 = Expr.empty;
    872     _ve__dollar_tmp_m_201_m_21 = _ve_block__tables.subexpr (0, _v_len___dollar_tmp_m_201_m_21);
     880    Expr _ve__dollar_tmp_m_203_m_21 = Expr.empty;
     881    _ve__dollar_tmp_m_203_m_21 = _ve_block__tables.subexpr (0, _v_len___dollar_tmp_m_203_m_21);
    873882    Expr _vs_block__table = Expr.empty;
    874     _vs_block__table = _ve_block__tables.subexpr ((0 + _v_len___dollar_tmp_m_201_m_21), 1);
     883    _vs_block__table = _ve_block__tables.subexpr ((0 + _v_len___dollar_tmp_m_203_m_21), 1);
    875884    Result _vs_copy__block__table = new Result (Expr.empty);
    876885    refal.plus.Table.TableCopy (_vs_block__table, _vs_copy__block__table);
     
    957966      _exit1: _continue1: for ( ; ; _va_5.next ())
    958967      {
    959         Expr _ve__dollar_tmp_m_217_m_33 = _va_5.getLeft();
     968        Expr _ve__dollar_tmp_m_219_m_33 = _va_5.getLeft();
    960969        Expr _v_lsplit__Entries1 = _va_5.getRight();
    961970        if (!_va_5.isValid ())
     
    969978          break _block1__branch1;
    970979        }
    971         int _v_len___dollar_tmp_m_217_m_64 = (_v_len3 - _v_len4);
     980        int _v_len___dollar_tmp_m_219_m_64 = (_v_len3 - _v_len4);
    972981        if (_v_lsplit__Entries1.isSymbolAt (0))
    973982        {
     
    10091018          continue _continue1;
    10101019        }
    1011         Expr _ve__dollar_tmp_m_217_m_64 = Expr.empty;
    1012         _ve__dollar_tmp_m_217_m_64 = _v_lsplit__Entries1.subexpr ((0 + 1), _v_len___dollar_tmp_m_217_m_64);
     1020        Expr _ve__dollar_tmp_m_219_m_64 = Expr.empty;
     1021        _ve__dollar_tmp_m_219_m_64 = _v_lsplit__Entries1.subexpr ((0 + 1), _v_len___dollar_tmp_m_219_m_64);
    10131022        Expr _vt_var = Expr.empty;
    10141023        _vt_var = _v_deref__deref__lsplit__Entries1.subexpr ((0 + 1), 1);
     
    10351044          continue _continue1;
    10361045        }
    1037         int _v_len___dollar_tmp_m_219_m_17 = (_v_len5 - _v_len6);
    1038         if (_v_deref__var.isSymbolAt ((0 + _v_len___dollar_tmp_m_219_m_17)))
     1046        int _v_len___dollar_tmp_m_221_m_17 = (_v_len5 - _v_len6);
     1047        if (_v_deref__var.isSymbolAt ((0 + _v_len___dollar_tmp_m_221_m_17)))
    10391048        {
    10401049          continue _continue1;
    10411050        }
    1042         Expr _v_deref__deref__var = (Expr) _v_deref__var.at ((0 + _v_len___dollar_tmp_m_219_m_17));
     1051        Expr _v_deref__deref__var = (Expr) _v_deref__var.at ((0 + _v_len___dollar_tmp_m_221_m_17));
    10431052        int _v_len7 = _v_deref__deref__var.length ();
    10441053        int _v_len8 = 0;
     
    10481057        }
    10491058        int _v_len__name = (_v_len7 - _v_len8);
    1050         Expr _ve__dollar_tmp_m_219_m_17 = Expr.empty;
    1051         _ve__dollar_tmp_m_219_m_17 = _v_deref__var.subexpr (0, _v_len___dollar_tmp_m_219_m_17);
     1059        Expr _ve__dollar_tmp_m_221_m_17 = Expr.empty;
     1060        _ve__dollar_tmp_m_221_m_17 = _v_deref__var.subexpr (0, _v_len___dollar_tmp_m_221_m_17);
    10521061        Expr _ve_name = Expr.empty;
    10531062        _ve_name = _v_deref__deref__var.subexpr (0, _v_len__name);
     
    10941103      throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Get_Block_Table", "Unexpected fail");
    10951104    }
    1096     int _v_len___dollar_tmp_m_229_m_26 = (_v_len1 - _v_len2);
    1097     if (!_v_Get1.getExpr ().isSymbolAt ((0 + _v_len___dollar_tmp_m_229_m_26)))
     1105    int _v_len___dollar_tmp_m_231_m_26 = (_v_len1 - _v_len2);
     1106    if (!_v_Get1.getExpr ().isSymbolAt ((0 + _v_len___dollar_tmp_m_231_m_26)))
    10981107    {
    10991108      throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Get_Block_Table", "Unexpected fail");
    11001109    }
    1101     Expr _ve__dollar_tmp_m_229_m_26 = Expr.empty;
    1102     _ve__dollar_tmp_m_229_m_26 = _v_Get1.getExpr ().subexpr (0, _v_len___dollar_tmp_m_229_m_26);
     1110    Expr _ve__dollar_tmp_m_231_m_26 = Expr.empty;
     1111    _ve__dollar_tmp_m_231_m_26 = _v_Get1.getExpr ().subexpr (0, _v_len___dollar_tmp_m_231_m_26);
    11031112    Expr _vs_block__table = Expr.empty;
    1104     _vs_block__table = _v_Get1.getExpr ().subexpr ((0 + _v_len___dollar_tmp_m_229_m_26), 1);
     1113    _vs_block__table = _v_Get1.getExpr ().subexpr ((0 + _v_len___dollar_tmp_m_231_m_26), 1);
    11051114    _v_res1.assign (_vs_block__table);
    11061115  }
     
    11171126      _exit1: _continue1: for ( ; ; _va_6.next ())
    11181127      {
    1119         Expr _ve__dollar_tmp_m_242_m_15 = _va_6.getLeft();
     1128        Expr _ve__dollar_tmp_m_244_m_15 = _va_6.getLeft();
    11201129        Expr _v_lsplit__vars = _va_6.getRight();
    11211130        if (!_va_6.isValid ())
     
    11291138          break _block1__branch1;
    11301139        }
    1131         int _v_len___dollar_tmp_m_242_m_23 = (_v_len1 - _v_len2);
     1140        int _v_len___dollar_tmp_m_244_m_23 = (_v_len1 - _v_len2);
    11321141        Expr _vt_var = Expr.empty;
    11331142        _vt_var = _v_lsplit__vars.subexpr (0, 1);
    1134         Expr _ve__dollar_tmp_m_242_m_23 = Expr.empty;
    1135         _ve__dollar_tmp_m_242_m_23 = _v_lsplit__vars.subexpr ((0 + 1), _v_len___dollar_tmp_m_242_m_23);
     1143        Expr _ve__dollar_tmp_m_244_m_23 = Expr.empty;
     1144        _ve__dollar_tmp_m_244_m_23 = _v_lsplit__vars.subexpr ((0 + 1), _v_len___dollar_tmp_m_244_m_23);
    11361145        Result _v_Bind__Var1 = new Result (Expr.empty);
    11371146        Bind_Var (_vs_type, _vt_var, _v_Bind__Var1);
     
    11421151          continue _continue1;
    11431152        }
    1144         int _v_len___dollar_tmp_m_243_m_34 = (_v_len3 - _v_len4);
    1145         Expr _ve__dollar_tmp_m_243_m_34 = Expr.empty;
    1146         _ve__dollar_tmp_m_243_m_34 = _v_Bind__Var1.getExpr ().subexpr (0, _v_len___dollar_tmp_m_243_m_34);
     1153        int _v_len___dollar_tmp_m_245_m_34 = (_v_len3 - _v_len4);
     1154        Expr _ve__dollar_tmp_m_245_m_34 = Expr.empty;
     1155        _ve__dollar_tmp_m_245_m_34 = _v_Bind__Var1.getExpr ().subexpr (0, _v_len___dollar_tmp_m_245_m_34);
    11471156      }
    11481157    }
     
    14191428    Expr _vs_end = Expr.empty;
    14201429    _vs_end = _v_Get1.getExpr ().subexpr ((0 + _v_len__traps), 1);
    1421     Expr _vs__dollar_tmp_m_296_m_33 = Expr.empty;
    1422     _vs__dollar_tmp_m_296_m_33 = _v_Get1.getExpr ().subexpr ((0 + _v_len__traps + 1), 1);
     1430    Expr _vs__dollar_tmp_m_298_m_33 = Expr.empty;
     1431    _vs__dollar_tmp_m_298_m_33 = _v_Get1.getExpr ().subexpr ((0 + _v_len__traps + 1), 1);
    14231432    refal.plus.Box.Store (Traps, _ve_traps);
    14241433    _v_res1.assign (_vs_end);
     
    14401449
    14411450  @RefalFormat("$func Check_Name s = ;")
    1442   static  void Check_Name (Expr _vs__dollar_tmp_m_309_m_13) throws RefalException
     1451  static  void Check_Name (Expr _vs__dollar_tmp_m_311_m_13) throws RefalException
    14431452  {
    14441453
     
    14591468      throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Module_To_JBC", "Unexpected fail");
    14601469    }
    1461     int _v_len___dollar_tmp_m_312_m_65 = (_v_len1 - _v_len2);
    1462     Expr _ve__dollar_tmp_m_312_m_65 = Expr.empty;
    1463     _ve__dollar_tmp_m_312_m_65 = _v_Map1.getExpr ().subexpr (0, _v_len___dollar_tmp_m_312_m_65);
     1470    int _v_len___dollar_tmp_m_314_m_65 = (_v_len1 - _v_len2);
     1471    Expr _ve__dollar_tmp_m_314_m_65 = Expr.empty;
     1472    _ve__dollar_tmp_m_314_m_65 = _v_Map1.getExpr ().subexpr (0, _v_len___dollar_tmp_m_314_m_65);
    14641473  }
    14651474
     
    14801489          break _block1__branch1;
    14811490        }
    1482         int _v_len___dollar_tmp_m_315_m_18 = (_v_len1 - _v_len2);
     1491        int _v_len___dollar_tmp_m_317_m_18 = (_v_len1 - _v_len2);
    14831492        if (!_v_deref__arg1.isSymbolAt (0))
    14841493        {
     
    14911500        Expr _vs_tag = Expr.empty;
    14921501        _vs_tag = _v_deref__arg1.subexpr (0, 1);
    1493         Expr _ve__dollar_tmp_m_315_m_18 = Expr.empty;
    1494         _ve__dollar_tmp_m_315_m_18 = _v_deref__arg1.subexpr ((0 + 1 + 1), _v_len___dollar_tmp_m_315_m_18);
     1502        Expr _ve__dollar_tmp_m_317_m_18 = Expr.empty;
     1503        _ve__dollar_tmp_m_317_m_18 = _v_deref__arg1.subexpr ((0 + 1 + 1), _v_len___dollar_tmp_m_317_m_18);
    14951504        break _block1;
    14961505      }
     
    16571666          throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Module_Item_To_JBC", "Unexpected fail");
    16581667        }
    1659         int _v_len___dollar_tmp_m_323_m_17 = (_v_len15 - _v_len16);
    1660         if (!_v_deref__qname.isSymbolAt ((0 + _v_len___dollar_tmp_m_323_m_17)))
     1668        int _v_len___dollar_tmp_m_325_m_17 = (_v_len15 - _v_len16);
     1669        if (!_v_deref__qname.isSymbolAt ((0 + _v_len___dollar_tmp_m_325_m_17)))
    16611670        {
    16621671          throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Module_Item_To_JBC", "Unexpected fail");
    16631672        }
    1664         Expr _ve__dollar_tmp_m_323_m_17 = Expr.empty;
    1665         _ve__dollar_tmp_m_323_m_17 = _v_deref__qname.subexpr (0, _v_len___dollar_tmp_m_323_m_17);
     1673        Expr _ve__dollar_tmp_m_325_m_17 = Expr.empty;
     1674        _ve__dollar_tmp_m_325_m_17 = _v_deref__qname.subexpr (0, _v_len___dollar_tmp_m_325_m_17);
    16661675        Expr _vs_name = Expr.empty;
    1667         _vs_name = _v_deref__qname.subexpr ((0 + _v_len___dollar_tmp_m_323_m_17), 1);
     1676        _vs_name = _v_deref__qname.subexpr ((0 + _v_len___dollar_tmp_m_325_m_17), 1);
    16681677        Check_Name (_vs_name);
    16691678        Result _gs_auxcall2 = new Result (Expr.empty);
     
    17521761            _exit1: _continue1: for ( ; ; _va_7.next ())
    17531762            {
    1754               Expr _ve__dollar_tmp_m_344_m_23 = _va_7.getLeft();
     1763              Expr _ve__dollar_tmp_m_346_m_23 = _va_7.getLeft();
    17551764              Expr _v_lsplit__Get1 = _va_7.getRight();
    17561765              if (!_va_7.isValid ())
     
    17641773                break _block5__branch1;
    17651774              }
    1766               int _v_len___dollar_tmp_m_344_m_33 = (_v_len17 - _v_len18);
     1775              int _v_len___dollar_tmp_m_346_m_33 = (_v_len17 - _v_len18);
    17671776              if (!_vt_qname.termEquals (_v_lsplit__Get1, 0))
    17681777              {
    17691778                continue _continue1;
    17701779              }
    1771               Expr _ve__dollar_tmp_m_344_m_33 = Expr.empty;
    1772               _ve__dollar_tmp_m_344_m_33 = _v_lsplit__Get1.subexpr ((0 + 1), _v_len___dollar_tmp_m_344_m_33);
     1780              Expr _ve__dollar_tmp_m_346_m_33 = Expr.empty;
     1781              _ve__dollar_tmp_m_346_m_33 = _v_lsplit__Get1.subexpr ((0 + 1), _v_len___dollar_tmp_m_346_m_33);
    17731782              refal.plus.Box.Store (EntryName, _vs_name);
    17741783              break _exit1;
     
    18431852              break _block6__branch1;
    18441853            }
    1845             int _v_len___dollar_tmp_m_347_m_17 = (_v_len23 - _v_len24);
     1854            int _v_len___dollar_tmp_m_349_m_17 = (_v_len23 - _v_len24);
    18461855            if (!_c_69.termEquals (_v_deref__qname2, 0))
    18471856            {
    18481857              break _block6__branch1;
    18491858            }
    1850             Expr _ve__dollar_tmp_m_347_m_17 = Expr.empty;
    1851             _ve__dollar_tmp_m_347_m_17 = _v_deref__deref__qname2.subexpr (0, _v_len___dollar_tmp_m_347_m_17);
     1859            Expr _ve__dollar_tmp_m_349_m_17 = Expr.empty;
     1860            _ve__dollar_tmp_m_349_m_17 = _v_deref__deref__qname2.subexpr (0, _v_len___dollar_tmp_m_349_m_17);
    18521861            Result _va_8 = new Result ();
    18531862            GetJBCName (_vt_qname, _va_8);
     
    18661875            throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Module_Item_To_JBC", "Unexpected fail");
    18671876          }
    1868           int _v_len___dollar_tmp_m_348_m_9 = (_v_len25 - _v_len26);
    1869           if (!_v_deref__qname3.isSymbolAt ((0 + _v_len___dollar_tmp_m_348_m_9)))
     1877          int _v_len___dollar_tmp_m_350_m_9 = (_v_len25 - _v_len26);
     1878          if (!_v_deref__qname3.isSymbolAt ((0 + _v_len___dollar_tmp_m_350_m_9)))
    18701879          {
    18711880            throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Module_Item_To_JBC", "Unexpected fail");
    18721881          }
    1873           Expr _ve__dollar_tmp_m_348_m_9 = Expr.empty;
    1874           _ve__dollar_tmp_m_348_m_9 = _v_deref__qname3.subexpr (0, _v_len___dollar_tmp_m_348_m_9);
     1882          Expr _ve__dollar_tmp_m_350_m_9 = Expr.empty;
     1883          _ve__dollar_tmp_m_350_m_9 = _v_deref__qname3.subexpr (0, _v_len___dollar_tmp_m_350_m_9);
    18751884          Expr _gs_name__4 = Expr.empty;
    1876           _gs_name__4 = _v_deref__qname3.subexpr ((0 + _v_len___dollar_tmp_m_348_m_9), 1);
     1885          _gs_name__4 = _v_deref__qname3.subexpr ((0 + _v_len___dollar_tmp_m_350_m_9), 1);
    18771886          _vs_name = _gs_name__4;
    18781887        }
     
    19491958          throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Module_Item_To_JBC", "Unexpected fail");
    19501959        }
    1951         int _v_len___dollar_tmp_m_362_m_17 = (_v_len27 - _v_len28);
    1952         if (!_v_deref__qname4.isSymbolAt ((0 + _v_len___dollar_tmp_m_362_m_17)))
     1960        int _v_len___dollar_tmp_m_364_m_17 = (_v_len27 - _v_len28);
     1961        if (!_v_deref__qname4.isSymbolAt ((0 + _v_len___dollar_tmp_m_364_m_17)))
    19531962        {
    19541963          throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Module_Item_To_JBC", "Unexpected fail");
    19551964        }
    1956         Expr _ve__dollar_tmp_m_362_m_17 = Expr.empty;
    1957         _ve__dollar_tmp_m_362_m_17 = _v_deref__qname4.subexpr (0, _v_len___dollar_tmp_m_362_m_17);
     1965        Expr _ve__dollar_tmp_m_364_m_17 = Expr.empty;
     1966        _ve__dollar_tmp_m_364_m_17 = _v_deref__qname4.subexpr (0, _v_len___dollar_tmp_m_364_m_17);
    19581967        Expr _vs_name = Expr.empty;
    1959         _vs_name = _v_deref__qname4.subexpr ((0 + _v_len___dollar_tmp_m_362_m_17), 1);
     1968        _vs_name = _v_deref__qname4.subexpr ((0 + _v_len___dollar_tmp_m_364_m_17), 1);
    19601969        Check_Name (_vs_name);
    19611970        Result _gs_auxcall18 = new Result (Expr.empty);
     
    20602069      throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Body_To_JBC", "Unexpected fail");
    20612070    }
    2062     int _v_len___dollar_tmp_m_380_m_57 = (_v_len1 - _v_len2);
    2063     Expr _ve__dollar_tmp_m_380_m_57 = Expr.empty;
    2064     _ve__dollar_tmp_m_380_m_57 = _v_Map1.getExpr ().subexpr (0, _v_len___dollar_tmp_m_380_m_57);
     2071    int _v_len___dollar_tmp_m_382_m_57 = (_v_len1 - _v_len2);
     2072    Expr _ve__dollar_tmp_m_382_m_57 = Expr.empty;
     2073    _ve__dollar_tmp_m_382_m_57 = _v_Map1.getExpr ().subexpr (0, _v_len___dollar_tmp_m_382_m_57);
    20652074  }
    20662075
     
    21752184        Expr _vt_var = Expr.empty;
    21762185        _vt_var = _v_deref__deref__arg13.subexpr ((0 + 1), 1);
    2177         Result _vs__dollar_tmp_m_392_m_28 = new Result (Expr.empty);
     2186        Result _vs__dollar_tmp_m_394_m_28 = new Result (Expr.empty);
    21782187        Result _vs_i = new Result (Expr.empty);
    2179         Lookup_Var (_vt_var, _vs__dollar_tmp_m_392_m_28, _vs_i);
     2188        Lookup_Var (_vt_var, _vs__dollar_tmp_m_394_m_28, _vs_i);
    21802189        Expr_Int_To_JBC (_ve_expr);
    21812190        Result _gs_auxcall4 = new Result (Expr.empty);
     
    30913100        _exit1: _continue1: for ( ; ; _va_13.next ())
    30923101        {
    3093           Expr _ve__dollar_tmp_m_535_m_17 = _va_13.getLeft();
     3102          Expr _ve__dollar_tmp_m_537_m_17 = _va_13.getLeft();
    30943103          Expr _v_lsplit__args = _va_13.getRight();
    30953104          if (!_va_13.isValid ())
     
    31033112            break _block12__branch1;
    31043113          }
    3105           int _v_len___dollar_tmp_m_535_m_27 = (_v_len45 - _v_len46);
     3114          int _v_len___dollar_tmp_m_537_m_27 = (_v_len45 - _v_len46);
    31063115          if (_v_lsplit__args.isSymbolAt (0))
    31073116          {
     
    31163125          }
    31173126          int _v_len__arg = (_v_len47 - _v_len48);
    3118           Expr _ve__dollar_tmp_m_535_m_27 = Expr.empty;
    3119           _ve__dollar_tmp_m_535_m_27 = _v_lsplit__args.subexpr ((0 + 1), _v_len___dollar_tmp_m_535_m_27);
     3127          Expr _ve__dollar_tmp_m_537_m_27 = Expr.empty;
     3128          _ve__dollar_tmp_m_537_m_27 = _v_lsplit__args.subexpr ((0 + 1), _v_len___dollar_tmp_m_537_m_27);
    31203129          Expr _ve_arg = Expr.empty;
    31213130          _ve_arg = _v_deref__lsplit__args.subexpr (0, _v_len__arg);
     
    31313140        _exit2: _continue2: for ( ; ; _va_14.next ())
    31323141        {
    3133           Expr _ve__dollar_tmp_m_540_m_17 = _va_14.getLeft();
     3142          Expr _ve__dollar_tmp_m_542_m_17 = _va_14.getLeft();
    31343143          Expr _v_lsplit__ress = _va_14.getRight();
    31353144          if (!_va_14.isValid ())
     
    31433152            break _block13__branch1;
    31443153          }
    3145           int _v_len___dollar_tmp_m_540_m_25 = (_v_len49 - _v_len50);
     3154          int _v_len___dollar_tmp_m_542_m_25 = (_v_len49 - _v_len50);
    31463155          Expr _vt_var = Expr.empty;
    31473156          _vt_var = _v_lsplit__ress.subexpr (0, 1);
    3148           Expr _ve__dollar_tmp_m_540_m_25 = Expr.empty;
    3149           _ve__dollar_tmp_m_540_m_25 = _v_lsplit__ress.subexpr ((0 + 1), _v_len___dollar_tmp_m_540_m_25);
     3157          Expr _ve__dollar_tmp_m_542_m_25 = Expr.empty;
     3158          _ve__dollar_tmp_m_542_m_25 = _v_lsplit__ress.subexpr ((0 + 1), _v_len___dollar_tmp_m_542_m_25);
    31503159          Result _v_Lookup__Var1 = new Result (Expr.empty);
    31513160          Result _v_Lookup__Var2 = new Result (Expr.empty);
     
    31623171                break _block14__branch1;
    31633172              }
    3164               Expr _vs__dollar_tmp_m_542_m_17 = Expr.empty;
    3165               _vs__dollar_tmp_m_542_m_17 = _v_compose2.subexpr ((0 + 1), 1);
     3173              Expr _vs__dollar_tmp_m_544_m_17 = Expr.empty;
     3174              _vs__dollar_tmp_m_544_m_17 = _v_compose2.subexpr ((0 + 1), 1);
    31663175              Result _vs_j = new Result (Expr.empty);
    31673176              Bind_TMP_Var (_vt_var, _vs_j);
     
    32373246        _exit3: _continue3: for ( ; ; _va_15.next ())
    32383247        {
    3239           Expr _ve__dollar_tmp_m_563_m_17 = _va_15.getLeft();
     3248          Expr _ve__dollar_tmp_m_565_m_17 = _va_15.getLeft();
    32403249          Expr _v_lsplit__ress2 = _va_15.getRight();
    32413250          if (!_va_15.isValid ())
     
    32493258            break _block16__branch1;
    32503259          }
    3251           int _v_len___dollar_tmp_m_563_m_25 = (_v_len51 - _v_len52);
     3260          int _v_len___dollar_tmp_m_565_m_25 = (_v_len51 - _v_len52);
    32523261          Expr _vt_var = Expr.empty;
    32533262          _vt_var = _v_lsplit__ress2.subexpr (0, 1);
    3254           Expr _ve__dollar_tmp_m_563_m_25 = Expr.empty;
    3255           _ve__dollar_tmp_m_563_m_25 = _v_lsplit__ress2.subexpr ((0 + 1), _v_len___dollar_tmp_m_563_m_25);
     3263          Expr _ve__dollar_tmp_m_565_m_25 = Expr.empty;
     3264          _ve__dollar_tmp_m_565_m_25 = _v_lsplit__ress2.subexpr ((0 + 1), _v_len___dollar_tmp_m_565_m_25);
    32563265          Result _v_Lookup__Var3 = new Result (Expr.empty);
    32573266          Result _v_Lookup__Var4 = new Result (Expr.empty);
     
    33933402      refal.plus.Access.Length (_ge_arg1, _gs_auxcall4);
    33943403      Result _gs_auxcall5 = new Result (Expr.empty);
    3395       org.refal.plus.wrappers.java.lang.Integer.Integer (_gs_auxcall4.getExpr (), _gs_auxcall5);
     3404      Integer (_gs_auxcall4.getExpr (), _gs_auxcall5);
    33963405      org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitLdcInsn (_gs_auxcall3.getExpr (), _gs_auxcall5.getExpr ());
    33973406      Result _gs_auxcall6 = new Result (Expr.empty);
     
    34063415        _exit1: _continue1: for ( ; ; _va_16.next ())
    34073416        {
    3408           Expr _ve__dollar_tmp_m_599_m_17 = _va_16.getLeft();
     3417          Expr _ve__dollar_tmp_m_601_m_17 = _va_16.getLeft();
    34093418          Expr _v_lsplit__arg1 = _va_16.getRight();
    34103419          if (!_va_16.isValid ())
     
    34183427            break _block4__branch1;
    34193428          }
    3420           int _v_len___dollar_tmp_m_599_m_26 = (_v_len1 - _v_len2);
     3429          int _v_len___dollar_tmp_m_601_m_26 = (_v_len1 - _v_len2);
    34213430          Expr _vt_term = Expr.empty;
    34223431          _vt_term = _v_lsplit__arg1.subexpr (0, 1);
    3423           Expr _ve__dollar_tmp_m_599_m_26 = Expr.empty;
    3424           _ve__dollar_tmp_m_599_m_26 = _v_lsplit__arg1.subexpr ((0 + 1), _v_len___dollar_tmp_m_599_m_26);
     3432          Expr _ve__dollar_tmp_m_601_m_26 = Expr.empty;
     3433          _ve__dollar_tmp_m_601_m_26 = _v_lsplit__arg1.subexpr ((0 + 1), _v_len___dollar_tmp_m_601_m_26);
    34253434          Result _vs_type = new Result (Expr.empty);
    34263435          Term_Ref_To_JBC_With_Type (_vt_term, _vs_type);
     
    36403649            break _block1__branch4;
    36413650          }
    3642           int _v_len___dollar_tmp_m_623_m_15 = (_v_len15 - _v_len16);
     3651          int _v_len___dollar_tmp_m_625_m_15 = (_v_len15 - _v_len16);
    36433652          if (!_c_69.termEquals (_v_deref__arg15, 0))
    36443653          {
    36453654            break _block1__branch4;
    36463655          }
    3647           Expr _ve__dollar_tmp_m_623_m_15 = Expr.empty;
    3648           _ve__dollar_tmp_m_623_m_15 = _v_deref__deref__arg15.subexpr (0, _v_len___dollar_tmp_m_623_m_15);
     3656          Expr _ve__dollar_tmp_m_625_m_15 = Expr.empty;
     3657          _ve__dollar_tmp_m_625_m_15 = _v_deref__deref__arg15.subexpr (0, _v_len___dollar_tmp_m_625_m_15);
    36493658          Result _ge_auxcall4 = new Result (Expr.empty);
    36503659          refal.plus.Box.Get (Module_Name, _ge_auxcall4);
     
    36833692        throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Term_Ref_To_JBC_With_Type", "Unexpected fail");
    36843693      }
    3685       int _v_len___dollar_tmp_m_627_m_32 = (_v_len17 - _v_len18);
     3694      int _v_len___dollar_tmp_m_629_m_32 = (_v_len17 - _v_len18);
    36863695      if (!_v_deref__arg16.isSymbolAt (0))
    36873696      {
     
    36903699      Expr _vs_var__tag = Expr.empty;
    36913700      _vs_var__tag = _v_deref__arg16.subexpr (0, 1);
    3692       Expr _ve__dollar_tmp_m_627_m_32 = Expr.empty;
    3693       _ve__dollar_tmp_m_627_m_32 = _v_deref__arg16.subexpr ((0 + 1), _v_len___dollar_tmp_m_627_m_32);
     3701      Expr _ve__dollar_tmp_m_629_m_32 = Expr.empty;
     3702      _ve__dollar_tmp_m_629_m_32 = _v_deref__arg16.subexpr ((0 + 1), _v_len___dollar_tmp_m_629_m_32);
    36943703      _block3: {
    36953704        _block3__branch1: {
     
    37553764            MV (_gs_auxcall1);
    37563765            Result _gs_auxcall2 = new Result (Expr.empty);
    3757             org.refal.plus.wrappers.java.lang.Integer.Integer (_vs_ObjectSymbol, _gs_auxcall2);
     3766            Integer (_vs_ObjectSymbol, _gs_auxcall2);
    37583767            org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitLdcInsn (_gs_auxcall1.getExpr (), _gs_auxcall2.getExpr ());
    37593768            break _block2;
     
    40144023      throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Infix_To_JBC", "Unexpected fail");
    40154024    }
    4016     int _v_len___dollar_tmp_m_664_m_31 = (_v_len5 - _v_len6);
    4017     Expr _ve__dollar_tmp_m_664_m_31 = Expr.empty;
    4018     _ve__dollar_tmp_m_664_m_31 = _v_Apply1.getExpr ().subexpr (0, _v_len___dollar_tmp_m_664_m_31);
     4025    int _v_len___dollar_tmp_m_666_m_31 = (_v_len5 - _v_len6);
     4026    Expr _ve__dollar_tmp_m_666_m_31 = Expr.empty;
     4027    _ve__dollar_tmp_m_666_m_31 = _v_Apply1.getExpr ().subexpr (0, _v_len___dollar_tmp_m_666_m_31);
    40194028    _block2__branch1: {
    40204029      if (_v_len__args < 1)
     
    40254034      _exit1: _continue1: for ( ; ; _va_17.next ())
    40264035      {
    4027         Expr _ve__dollar_tmp_m_666_m_15 = _va_17.getLeft();
     4036        Expr _ve__dollar_tmp_m_668_m_15 = _va_17.getLeft();
    40284037        Expr _v_lsplit__args = _va_17.getRight();
    40294038        if (!_va_17.isValid ())
     
    40374046          break _block2__branch1;
    40384047        }
    4039         int _v_len___dollar_tmp_m_666_m_26 = (_v_len7 - _v_len8);
     4048        int _v_len___dollar_tmp_m_668_m_26 = (_v_len7 - _v_len8);
    40404049        if (_v_lsplit__args.isSymbolAt (0))
    40414050        {
     
    40504059        }
    40514060        int _v_len__arg2 = (_v_len9 - _v_len10);
    4052         Expr _ve__dollar_tmp_m_666_m_26 = Expr.empty;
    4053         _ve__dollar_tmp_m_666_m_26 = _v_lsplit__args.subexpr ((0 + 1), _v_len___dollar_tmp_m_666_m_26);
     4061        Expr _ve__dollar_tmp_m_668_m_26 = Expr.empty;
     4062        _ve__dollar_tmp_m_668_m_26 = _v_lsplit__args.subexpr ((0 + 1), _v_len___dollar_tmp_m_668_m_26);
    40544063        Expr _ve_arg2 = Expr.empty;
    40554064        _ve_arg2 = _v_deref__lsplit__args.subexpr (0, _v_len__arg2);
     
    40654074          continue _continue1;
    40664075        }
    4067         int _v_len___dollar_tmp_m_667_m_36 = (_v_len11 - _v_len12);
    4068         Expr _ve__dollar_tmp_m_667_m_36 = Expr.empty;
    4069         _ve__dollar_tmp_m_667_m_36 = _v_Apply2.getExpr ().subexpr (0, _v_len___dollar_tmp_m_667_m_36);
     4076        int _v_len___dollar_tmp_m_669_m_36 = (_v_len11 - _v_len12);
     4077        Expr _ve__dollar_tmp_m_669_m_36 = Expr.empty;
     4078        _ve__dollar_tmp_m_669_m_36 = _v_Apply2.getExpr ().subexpr (0, _v_len___dollar_tmp_m_669_m_36);
    40704079        Result _gs_auxcall1 = new Result (Expr.empty);
    40714080        MV (_gs_auxcall1);
     
    41644173          _exit1: _continue1: for ( ; ; _va_18.next ())
    41654174          {
    4166             Expr _ve__dollar_tmp_m_676_m_17 = _va_18.getLeft();
     4175            Expr _ve__dollar_tmp_m_678_m_17 = _va_18.getLeft();
    41674176            Expr _v_lsplit__args = _va_18.getRight();
    41684177            if (!_va_18.isValid ())
     
    41764185              break _block2__branch1;
    41774186            }
    4178             int _v_len___dollar_tmp_m_676_m_27 = (_v_len7 - _v_len8);
     4187            int _v_len___dollar_tmp_m_678_m_27 = (_v_len7 - _v_len8);
    41794188            if (_v_lsplit__args.isSymbolAt (0))
    41804189            {
     
    41894198            }
    41904199            int _v_len__arg = (_v_len9 - _v_len10);
    4191             Expr _ve__dollar_tmp_m_676_m_27 = Expr.empty;
    4192             _ve__dollar_tmp_m_676_m_27 = _v_lsplit__args.subexpr ((0 + 1), _v_len___dollar_tmp_m_676_m_27);
     4200            Expr _ve__dollar_tmp_m_678_m_27 = Expr.empty;
     4201            _ve__dollar_tmp_m_678_m_27 = _v_lsplit__args.subexpr ((0 + 1), _v_len___dollar_tmp_m_678_m_27);
    41934202            Expr _ve_arg = Expr.empty;
    41944203            _ve_arg = _v_deref__lsplit__args.subexpr (0, _v_len__arg);
     
    42044213          _exit2: _continue2: for ( ; ; _va_19.next ())
    42054214          {
    4206             Expr _ve__dollar_tmp_m_681_m_17 = _va_19.getLeft();
     4215            Expr _ve__dollar_tmp_m_683_m_17 = _va_19.getLeft();
    42074216            Expr _v_lsplit__ress = _va_19.getRight();
    42084217            if (!_va_19.isValid ())
     
    42164225              break _block3__branch1;
    42174226            }
    4218             int _v_len___dollar_tmp_m_681_m_25 = (_v_len11 - _v_len12);
     4227            int _v_len___dollar_tmp_m_683_m_25 = (_v_len11 - _v_len12);
    42194228            Expr _vt_var = Expr.empty;
    42204229            _vt_var = _v_lsplit__ress.subexpr (0, 1);
    4221             Expr _ve__dollar_tmp_m_681_m_25 = Expr.empty;
    4222             _ve__dollar_tmp_m_681_m_25 = _v_lsplit__ress.subexpr ((0 + 1), _v_len___dollar_tmp_m_681_m_25);
     4230            Expr _ve__dollar_tmp_m_683_m_25 = Expr.empty;
     4231            _ve__dollar_tmp_m_683_m_25 = _v_lsplit__ress.subexpr ((0 + 1), _v_len___dollar_tmp_m_683_m_25);
    42234232            Result _v_Lookup__Var1 = new Result (Expr.empty);
    42244233            Result _v_Lookup__Var2 = new Result (Expr.empty);
     
    42354244                  break _block4__branch1;
    42364245                }
    4237                 Expr _vs__dollar_tmp_m_683_m_17 = Expr.empty;
    4238                 _vs__dollar_tmp_m_683_m_17 = _v_compose1.subexpr ((0 + 1), 1);
     4246                Expr _vs__dollar_tmp_m_685_m_17 = Expr.empty;
     4247                _vs__dollar_tmp_m_685_m_17 = _v_compose1.subexpr ((0 + 1), 1);
    42394248                Result _vs_j = new Result (Expr.empty);
    42404249                Bind_TMP_Var (_vt_var, _vs_j);
     
    42874296          _exit3: _continue3: for ( ; ; _va_20.next ())
    42884297          {
    4289             Expr _ve__dollar_tmp_m_696_m_17 = _va_20.getLeft();
     4298            Expr _ve__dollar_tmp_m_698_m_17 = _va_20.getLeft();
    42904299            Expr _v_lsplit__ress2 = _va_20.getRight();
    42914300            if (!_va_20.isValid ())
     
    42994308              break _block5__branch1;
    43004309            }
    4301             int _v_len___dollar_tmp_m_696_m_25 = (_v_len13 - _v_len14);
     4310            int _v_len___dollar_tmp_m_698_m_25 = (_v_len13 - _v_len14);
    43024311            Expr _vt_var = Expr.empty;
    43034312            _vt_var = _v_lsplit__ress2.subexpr (0, 1);
    4304             Expr _ve__dollar_tmp_m_696_m_25 = Expr.empty;
    4305             _ve__dollar_tmp_m_696_m_25 = _v_lsplit__ress2.subexpr ((0 + 1), _v_len___dollar_tmp_m_696_m_25);
     4313            Expr _ve__dollar_tmp_m_698_m_25 = Expr.empty;
     4314            _ve__dollar_tmp_m_698_m_25 = _v_lsplit__ress2.subexpr ((0 + 1), _v_len___dollar_tmp_m_698_m_25);
    43064315            Result _v_Lookup__Var3 = new Result (Expr.empty);
    43074316            Result _v_Lookup__Var4 = new Result (Expr.empty);
     
    43544363        _ve_expr = _v_deref__arg12.subexpr ((0 + 1), _v_len__expr);
    43554364        Result _vs_i = new Result (Expr.empty);
    4356         Result _vs__dollar_tmp_m_705_m_38 = new Result (Expr.empty);
    4357         Result _vs__dollar_tmp_m_705_m_40 = new Result (Expr.empty);
    4358         Lookup_Iter_Var (_ve_expr, _vs_i, _vs__dollar_tmp_m_705_m_38, _vs__dollar_tmp_m_705_m_40);
     4365        Result _vs__dollar_tmp_m_707_m_38 = new Result (Expr.empty);
     4366        Result _vs__dollar_tmp_m_707_m_40 = new Result (Expr.empty);
     4367        Lookup_Iter_Var (_ve_expr, _vs_i, _vs__dollar_tmp_m_707_m_38, _vs__dollar_tmp_m_707_m_40);
    43594368        Result _gs_auxcall13 = new Result (Expr.empty);
    43604369        MV (_gs_auxcall13);
     
    46064615      }
    46074616      Result _vs_i = new Result (Expr.empty);
    4608       Result _vs__dollar_tmp_m_741_m_38 = new Result (Expr.empty);
    4609       Result _vs__dollar_tmp_m_741_m_40 = new Result (Expr.empty);
    4610       Lookup_Iter_Var (_ve_expr, _vs_i, _vs__dollar_tmp_m_741_m_38, _vs__dollar_tmp_m_741_m_40);
     4617      Result _vs__dollar_tmp_m_743_m_38 = new Result (Expr.empty);
     4618      Result _vs__dollar_tmp_m_743_m_40 = new Result (Expr.empty);
     4619      Lookup_Iter_Var (_ve_expr, _vs_i, _vs__dollar_tmp_m_743_m_38, _vs__dollar_tmp_m_743_m_40);
    46114620      Result _gs_auxcall1 = new Result (Expr.empty);
    46124621      MV (_gs_auxcall1);
     
    47284737            throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Const_Expr_To_JBC", "Unexpected fail");
    47294738          }
    4730           int _v_len___dollar_tmp_m_756_m_17 = (_v_len3 - _v_len4);
     4739          int _v_len___dollar_tmp_m_758_m_17 = (_v_len3 - _v_len4);
    47314740          if (!_c_69.termEquals (_v_deref__name2, 0))
    47324741          {
    47334742            throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Const_Expr_To_JBC", "Unexpected fail");
    47344743          }
    4735           Expr _ve__dollar_tmp_m_756_m_17 = Expr.empty;
    4736           _ve__dollar_tmp_m_756_m_17 = _v_deref__deref__name2.subexpr (0, _v_len___dollar_tmp_m_756_m_17);
     4744          Expr _ve__dollar_tmp_m_758_m_17 = Expr.empty;
     4745          _ve__dollar_tmp_m_758_m_17 = _v_deref__deref__name2.subexpr (0, _v_len___dollar_tmp_m_758_m_17);
    47374746          Result _ge_auxcall2 = new Result (Expr.empty);
    47384747          refal.plus.Box.Get (Module_Name, _ge_auxcall2);
     
    47494758        MV (_gs_auxcall6);
    47504759        Result _gs_auxcall7 = new Result (Expr.empty);
    4751         org.refal.plus.wrappers.java.lang.Integer.Integer (_vs_pos, _gs_auxcall7);
     4760        Integer (_vs_pos, _gs_auxcall7);
    47524761        org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitLdcInsn (_gs_auxcall6.getExpr (), _gs_auxcall7.getExpr ());
    47534762        Result _gs_auxcall8 = new Result (Expr.empty);
    47544763        MV (_gs_auxcall8);
    47554764        Result _gs_auxcall9 = new Result (Expr.empty);
    4756         org.refal.plus.wrappers.java.lang.Integer.Integer (_vs_len, _gs_auxcall9);
     4765        Integer (_vs_len, _gs_auxcall9);
    47574766        org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitLdcInsn (_gs_auxcall8.getExpr (), _gs_auxcall9.getExpr ());
    47584767        Result _gs_auxcall10 = new Result (Expr.empty);
     
    47684777      refal.plus.Access.Length (_ge_arg1__2.getExpr (), _gs_auxcall12);
    47694778      Result _gs_auxcall13 = new Result (Expr.empty);
    4770       org.refal.plus.wrappers.java.lang.Integer.Integer (_gs_auxcall12.getExpr (), _gs_auxcall13);
     4779      Integer (_gs_auxcall12.getExpr (), _gs_auxcall13);
    47714780      org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitLdcInsn (_gs_auxcall11.getExpr (), _gs_auxcall13.getExpr ());
    47724781      Result _gs_auxcall14 = new Result (Expr.empty);
     
    47814790        _exit1: _continue1: for ( ; ; _va_21.next ())
    47824791        {
    4783           Expr _ve__dollar_tmp_m_769_m_17 = _va_21.getLeft();
     4792          Expr _ve__dollar_tmp_m_771_m_17 = _va_21.getLeft();
    47844793          Expr _v_lsplit__arg1__2 = _va_21.getRight();
    47854794          if (!_va_21.isValid ())
     
    47934802            break _block3__branch1;
    47944803          }
    4795           int _v_len___dollar_tmp_m_769_m_26 = (_v_len5 - _v_len6);
     4804          int _v_len___dollar_tmp_m_771_m_26 = (_v_len5 - _v_len6);
    47964805          Expr _vt_term = Expr.empty;
    47974806          _vt_term = _v_lsplit__arg1__2.subexpr (0, 1);
    4798           Expr _ve__dollar_tmp_m_769_m_26 = Expr.empty;
    4799           _ve__dollar_tmp_m_769_m_26 = _v_lsplit__arg1__2.subexpr ((0 + 1), _v_len___dollar_tmp_m_769_m_26);
     4807          Expr _ve__dollar_tmp_m_771_m_26 = Expr.empty;
     4808          _ve__dollar_tmp_m_771_m_26 = _v_lsplit__arg1__2.subexpr ((0 + 1), _v_len___dollar_tmp_m_771_m_26);
    48004809          Const_Term_To_JBC (_vt_term);
    48014810          Result _gs_auxcall15 = new Result (Expr.empty);
     
    48844893            break _block2__branch1;
    48854894          }
    4886           int _v_len___dollar_tmp_m_799_m_20 = (_v_len1 - _v_len2);
    4887           Expr _vv__dollar_tmp_m_799_m_20 = Expr.empty;
    4888           _vv__dollar_tmp_m_799_m_20 = _ve_chars.getExpr ().subexpr (0, _v_len___dollar_tmp_m_799_m_20);
     4895          int _v_len___dollar_tmp_m_801_m_20 = (_v_len1 - _v_len2);
     4896          Expr _vv__dollar_tmp_m_801_m_20 = Expr.empty;
     4897          _vv__dollar_tmp_m_801_m_20 = _ve_chars.getExpr ().subexpr (0, _v_len___dollar_tmp_m_801_m_20);
    48894898          _ve_res = Expr.concat (_ve_res, (Comparable<?>) Expr.concat (_c_198, _ve_chars.getExpr ()));
    48904899          _ge_expr__0 = _ge_expr__0__2.getExpr ();
     
    50345043            break _block1__branch3;
    50355044          }
    5036           int _v_len___dollar_tmp_m_816_m_15 = (_v_len7 - _v_len8);
     5045          int _v_len___dollar_tmp_m_818_m_15 = (_v_len7 - _v_len8);
    50375046          if (!_c_69.termEquals (_v_deref__arg14, 0))
    50385047          {
    50395048            break _block1__branch3;
    50405049          }
    5041           Expr _ve__dollar_tmp_m_816_m_15 = Expr.empty;
    5042           _ve__dollar_tmp_m_816_m_15 = _v_deref__deref__arg14.subexpr (0, _v_len___dollar_tmp_m_816_m_15);
     5050          Expr _ve__dollar_tmp_m_818_m_15 = Expr.empty;
     5051          _ve__dollar_tmp_m_818_m_15 = _v_deref__deref__arg14.subexpr (0, _v_len___dollar_tmp_m_818_m_15);
    50435052          Result _ge_auxcall7 = new Result (Expr.empty);
    50445053          refal.plus.Box.Get (Module_Name, _ge_auxcall7);
     
    52685277          break _block1__branch1;
    52695278        }
    5270         int _v_len___dollar_tmp_m_861_m_12 = (_v_len1 - _v_len2);
     5279        int _v_len___dollar_tmp_m_863_m_12 = (_v_len1 - _v_len2);
    52715280        if (!_c_151.termEquals (_v_deref__L1, 0))
    52725281        {
    52735282          break _block1__branch1;
    52745283        }
    5275         Expr _ve__dollar_tmp_m_861_m_12 = Expr.empty;
    5276         _ve__dollar_tmp_m_861_m_12 = _v_deref__L1.subexpr ((0 + 1), _v_len___dollar_tmp_m_861_m_12);
     5284        Expr _ve__dollar_tmp_m_863_m_12 = Expr.empty;
     5285        _ve__dollar_tmp_m_863_m_12 = _v_deref__L1.subexpr ((0 + 1), _v_len___dollar_tmp_m_863_m_12);
    52775286        Result _gs_auxcall2 = new Result (Expr.empty);
    52785287        MV (_gs_auxcall2);
     
    53875396        throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "PutArgToStack", "Unexpected fail");
    53885397      }
    5389       int _v_len___dollar_tmp_m_875_m_12 = (_v_len5 - _v_len6);
     5398      int _v_len___dollar_tmp_m_877_m_12 = (_v_len5 - _v_len6);
    53905399      if (!_c_153.termEquals (_v_deref__L12, 0))
    53915400      {
    53925401        throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "PutArgToStack", "Unexpected fail");
    53935402      }
    5394       Expr _ve__dollar_tmp_m_875_m_12 = Expr.empty;
    5395       _ve__dollar_tmp_m_875_m_12 = _v_deref__L12.subexpr ((0 + 1), _v_len___dollar_tmp_m_875_m_12);
     5403      Expr _ve__dollar_tmp_m_877_m_12 = Expr.empty;
     5404      _ve__dollar_tmp_m_877_m_12 = _v_deref__L12.subexpr ((0 + 1), _v_len___dollar_tmp_m_877_m_12);
    53965405      Result _v_ToChars2 = new Result (Expr.empty);
    53975406      refal.plus.Convert.ToChars (_vs_javaArgType, _v_ToChars2);
     
    54845493              break _block7__branch1;
    54855494            }
    5486             int _v_len___dollar_tmp_m_884_m_45 = (_v_len9 - _v_len10);
     5495            int _v_len___dollar_tmp_m_886_m_45 = (_v_len9 - _v_len10);
    54875496            if (!_c_222.termEquals (_v_ToChars3.getExpr (), 0))
    54885497            {
    54895498              break _block7__branch1;
    54905499            }
    5491             Expr _ve__dollar_tmp_m_884_m_45 = Expr.empty;
    5492             _ve__dollar_tmp_m_884_m_45 = _v_ToChars3.getExpr ().subexpr ((0 + 1), _v_len___dollar_tmp_m_884_m_45);
     5500            Expr _ve__dollar_tmp_m_886_m_45 = Expr.empty;
     5501            _ve__dollar_tmp_m_886_m_45 = _v_ToChars3.getExpr ().subexpr ((0 + 1), _v_len___dollar_tmp_m_886_m_45);
    54935502            Result _gs_auxcall12 = new Result (Expr.empty);
    54945503            MV (_gs_auxcall12);
     
    55945603            break _block2__branch1;
    55955604          }
    5596           int _v_len___dollar_tmp_m_905_m_14 = (_v_len1 - _v_len2);
     5605          int _v_len___dollar_tmp_m_907_m_14 = (_v_len1 - _v_len2);
    55975606          if (!_c_151.termEquals (_v_deref__rfResTypes, 0))
    55985607          {
    55995608            break _block2__branch1;
    56005609          }
    5601           Expr _ve__dollar_tmp_m_905_m_14 = Expr.empty;
    5602           _ve__dollar_tmp_m_905_m_14 = _v_deref__rfResTypes.subexpr ((0 + 1), _v_len___dollar_tmp_m_905_m_14);
     5610          Expr _ve__dollar_tmp_m_907_m_14 = Expr.empty;
     5611          _ve__dollar_tmp_m_907_m_14 = _v_deref__rfResTypes.subexpr ((0 + 1), _v_len___dollar_tmp_m_907_m_14);
    56035612          Expr _gs_javaResType__5 = Expr.empty;
    56045613          _block3: {
     
    56125621                break _block3__branch1;
    56135622              }
    5614               int _v_len___dollar_tmp_m_907_m_42 = (_v_len3 - _v_len4);
     5623              int _v_len___dollar_tmp_m_909_m_42 = (_v_len3 - _v_len4);
    56155624              if (!_c_221.termEquals (_v_ToChars1.getExpr (), 0))
    56165625              {
    56175626                break _block3__branch1;
    56185627              }
    5619               Expr _ve__dollar_tmp_m_907_m_42 = Expr.empty;
    5620               _ve__dollar_tmp_m_907_m_42 = _v_ToChars1.getExpr ().subexpr ((0 + 1), _v_len___dollar_tmp_m_907_m_42);
     5628              Expr _ve__dollar_tmp_m_909_m_42 = Expr.empty;
     5629              _ve__dollar_tmp_m_909_m_42 = _v_ToChars1.getExpr ().subexpr ((0 + 1), _v_len___dollar_tmp_m_909_m_42);
    56215630              _gs_javaResType__5 = _c_233;
    56225631              break _block3;
     
    56495658          throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "GetResFromStack", "Unexpected fail");
    56505659        }
    5651         int _v_len___dollar_tmp_m_912_m_14 = (_v_len5 - _v_len6);
     5660        int _v_len___dollar_tmp_m_914_m_14 = (_v_len5 - _v_len6);
    56525661        if (!_c_153.termEquals (_v_deref__rfResTypes2, 0))
    56535662        {
    56545663          throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "GetResFromStack", "Unexpected fail");
    56555664        }
    5656         Expr _ve__dollar_tmp_m_912_m_14 = Expr.empty;
    5657         _ve__dollar_tmp_m_912_m_14 = _v_deref__rfResTypes2.subexpr ((0 + 1), _v_len___dollar_tmp_m_912_m_14);
     5665        Expr _ve__dollar_tmp_m_914_m_14 = Expr.empty;
     5666        _ve__dollar_tmp_m_914_m_14 = _v_deref__rfResTypes2.subexpr ((0 + 1), _v_len___dollar_tmp_m_914_m_14);
    56585667        Expr _gs_javaResType__5 = Expr.empty;
    56595668        _block4: {
     
    56675676              break _block4__branch1;
    56685677            }
    5669             int _v_len___dollar_tmp_m_914_m_43 = (_v_len7 - _v_len8);
     5678            int _v_len___dollar_tmp_m_916_m_43 = (_v_len7 - _v_len8);
    56705679            if (!_c_236.equals (_v_ToChars2.getExpr (), 0))
    56715680            {
    56725681              break _block4__branch1;
    56735682            }
    5674             Expr _ve__dollar_tmp_m_914_m_43 = Expr.empty;
    5675             _ve__dollar_tmp_m_914_m_43 = _v_ToChars2.getExpr ().subexpr ((0 + 1 + 1), _v_len___dollar_tmp_m_914_m_43);
     5683            Expr _ve__dollar_tmp_m_916_m_43 = Expr.empty;
     5684            _ve__dollar_tmp_m_916_m_43 = _v_ToChars2.getExpr ().subexpr ((0 + 1 + 1), _v_len___dollar_tmp_m_916_m_43);
    56765685            _gs_javaResType__5 = _c_237;
    56775686            break _block4;
     
    58925901      throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "WrapGen", "Unexpected fail");
    58935902    }
    5894     int _v_len___dollar_tmp_m_949_m_15 = (_v_len7 - _v_len8);
    5895     if (!_v_deref__qname.isSymbolAt ((0 + _v_len___dollar_tmp_m_949_m_15)))
     5903    int _v_len___dollar_tmp_m_951_m_15 = (_v_len7 - _v_len8);
     5904    if (!_v_deref__qname.isSymbolAt ((0 + _v_len___dollar_tmp_m_951_m_15)))
    58965905    {
    58975906      throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "WrapGen", "Unexpected fail");
    58985907    }
    5899     Expr _ve__dollar_tmp_m_949_m_15 = Expr.empty;
    5900     _ve__dollar_tmp_m_949_m_15 = _v_deref__qname.subexpr (0, _v_len___dollar_tmp_m_949_m_15);
     5908    Expr _ve__dollar_tmp_m_951_m_15 = Expr.empty;
     5909    _ve__dollar_tmp_m_951_m_15 = _v_deref__qname.subexpr (0, _v_len___dollar_tmp_m_951_m_15);
    59015910    Expr _vs_functionName = Expr.empty;
    5902     _vs_functionName = _v_deref__qname.subexpr ((0 + _v_len___dollar_tmp_m_949_m_15), 1);
     5911    _vs_functionName = _v_deref__qname.subexpr ((0 + _v_len___dollar_tmp_m_951_m_15), 1);
    59035912    _block1: {
    59045913      _block1__branch1: {
     
    59125921        _exit1: _continue1: for ( ; ; _va_24.next ())
    59135922        {
    5914           Expr _ve__dollar_tmp_m_950_m_21 = _va_24.getLeft();
     5923          Expr _ve__dollar_tmp_m_952_m_21 = _va_24.getLeft();
    59155924          Expr _v_lsplit__Get1 = _va_24.getRight();
    59165925          if (!_va_24.isValid ())
     
    59245933            break _block1__branch1;
    59255934          }
    5926           int _v_len___dollar_tmp_m_950_m_31 = (_v_len9 - _v_len10);
     5935          int _v_len___dollar_tmp_m_952_m_31 = (_v_len9 - _v_len10);
    59275936          if (!_vt_qname.termEquals (_v_lsplit__Get1, 0))
    59285937          {
    59295938            continue _continue1;
    59305939          }
    5931           Expr _ve__dollar_tmp_m_950_m_31 = Expr.empty;
    5932           _ve__dollar_tmp_m_950_m_31 = _v_lsplit__Get1.subexpr ((0 + 1), _v_len___dollar_tmp_m_950_m_31);
     5940          Expr _ve__dollar_tmp_m_952_m_31 = Expr.empty;
     5941          _ve__dollar_tmp_m_952_m_31 = _v_lsplit__Get1.subexpr ((0 + 1), _v_len___dollar_tmp_m_952_m_31);
    59335942          refal.plus.Box.Store (EntryName, _vs_functionName);
    59345943          break _exit1;
     
    60806089            break _block6__branch1;
    60816090          }
    6082           int _v_len___dollar_tmp_m_984_m_48 = (_v_len13 - _v_len14);
     6091          int _v_len___dollar_tmp_m_986_m_48 = (_v_len13 - _v_len14);
    60836092          if (!_v_lsplit__javaArgTypes__3.isSymbolAt (0))
    60846093          {
     
    60876096          Expr _vs_javaArgType = Expr.empty;
    60886097          _vs_javaArgType = _v_lsplit__javaArgTypes__3.subexpr (0, 1);
    6089           Expr _ve__dollar_tmp_m_984_m_48 = Expr.empty;
    6090           _ve__dollar_tmp_m_984_m_48 = _v_lsplit__javaArgTypes__3.subexpr ((0 + 1), _v_len___dollar_tmp_m_984_m_48);
     6098          Expr _ve__dollar_tmp_m_986_m_48 = Expr.empty;
     6099          _ve__dollar_tmp_m_986_m_48 = _v_lsplit__javaArgTypes__3.subexpr ((0 + 1), _v_len___dollar_tmp_m_986_m_48);
    60916100          Result _gs_auxcall13 = new Result (Expr.empty);
    60926101          ConvertType (_vs_javaArgType, _gs_auxcall13);
Note: See TracChangeset for help on using the changeset viewer.