Changeset 3563


Ignore:
Timestamp:
Mar 25, 2008, 1:50:11 PM (13 years ago)
Author:
yura
Message:
  • Error in $native generator - incorrect functions is called.
Location:
to-imperative/trunk
Files:
2 edited

Legend:

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

    r3539 r3563  
    904904    e.rfResTypes : {
    905905      (SVAR e) =
     906        {
     907          <ToChars s.javaResType> : 'L' e = "Ljava/lang/Object;";
     908          s.javaResType;
     909        } :: s.javaResType,
    906910        <MVvisitMethodInsn <MV> &INVOKESTATIC "org/refal/plus/Native" "sValueOf" <ToWord "("s.javaResType")Ljava/lang/Comparable;">>,
    907911        <MVvisitMethodInsn <MV> &INVOKEVIRTUAL "org/refal/plus/Result" "assign" "(Ljava/lang/Comparable;)V">;
    908912      (EVAR e) =
    909913        {
    910           <ToWord s.javaResType> : '[L' e = "[Ljava/lang/Object;";
     914          <ToChars s.javaResType> : '[L' e = "[Ljava/lang/Object;";
    911915          s.javaResType;
    912916        } :: s.javaResType,
  • to-imperative/trunk/java/compiler/org/refal/plus/compiler/rfp_asail_jbc.java

    r3526 r3563  
    154154  static  final Expr _c_113 = new Expr (Symbol.newWord ("getExpr"));
    155155  static  final Expr _c_114 = new Expr (Symbol.newWord ("FATAL"));
    156   static  final Expr _c_258 = Expr.getConcatenator (3).toRight (Symbol.newWord ("Apply")).toRight (Symbol.newWord ("Apply")).toRight (Symbol.newWord ("Unexpected fail")).yield ();
    157   static  final Expr _c_115 = _c_258.subexpr (2, 1);
     156  static  final Expr _c_259 = Expr.getConcatenator (3).toRight (Symbol.newWord ("Apply")).toRight (Symbol.newWord ("Apply")).toRight (Symbol.newWord ("Unexpected fail")).yield ();
     157  static  final Expr _c_115 = _c_259.subexpr (2, 1);
    158158  static  final Expr _c_116 = new Expr (Symbol.newWord ("(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V"));
    159159  static  final Expr _c_117 = new Expr (Symbol.newInt ("191"));
     
    265265  static  final Expr _c_219 = new Expr (Symbol.newWord ("(Ljava/lang/Comparable;)Ljava/lang/Object;"));
    266266  static  final Expr _c_220 = Expr.fromSequence (";");
    267   static  final Expr _c_235 = Expr.fromSequence ("[L");
    268   static  final Expr _c_221 = _c_235.subexpr (1, 1);
    269   static  final Expr _c_222 = _c_235.subexpr (0, 1);
     267  static  final Expr _c_236 = Expr.fromSequence ("[L");
     268  static  final Expr _c_221 = _c_236.subexpr (1, 1);
     269  static  final Expr _c_222 = _c_236.subexpr (0, 1);
    270270  static  final Expr _c_223 = new Expr (Symbol.newWord ("booleanArrayValue"));
    271271  static  final Expr _c_224 = new Expr (Symbol.newWord ("charArrayValue"));
     
    278278  static  final Expr _c_231 = new Expr (Symbol.newWord ("objectArrayValue"));
    279279  static  final Expr _c_232 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;[Ljava/lang/Object;)[Ljava/lang/Object;"));
    280   static  final Expr _c_233 = new Expr (Symbol.newWord (")Ljava/lang/Comparable;"));
    281   static  final Expr _c_234 = new Expr (Symbol.newWord ("sValueOf"));
    282   static  final Expr _c_236 = new Expr (Symbol.newWord ("[Ljava/lang/Object;"));
    283   static  final Expr _c_237 = new Expr (Symbol.newWord ("eValueOf"));
    284   static  final Expr _c_238 = new Expr (Symbol.newWord (""));
    285   static  final Expr _c_239 = new Expr (Symbol.newWord ("void"));
    286   static  final Expr _c_240 = new Expr (Symbol.newWord ("int"));
    287   static  final Expr _c_241 = new Expr (Symbol.newWord ("boolean"));
    288   static  final Expr _c_242 = new Expr (Symbol.newWord ("char"));
    289   static  final Expr _c_243 = new Expr (Symbol.newWord ("byte"));
    290   static  final Expr _c_244 = new Expr (Symbol.newWord ("short"));
    291   static  final Expr _c_245 = new Expr (Symbol.newWord ("float"));
    292   static  final Expr _c_246 = new Expr (Symbol.newWord ("long"));
    293   static  final Expr _c_247 = new Expr (Symbol.newWord ("double"));
    294   static  final Expr _c_248 = new Expr (Symbol.newWord ("D"));
    295   static  final Expr _c_249 = Expr.fromSequence ("[]");
    296   static  final Expr _c_250 = new Expr (Symbol.newWord ("["));
    297   static  final Expr _c_251 = new Expr (Symbol.newWord (";"));
    298   static  final Expr _c_252 = new Expr (Symbol.newWord ("L"));
    299   static  final Expr _c_253 = new Expr ((Comparable<?>) _c_0);
    300   static  final Expr _c_254 = new Expr (Symbol.newInt ("180"));
    301   static  final Expr _c_255 = new Expr (new Func () {
     280  static  final Expr _c_233 = new Expr (Symbol.newWord ("Ljava/lang/Object;"));
     281  static  final Expr _c_234 = new Expr (Symbol.newWord (")Ljava/lang/Comparable;"));
     282  static  final Expr _c_235 = new Expr (Symbol.newWord ("sValueOf"));
     283  static  final Expr _c_237 = new Expr (Symbol.newWord ("[Ljava/lang/Object;"));
     284  static  final Expr _c_238 = new Expr (Symbol.newWord ("eValueOf"));
     285  static  final Expr _c_239 = new Expr (Symbol.newWord (""));
     286  static  final Expr _c_240 = new Expr (Symbol.newWord ("void"));
     287  static  final Expr _c_241 = new Expr (Symbol.newWord ("int"));
     288  static  final Expr _c_242 = new Expr (Symbol.newWord ("boolean"));
     289  static  final Expr _c_243 = new Expr (Symbol.newWord ("char"));
     290  static  final Expr _c_244 = new Expr (Symbol.newWord ("byte"));
     291  static  final Expr _c_245 = new Expr (Symbol.newWord ("short"));
     292  static  final Expr _c_246 = new Expr (Symbol.newWord ("float"));
     293  static  final Expr _c_247 = new Expr (Symbol.newWord ("long"));
     294  static  final Expr _c_248 = new Expr (Symbol.newWord ("double"));
     295  static  final Expr _c_249 = new Expr (Symbol.newWord ("D"));
     296  static  final Expr _c_250 = Expr.fromSequence ("[]");
     297  static  final Expr _c_251 = new Expr (Symbol.newWord ("["));
     298  static  final Expr _c_252 = new Expr (Symbol.newWord (";"));
     299  static  final Expr _c_253 = new Expr (Symbol.newWord ("L"));
     300  static  final Expr _c_254 = new Expr ((Comparable<?>) _c_0);
     301  static  final Expr _c_255 = new Expr (Symbol.newInt ("180"));
     302  static  final Expr _c_256 = new Expr (new Func () {
    302303    public boolean eval (Expr arg, Result res) throws RefalException {
    303304      return ReplaceDots_0 (arg, res);
    304305    }
    305306  });
    306   static  final Expr _c_256 = new Expr (new Func () {
     307  static  final Expr _c_257 = new Expr (new Func () {
    307308    public boolean eval (Expr arg, Result res) throws RefalException {
    308309      return ConvertType_0 (arg, res);
    309310    }
    310311  });
    311   static  final Expr _c_257 = new Expr (Symbol.newWord (")"));
     312  static  final Expr _c_258 = new Expr (Symbol.newWord (")"));
    312313
    313314  @RefalFormat("$func GetJBCName t = s;")
     
    56005601          Expr _ve__dollar_tmp_m_905_m_14 = Expr.empty;
    56015602          _ve__dollar_tmp_m_905_m_14 = _v_deref__rfResTypes.subexpr ((0 + 1), _v_len___dollar_tmp_m_905_m_14);
     5603          Expr _gs_javaResType__5 = Expr.empty;
     5604          _block3: {
     5605            _block3__branch1: {
     5606              Result _v_ToChars1 = new Result (Expr.empty);
     5607              refal.plus.Convert.ToChars (_vs_javaResType, _v_ToChars1);
     5608              int _v_len3 = _v_ToChars1.getExpr ().length ();
     5609              int _v_len4 = 1;
     5610              if (_v_len3 < _v_len4)
     5611              {
     5612                break _block3__branch1;
     5613              }
     5614              int _v_len___dollar_tmp_m_907_m_42 = (_v_len3 - _v_len4);
     5615              if (!_c_221.termEquals (_v_ToChars1.getExpr (), 0))
     5616              {
     5617                break _block3__branch1;
     5618              }
     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);
     5621              _gs_javaResType__5 = _c_233;
     5622              break _block3;
     5623            }
     5624            _gs_javaResType__5 = _vs_javaResType;
     5625          }
    56025626          Result _gs_auxcall3 = new Result (Expr.empty);
    56035627          MV (_gs_auxcall3);
    56045628          Result _gs_auxcall4 = new Result (Expr.empty);
    5605           refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_132).toRight (_vs_javaResType).toRight (_c_233).yield (), _gs_auxcall4);
    5606           org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_16, _c_217, _c_234, _gs_auxcall4.getExpr ());
     5629          refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_132).toRight (_gs_javaResType__5).toRight (_c_234).yield (), _gs_auxcall4);
     5630          org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_16, _c_217, _c_235, _gs_auxcall4.getExpr ());
    56075631          Result _gs_auxcall5 = new Result (Expr.empty);
    56085632          MV (_gs_auxcall5);
     
    56195643        }
    56205644        Expr _v_deref__rfResTypes2 = (Expr) _ve_rfResTypes.at (0);
    5621         int _v_len3 = _v_deref__rfResTypes2.length ();
    5622         int _v_len4 = 1;
    5623         if (_v_len3 < _v_len4)
     5645        int _v_len5 = _v_deref__rfResTypes2.length ();
     5646        int _v_len6 = 1;
     5647        if (_v_len5 < _v_len6)
    56245648        {
    56255649          throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "GetResFromStack", "Unexpected fail");
    56265650        }
    5627         int _v_len___dollar_tmp_m_908_m_14 = (_v_len3 - _v_len4);
     5651        int _v_len___dollar_tmp_m_912_m_14 = (_v_len5 - _v_len6);
    56285652        if (!_c_153.termEquals (_v_deref__rfResTypes2, 0))
    56295653        {
    56305654          throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "GetResFromStack", "Unexpected fail");
    56315655        }
    5632         Expr _ve__dollar_tmp_m_908_m_14 = Expr.empty;
    5633         _ve__dollar_tmp_m_908_m_14 = _v_deref__rfResTypes2.subexpr ((0 + 1), _v_len___dollar_tmp_m_908_m_14);
     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);
    56345658        Expr _gs_javaResType__5 = Expr.empty;
    5635         _block3: {
    5636           _block3__branch1: {
    5637             Result _v_ToWord1 = new Result (Expr.empty);
    5638             refal.plus.Convert.ToWord (_vs_javaResType, _v_ToWord1);
    5639             int _v_len5 = 1;
    5640             int _v_len6 = 2;
    5641             if (_v_len5 < _v_len6)
    5642             {
    5643               break _block3__branch1;
    5644             }
    5645             int _v_len___dollar_tmp_m_910_m_42 = (_v_len5 - _v_len6);
    5646             if (!_c_235.equals (_v_ToWord1.getExpr (), 0))
    5647             {
    5648               break _block3__branch1;
    5649             }
    5650             Expr _ve__dollar_tmp_m_910_m_42 = Expr.empty;
    5651             _ve__dollar_tmp_m_910_m_42 = _v_ToWord1.getExpr ().subexpr ((0 + 1 + 1), _v_len___dollar_tmp_m_910_m_42);
    5652             _gs_javaResType__5 = _c_236;
    5653             break _block3;
     5659        _block4: {
     5660          _block4__branch1: {
     5661            Result _v_ToChars2 = new Result (Expr.empty);
     5662            refal.plus.Convert.ToChars (_vs_javaResType, _v_ToChars2);
     5663            int _v_len7 = _v_ToChars2.getExpr ().length ();
     5664            int _v_len8 = 2;
     5665            if (_v_len7 < _v_len8)
     5666            {
     5667              break _block4__branch1;
     5668            }
     5669            int _v_len___dollar_tmp_m_914_m_43 = (_v_len7 - _v_len8);
     5670            if (!_c_236.equals (_v_ToChars2.getExpr (), 0))
     5671            {
     5672              break _block4__branch1;
     5673            }
     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);
     5676            _gs_javaResType__5 = _c_237;
     5677            break _block4;
    56545678          }
    56555679          _gs_javaResType__5 = _vs_javaResType;
     
    56595683        Result _gs_auxcall7 = new Result (Expr.empty);
    56605684        refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_132).toRight (_gs_javaResType__5).toRight (_c_131).yield (), _gs_auxcall7);
    5661         org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall6.getExpr (), _c_16, _c_217, _c_237, _gs_auxcall7.getExpr ());
     5685        org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall6.getExpr (), _c_16, _c_217, _c_238, _gs_auxcall7.getExpr ());
    56625686        Result _gs_auxcall8 = new Result (Expr.empty);
    56635687        MV (_gs_auxcall8);
     
    56725696    _block1: {
    56735697      _block1__branch1: {
    5674         if (!_gs_arg1.termEquals (_c_238, 0))
     5698        if (!_gs_arg1.termEquals (_c_239, 0))
    56755699        {
    56765700          break _block1__branch1;
     
    56885712    _block1: {
    56895713      _block1__branch1: {
    5690         if (!_gs_arg1.termEquals (_c_239, 0))
     5714        if (!_gs_arg1.termEquals (_c_240, 0))
    56915715        {
    56925716          break _block1__branch1;
     
    56965720      }
    56975721      _block1__branch2: {
    5698         if (!_gs_arg1.termEquals (_c_240, 0))
     5722        if (!_gs_arg1.termEquals (_c_241, 0))
    56995723        {
    57005724          break _block1__branch2;
     
    57045728      }
    57055729      _block1__branch3: {
     5730        if (!_gs_arg1.termEquals (_c_242, 0))
     5731        {
     5732          break _block1__branch3;
     5733        }
     5734        _v_res1.assign (_c_123);
     5735        break _block1;
     5736      }
     5737      _block1__branch4: {
     5738        if (!_gs_arg1.termEquals (_c_243, 0))
     5739        {
     5740          break _block1__branch4;
     5741        }
     5742        _v_res1.assign (_c_206);
     5743        break _block1;
     5744      }
     5745      _block1__branch5: {
     5746        if (!_gs_arg1.termEquals (_c_244, 0))
     5747        {
     5748          break _block1__branch5;
     5749        }
     5750        _v_res1.assign (_c_208);
     5751        break _block1;
     5752      }
     5753      _block1__branch6: {
     5754        if (!_gs_arg1.termEquals (_c_245, 0))
     5755        {
     5756          break _block1__branch6;
     5757        }
     5758        _v_res1.assign (_c_210);
     5759        break _block1;
     5760      }
     5761      _block1__branch7: {
    57065762        if (!_gs_arg1.termEquals (_c_241, 0))
    57075763        {
    5708           break _block1__branch3;
    5709         }
    5710         _v_res1.assign (_c_123);
    5711         break _block1;
    5712       }
    5713       _block1__branch4: {
    5714         if (!_gs_arg1.termEquals (_c_242, 0))
    5715         {
    5716           break _block1__branch4;
    5717         }
    5718         _v_res1.assign (_c_206);
    5719         break _block1;
    5720       }
    5721       _block1__branch5: {
    5722         if (!_gs_arg1.termEquals (_c_243, 0))
    5723         {
    5724           break _block1__branch5;
    5725         }
    5726         _v_res1.assign (_c_208);
    5727         break _block1;
    5728       }
    5729       _block1__branch6: {
    5730         if (!_gs_arg1.termEquals (_c_244, 0))
    5731         {
    5732           break _block1__branch6;
    5733         }
    5734         _v_res1.assign (_c_210);
    5735         break _block1;
    5736       }
    5737       _block1__branch7: {
    5738         if (!_gs_arg1.termEquals (_c_240, 0))
    5739         {
    57405764          break _block1__branch7;
    57415765        }
     
    57445768      }
    57455769      _block1__branch8: {
    5746         if (!_gs_arg1.termEquals (_c_245, 0))
     5770        if (!_gs_arg1.termEquals (_c_246, 0))
    57475771        {
    57485772          break _block1__branch8;
     
    57525776      }
    57535777      _block1__branch9: {
    5754         if (!_gs_arg1.termEquals (_c_246, 0))
     5778        if (!_gs_arg1.termEquals (_c_247, 0))
    57555779        {
    57565780          break _block1__branch9;
     
    57605784      }
    57615785      _block1__branch10: {
    5762         if (!_gs_arg1.termEquals (_c_247, 0))
     5786        if (!_gs_arg1.termEquals (_c_248, 0))
    57635787        {
    57645788          break _block1__branch10;
    57655789        }
    5766         _v_res1.assign (_c_248);
     5790        _v_res1.assign (_c_249);
    57675791        break _block1;
    57685792      }
     
    57775801        }
    57785802        int _v_len__head = (_v_len1 - _v_len2);
    5779         if (!_c_249.equals (_v_ToChars1.getExpr (), (0 + _v_len__head)))
     5803        if (!_c_250.equals (_v_ToChars1.getExpr (), (0 + _v_len__head)))
    57805804        {
    57815805          break _block1__branch11;
     
    57875811        Result _gs_auxcall2 = new Result (Expr.empty);
    57885812        ConvertType (_gs_auxcall1.getExpr (), _gs_auxcall2);
    5789         refal.plus.Convert.ToWord (Expr.concat (_c_250, _gs_auxcall2.getExpr ()), _v_res1);
    5790         break _block1;
    5791       }
    5792       refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_252).toRight (_gs_arg1).toRight (_c_251).yield (), _v_res1);
     5813        refal.plus.Convert.ToWord (Expr.concat (_c_251, _gs_auxcall2.getExpr ()), _v_res1);
     5814        break _block1;
     5815      }
     5816      refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_253).toRight (_gs_arg1).toRight (_c_252).yield (), _v_res1);
    57935817    }
    57945818  }
     
    58005824    refal.plus.Convert.ToChars (_vs_str, _ge_auxcall1);
    58015825    Result _ge_auxcall2 = new Result (Expr.empty);
    5802     rfp_helper.Subst (_c_4, _c_253, _ge_auxcall1.getExpr (), _ge_auxcall2);
     5826    rfp_helper.Subst (_c_4, _c_254, _ge_auxcall1.getExpr (), _ge_auxcall2);
    58035827    refal.plus.Convert.ToWord (_ge_auxcall2.getExpr (), _v_res1);
    58045828  }
     
    58685892      throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "WrapGen", "Unexpected fail");
    58695893    }
    5870     int _v_len___dollar_tmp_m_945_m_15 = (_v_len7 - _v_len8);
    5871     if (!_v_deref__qname.isSymbolAt ((0 + _v_len___dollar_tmp_m_945_m_15)))
     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)))
    58725896    {
    58735897      throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "WrapGen", "Unexpected fail");
    58745898    }
    5875     Expr _ve__dollar_tmp_m_945_m_15 = Expr.empty;
    5876     _ve__dollar_tmp_m_945_m_15 = _v_deref__qname.subexpr (0, _v_len___dollar_tmp_m_945_m_15);
     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);
    58775901    Expr _vs_functionName = Expr.empty;
    5878     _vs_functionName = _v_deref__qname.subexpr ((0 + _v_len___dollar_tmp_m_945_m_15), 1);
     5902    _vs_functionName = _v_deref__qname.subexpr ((0 + _v_len___dollar_tmp_m_949_m_15), 1);
    58795903    _block1: {
    58805904      _block1__branch1: {
     
    58885912        _exit1: _continue1: for ( ; ; _va_24.next ())
    58895913        {
    5890           Expr _ve__dollar_tmp_m_946_m_21 = _va_24.getLeft();
     5914          Expr _ve__dollar_tmp_m_950_m_21 = _va_24.getLeft();
    58915915          Expr _v_lsplit__Get1 = _va_24.getRight();
    58925916          if (!_va_24.isValid ())
     
    59005924            break _block1__branch1;
    59015925          }
    5902           int _v_len___dollar_tmp_m_946_m_31 = (_v_len9 - _v_len10);
     5926          int _v_len___dollar_tmp_m_950_m_31 = (_v_len9 - _v_len10);
    59035927          if (!_vt_qname.termEquals (_v_lsplit__Get1, 0))
    59045928          {
    59055929            continue _continue1;
    59065930          }
    5907           Expr _ve__dollar_tmp_m_946_m_31 = Expr.empty;
    5908           _ve__dollar_tmp_m_946_m_31 = _v_lsplit__Get1.subexpr ((0 + 1), _v_len___dollar_tmp_m_946_m_31);
     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);
    59095933          refal.plus.Box.Store (EntryName, _vs_functionName);
    59105934          break _exit1;
     
    59625986    _block3: {
    59635987      _block3__branch1: {
    5964         if (!_vs_methodName.getExpr ().termEquals (_c_238, 0))
     5988        if (!_vs_methodName.getExpr ().termEquals (_c_239, 0))
    59655989        {
    59665990          break _block3__branch1;
     
    59766000      }
    59776001      _block3__branch2: {
    5978         if (!_vs_static.getExpr ().termEquals (_c_238, 0))
     6002        if (!_vs_static.getExpr ().termEquals (_c_239, 0))
    59796003        {
    59806004          break _block3__branch2;
     
    59976021        _block5: {
    59986022          _block5__branch1: {
    5999             if (!_vs_static.getExpr ().termEquals (_c_238, 0))
     6023            if (!_vs_static.getExpr ().termEquals (_c_239, 0))
    60006024            {
    60016025              break _block5__branch1;
    60026026            }
    6003             _vs_opcode = _c_254;
     6027            _vs_opcode = _c_255;
    60046028            break _block5;
    60056029          }
     
    60326056      _ve_javaArgTypes2 = _v_deref__javaArgTypes.subexpr (0, _v_len__javaArgTypes2);
    60336057      Result _ge_javaArgTypes__3 = new Result (Expr.empty);
    6034       if (!refal.plus.List.Map (_c_255, Expr.empty, _ve_javaArgTypes2, _ge_javaArgTypes__3))
     6058      if (!refal.plus.List.Map (_c_256, Expr.empty, _ve_javaArgTypes2, _ge_javaArgTypes__3))
    60356059      {
    60366060        throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "WrapGen", "Unexpected fail");
     
    60566080            break _block6__branch1;
    60576081          }
    6058           int _v_len___dollar_tmp_m_980_m_48 = (_v_len13 - _v_len14);
     6082          int _v_len___dollar_tmp_m_984_m_48 = (_v_len13 - _v_len14);
    60596083          if (!_v_lsplit__javaArgTypes__3.isSymbolAt (0))
    60606084          {
     
    60636087          Expr _vs_javaArgType = Expr.empty;
    60646088          _vs_javaArgType = _v_lsplit__javaArgTypes__3.subexpr (0, 1);
    6065           Expr _ve__dollar_tmp_m_980_m_48 = Expr.empty;
    6066           _ve__dollar_tmp_m_980_m_48 = _v_lsplit__javaArgTypes__3.subexpr ((0 + 1), _v_len___dollar_tmp_m_980_m_48);
     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);
    60676091          Result _gs_auxcall13 = new Result (Expr.empty);
    60686092          ConvertType (_vs_javaArgType, _gs_auxcall13);
     
    60786102      _block7: {
    60796103        _block7__branch1: {
    6080           if (!_vs_methodName.getExpr ().termEquals (_c_238, 0))
     6104          if (!_vs_methodName.getExpr ().termEquals (_c_239, 0))
    60816105          {
    60826106            break _block7__branch1;
     
    60876111        }
    60886112        _block7__branch2: {
    6089           if (!_vs_static.getExpr ().termEquals (_c_238, 0))
     6113          if (!_vs_static.getExpr ().termEquals (_c_239, 0))
    60906114          {
    60916115            break _block7__branch2;
     
    60996123      }
    61006124      Result _ge_auxcall16 = new Result (Expr.empty);
    6101       if (!refal.plus.List.Map (_c_256, Expr.empty, _ge_javaArgTypes__3.getExpr (), _ge_auxcall16))
     6125      if (!refal.plus.List.Map (_c_257, Expr.empty, _ge_javaArgTypes__3.getExpr (), _ge_auxcall16))
    61026126      {
    61036127        throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "WrapGen", "Unexpected fail");
     
    61066130      ConvertResType (_vs_javaResType.getExpr (), _gs_auxcall17);
    61076131      Result _vs_methodDesc = new Result (Expr.empty);
    6108       refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_132).toRight (_ge_auxcall16.getExpr ()).toRight (_c_257).toRight (_gs_auxcall17.getExpr ()).yield (), _vs_methodDesc);
     6132      refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_132).toRight (_ge_auxcall16.getExpr ()).toRight (_c_258).toRight (_gs_auxcall17.getExpr ()).yield (), _vs_methodDesc);
    61096133      Result _gs_auxcall18 = new Result (Expr.empty);
    61106134      MV (_gs_auxcall18);
     
    61146138    _block8: {
    61156139      _block8__branch1: {
    6116         if (!_vs_javaResType.getExpr ().termEquals (_c_238, 0))
     6140        if (!_vs_javaResType.getExpr ().termEquals (_c_239, 0))
    61176141        {
    61186142          break _block8__branch1;
     
    61436167    if (_ge_arg1.length () != 1)
    61446168    {
    6145       throw new RefalException (_c_258);
     6169      throw new RefalException (_c_259);
    61466170    }
    61476171    Expr _v_stub1 = Expr.empty;
     
    61566180    if (_ge_arg1.length () != 1)
    61576181    {
    6158       throw new RefalException (_c_258);
     6182      throw new RefalException (_c_259);
    61596183    }
    61606184    if (!_ge_arg1.isSymbolAt (0))
    61616185    {
    6162       throw new RefalException (_c_258);
     6186      throw new RefalException (_c_259);
    61636187    }
    61646188    Expr _v_stub1 = Expr.empty;
     
    61746198    if (_v_len1 < _v_len2)
    61756199    {
    6176       throw new RefalException (_c_258);
     6200      throw new RefalException (_c_259);
    61776201    }
    61786202    int _v_len__stub1 = (_v_len1 - _v_len2);
     
    61886212    if (_ge_arg1.length () != 1)
    61896213    {
    6190       throw new RefalException (_c_258);
     6214      throw new RefalException (_c_259);
    61916215    }
    61926216    Expr _v_stub1 = Expr.empty;
     
    62016225    if (_ge_arg1.length () != 1)
    62026226    {
    6203       throw new RefalException (_c_258);
     6227      throw new RefalException (_c_259);
    62046228    }
    62056229    if (!_ge_arg1.isSymbolAt (0))
    62066230    {
    6207       throw new RefalException (_c_258);
     6231      throw new RefalException (_c_259);
    62086232    }
    62096233    Expr _v_stub1 = Expr.empty;
Note: See TracChangeset for help on using the changeset viewer.