Changeset 3450
- Timestamp:
- Feb 28, 2008, 5:56:20 PM (13 years ago)
- Location:
- to-imperative/trunk
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
to-imperative/trunk/compiler/rfp_asail_jbc.rf
r3424 r3450 107 107 )'}');; 108 108 } :: e.entry,*/ 109 <Store &MVbox <CWvisitMethod <CW> <Add &ACC_PUBLIC &ACC_STATIC> "main" "([Ljava/lang/String;)V" <Null> ()>>,109 <Store &MVbox <CWvisitMethod <CW> <Add <Add &ACC_PUBLIC &ACC_STATIC> &ACC_SYNTHETIC> "main" "([Ljava/lang/String;)V" <Null> ()>>, 110 110 <MVvisitLdcInsn <MV> s.refal_mod_name>, 111 111 <MVvisitVarInsn <MV> &ALOAD 0>, -
to-imperative/trunk/java/compiler/org/refal/plus/compiler/rfp_asail_jbc.java
r3426 r3450 44 44 static final Expr _c_8 = new Expr (Symbol.newWord ("java/lang/Object")); 45 45 static final Expr _c_10 = new Expr (Symbol.newInt ("8")); 46 static final Expr _c_11 = new Expr (Symbol.newWord ("main")); 47 static final Expr _c_12 = new Expr (Symbol.newWord ("([Ljava/lang/String;)V")); 48 static final Expr _c_13 = new Expr (Symbol.newInt ("25")); 49 static final Expr _c_14 = new Expr (Symbol.newInt ("0")); 50 static final Expr _c_15 = new Expr (Symbol.newInt ("184")); 51 static final Expr _c_16 = new Expr (Symbol.newWord ("org/refal/plus/RefalRuntime")); 52 static final Expr _c_17 = new Expr (Symbol.newWord ("setArgs")); 53 static final Expr _c_18 = new Expr (Symbol.newWord ("(Ljava/lang/String;[Ljava/lang/String;)V")); 54 static final Expr _c_19 = new Expr (Symbol.newInt ("187")); 55 static final Expr _c_20 = new Expr (Symbol.newWord ("org/refal/plus/Result")); 56 static final Expr _c_21 = new Expr (Symbol.newInt ("89")); 57 static final Expr _c_22 = new Expr (Symbol.newInt ("183")); 58 static final Expr _c_23 = new Expr (Symbol.newWord ("<init>")); 59 static final Expr _c_24 = new Expr (Symbol.newWord ("()V")); 60 static final Expr _c_25 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Result;)V")); 61 static final Expr _c_26 = new Expr (Symbol.newInt ("177")); 62 static final Expr _c_27 = new Expr (Symbol.newWord ("<clinit>")); 63 static final Expr _c_28 = new Expr (Symbol.newWord ("new")); 64 static final Expr _c_29 = new Expr (Symbol.newWord ("org/refal/plus/Expr")); 65 static final Expr _c_30 = new Expr (Symbol.newWord ("org/refal/plus/Symbol")); 66 static final Expr _c_31 = new Expr (Symbol.newWord ("(Ljava/lang/String;)Ljava/lang/Comparable;")); 67 static final Expr _c_32 = new Expr (Symbol.newWord ("(Ljava/lang/Comparable;)V")); 68 static final Expr _c_33 = new Expr (Symbol.newInt ("179")); 69 static final Expr _c_34 = new Expr (Symbol.newWord ("Lorg/refal/plus/Expr;")); 70 static final Expr _c_35 = Expr.fromSequence ("$"); 71 static final Expr _c_36 = new Expr (Symbol.newInt ("16")); 72 static final Expr _c_37 = new Expr (Symbol.newWord ("org/refal/plus/Func")); 73 static final Expr _c_38 = new Expr (Symbol.newWord ("eval")); 74 static final Expr _c_39 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;Lorg/refal/plus/Result;)Z")); 75 static final Expr _c_40 = new Expr (Symbol.newWord ("org/refal/plus/RefalException")); 76 static final Expr _c_41 = new Expr (Symbol.newInt ("2")); 77 static final Expr _c_42 = new Expr (Symbol.newWord ("FUNC?")); 78 static final Expr _c_43 = new Expr (Symbol.newInt ("172")); 79 static final Expr _c_44 = new Expr (Symbol.newWord ("FUNC")); 80 static final Expr _c_45 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;Lorg/refal/plus/Result;)V")); 81 static final Expr _c_46 = new Expr (Symbol.newInt ("4")); 82 static final Expr _c_47 = new Expr (Symbol.newWord ("VAR-INDEX")); 83 static final Expr _c_48 = new Expr (Symbol.newWord ("VAR")); 84 static final Expr _c_49 = new Expr (Symbol.newWord ("Expr")); 85 static final Expr _c_50 = new Expr (Symbol.newWord ("ITER")); 86 static final Expr _c_51 = new Expr (Symbol.newWord ("TMP")); 87 static final Expr _c_52 = new Expr (Symbol.newWord ("LABEL")); 88 static final Expr _c_53 = new Expr (Symbol.newWord ("Lorg/refal/plus/Result;")); 89 static final Expr _c_54 = Expr.fromSequence (")"); 90 static final Expr _c_55 = Expr.fromSequence ("("); 91 static final Expr _c_56 = new Expr (new Func () { 46 static final Expr _c_11 = new Expr (Symbol.newInt ("4096")); 47 static final Expr _c_12 = new Expr (Symbol.newWord ("main")); 48 static final Expr _c_13 = new Expr (Symbol.newWord ("([Ljava/lang/String;)V")); 49 static final Expr _c_14 = new Expr (Symbol.newInt ("25")); 50 static final Expr _c_15 = new Expr (Symbol.newInt ("0")); 51 static final Expr _c_16 = new Expr (Symbol.newInt ("184")); 52 static final Expr _c_17 = new Expr (Symbol.newWord ("org/refal/plus/RefalRuntime")); 53 static final Expr _c_18 = new Expr (Symbol.newWord ("setArgs")); 54 static final Expr _c_19 = new Expr (Symbol.newWord ("(Ljava/lang/String;[Ljava/lang/String;)V")); 55 static final Expr _c_20 = new Expr (Symbol.newInt ("187")); 56 static final Expr _c_21 = new Expr (Symbol.newWord ("org/refal/plus/Result")); 57 static final Expr _c_22 = new Expr (Symbol.newInt ("89")); 58 static final Expr _c_23 = new Expr (Symbol.newInt ("183")); 59 static final Expr _c_24 = new Expr (Symbol.newWord ("<init>")); 60 static final Expr _c_25 = new Expr (Symbol.newWord ("()V")); 61 static final Expr _c_26 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Result;)V")); 62 static final Expr _c_27 = new Expr (Symbol.newInt ("177")); 63 static final Expr _c_28 = new Expr (Symbol.newWord ("<clinit>")); 64 static final Expr _c_29 = new Expr (Symbol.newWord ("new")); 65 static final Expr _c_30 = new Expr (Symbol.newWord ("org/refal/plus/Expr")); 66 static final Expr _c_31 = new Expr (Symbol.newWord ("org/refal/plus/Symbol")); 67 static final Expr _c_32 = new Expr (Symbol.newWord ("(Ljava/lang/String;)Ljava/lang/Comparable;")); 68 static final Expr _c_33 = new Expr (Symbol.newWord ("(Ljava/lang/Comparable;)V")); 69 static final Expr _c_34 = new Expr (Symbol.newInt ("179")); 70 static final Expr _c_35 = new Expr (Symbol.newWord ("Lorg/refal/plus/Expr;")); 71 static final Expr _c_36 = Expr.fromSequence ("$"); 72 static final Expr _c_37 = new Expr (Symbol.newInt ("16")); 73 static final Expr _c_38 = new Expr (Symbol.newWord ("org/refal/plus/Func")); 74 static final Expr _c_39 = new Expr (Symbol.newWord ("eval")); 75 static final Expr _c_40 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;Lorg/refal/plus/Result;)Z")); 76 static final Expr _c_41 = new Expr (Symbol.newWord ("org/refal/plus/RefalException")); 77 static final Expr _c_42 = new Expr (Symbol.newInt ("2")); 78 static final Expr _c_43 = new Expr (Symbol.newWord ("FUNC?")); 79 static final Expr _c_44 = new Expr (Symbol.newInt ("172")); 80 static final Expr _c_45 = new Expr (Symbol.newWord ("FUNC")); 81 static final Expr _c_46 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;Lorg/refal/plus/Result;)V")); 82 static final Expr _c_47 = new Expr (Symbol.newInt ("4")); 83 static final Expr _c_48 = new Expr (Symbol.newWord ("VAR-INDEX")); 84 static final Expr _c_49 = new Expr (Symbol.newWord ("VAR")); 85 static final Expr _c_50 = new Expr (Symbol.newWord ("Expr")); 86 static final Expr _c_51 = new Expr (Symbol.newWord ("ITER")); 87 static final Expr _c_52 = new Expr (Symbol.newWord ("TMP")); 88 static final Expr _c_53 = new Expr (Symbol.newWord ("LABEL")); 89 static final Expr _c_54 = new Expr (Symbol.newWord ("Lorg/refal/plus/Result;")); 90 static final Expr _c_55 = Expr.fromSequence (")"); 91 static final Expr _c_56 = Expr.fromSequence ("("); 92 static final Expr _c_57 = new Expr (new Func () { 92 93 public boolean eval (Expr arg, Result res) throws RefalException { 93 94 return Module_Item_To_JBC_0 (arg, res); 94 95 } 95 96 }); 96 static final Expr _c_5 7= new Expr (Symbol.newWord ("IMPORT"));97 static final Expr _c_5 8= new Expr (Symbol.newWord ("NATIVE"));98 static final Expr _c_ 59= Expr.fromSequence ("V");99 static final Expr _c_6 0= Expr.fromSequence ("Z");100 static final Expr _c_6 1= new Expr (Symbol.newWord ("Lorg/refal/plus/RefalFormat;"));101 static final Expr _c_6 2= new Expr (Symbol.newWord ("False"));102 static final Expr _c_6 3= new Expr (Symbol.newWord ("value"));103 static final Expr _c_6 4= new Expr (Symbol.newWord ("Result"));104 static final Expr _c_6 5= new Expr (Symbol.newWord ("CONSTEXPR"));105 static final Expr _c_6 6= new Expr (Symbol.newWord ("STATIC"));106 static final Expr _c_6 7= new Expr (Symbol.newWord ("OBJ"));107 static final Expr _c_6 8= new Expr (Symbol.newWord ("DECL-OBJ"));108 static final Expr _c_ 69= new Expr (Symbol.newWord ("DECL-FUNC"));109 static final Expr _c_7 0= new Expr (Symbol.newWord ("TRACE"));110 static final Expr _c_7 1= new Expr (new Func () {97 static final Expr _c_58 = new Expr (Symbol.newWord ("IMPORT")); 98 static final Expr _c_59 = new Expr (Symbol.newWord ("NATIVE")); 99 static final Expr _c_60 = Expr.fromSequence ("V"); 100 static final Expr _c_61 = Expr.fromSequence ("Z"); 101 static final Expr _c_62 = new Expr (Symbol.newWord ("Lorg/refal/plus/RefalFormat;")); 102 static final Expr _c_63 = new Expr (Symbol.newWord ("False")); 103 static final Expr _c_64 = new Expr (Symbol.newWord ("value")); 104 static final Expr _c_65 = new Expr (Symbol.newWord ("Result")); 105 static final Expr _c_66 = new Expr (Symbol.newWord ("CONSTEXPR")); 106 static final Expr _c_67 = new Expr (Symbol.newWord ("STATIC")); 107 static final Expr _c_68 = new Expr (Symbol.newWord ("OBJ")); 108 static final Expr _c_69 = new Expr (Symbol.newWord ("DECL-OBJ")); 109 static final Expr _c_70 = new Expr (Symbol.newWord ("DECL-FUNC")); 110 static final Expr _c_71 = new Expr (Symbol.newWord ("TRACE")); 111 static final Expr _c_72 = new Expr (new Func () { 111 112 public boolean eval (Expr arg, Result res) throws RefalException { 112 113 return Body_Item_To_JBC_0 (arg, res); 113 114 } 114 115 }); 115 static final Expr _c_7 2= new Expr (Symbol.newWord ("INT"));116 static final Expr _c_7 3= new Expr (Symbol.newWord ("DECL"));117 static final Expr _c_7 4= new Expr (Symbol.newWord ("Int"));118 static final Expr _c_7 5= new Expr (Symbol.newInt ("54"));119 static final Expr _c_7 6= new Expr (Symbol.newWord ("ASSIGN"));120 static final Expr _c_7 7= new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;)V"));121 static final Expr _c_7 8= new Expr (Symbol.newInt ("58"));122 static final Expr _c_ 79= new Expr (Symbol.newInt ("182"));123 static final Expr _c_8 0= new Expr (Symbol.newWord ("assign"));124 static final Expr _c_8 1= new Expr (Symbol.newWord ("IF-INT-CMP"));125 static final Expr _c_8 2= new Expr (Symbol.newWord ("!="));126 static final Expr _c_8 3= new Expr (Symbol.newInt ("159"));127 static final Expr _c_8 4= new Expr (Symbol.newWord ("<"));128 static final Expr _c_8 5= new Expr (Symbol.newInt ("162"));129 static final Expr _c_8 6= new Expr (Symbol.newWord (">"));130 static final Expr _c_8 7= new Expr (Symbol.newInt ("164"));131 static final Expr _c_8 8= new Expr (Symbol.newWord ("IF"));132 static final Expr _c_ 89= new Expr (Symbol.newWord ("LSPLIT"));133 static final Expr _c_9 0= new Expr (Symbol.newWord ("leftSplit"));134 static final Expr _c_9 1= new Expr (Symbol.newWord ("(I)Lorg/refal/plus/Expr$SplitIterator;"));135 static final Expr _c_9 2= new Expr (Symbol.newWord ("RSPLIT"));136 static final Expr _c_9 3= new Expr (Symbol.newWord ("rightSplit"));137 static final Expr _c_9 4= new Expr ((Comparable<?>) Expr.empty);138 static final Expr _c_9 5= new Expr (Symbol.newWord ("FOR"));139 static final Expr _c_9 6= new Expr (Symbol.newWord ("INC-ITER"));140 static final Expr _c_9 7= new Expr (Symbol.newWord ("DEC-ITER"));141 static final Expr _c_9 8= new Expr (Symbol.newWord ("org/refal/plus/Expr$SplitIterator"));142 static final Expr _c_ 99= new Expr (Symbol.newWord ("getLeft"));143 static final Expr _c_10 0= new Expr (Symbol.newWord ("()Lorg/refal/plus/Expr;"));144 static final Expr _c_10 1= new Expr (Symbol.newWord ("getRight"));145 static final Expr _c_10 2= new Expr (Symbol.newInt ("167"));146 static final Expr _c_10 3= new Expr (Symbol.newWord ("CONTINUE"));147 static final Expr _c_10 4= new Expr (Symbol.newWord ("BREAK"));148 static final Expr _c_10 5= new Expr (Symbol.newWord ("RETFAIL"));149 static final Expr _c_10 6= new Expr (Symbol.newInt ("3"));150 static final Expr _c_10 7= new Expr (Symbol.newWord ("TRY"));151 static final Expr _c_10 8= new Expr (Symbol.newWord ("CATCH-ERROR"));152 static final Expr _c_1 09= new Expr (Symbol.newWord ("getExpr"));153 static final Expr _c_11 0= new Expr (Symbol.newWord ("FATAL"));154 static final Expr _c_25 4= Expr.getConcatenator (3).toRight (Symbol.newWord ("Apply")).toRight (Symbol.newWord ("Apply")).toRight (Symbol.newWord ("Unexpected fail")).yield ();155 static final Expr _c_11 1 = _c_254.subexpr (2, 1);156 static final Expr _c_11 2= new Expr (Symbol.newWord ("(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V"));157 static final Expr _c_11 3= new Expr (Symbol.newInt ("191"));158 static final Expr _c_11 4= new Expr (Symbol.newWord ("ERROR"));159 static final Expr _c_11 5= new Expr (Symbol.newWord ("CALL"));160 static final Expr _c_11 6= new Expr (Symbol.newWord ("V"));161 static final Expr _c_11 7= new Expr (Symbol.newWord ("TAILCALL"));162 static final Expr _c_11 8= new Expr (Symbol.newWord ("TAILCALL?"));163 static final Expr _c_1 19= new Expr (Symbol.newWord ("Z"));164 static final Expr _c_12 0= new Expr (Symbol.newInt ("154"));165 static final Expr _c_12 1= new Expr (Symbol.newWord ("Comparable"));166 static final Expr _c_12 2= new Expr (Symbol.newInt ("90"));167 static final Expr _c_12 3= new Expr (Symbol.newInt ("95"));168 static final Expr _c_12 4= new Expr (Symbol.newInt ("178"));169 static final Expr _c_12 5= new Expr (Symbol.newWord ("empty"));170 static final Expr _c_12 6= new Expr (Symbol.newWord ("Ljava/lang/Comparable;"));171 static final Expr _c_12 7= new Expr (Symbol.newWord (")Lorg/refal/plus/Expr;"));172 static final Expr _c_12 8= new Expr (Symbol.newWord ("("));173 static final Expr _c_1 29= new Expr (Symbol.newWord ("concat"));174 static final Expr _c_13 0= new Expr (Symbol.newWord ("getConcatenator"));175 static final Expr _c_13 1= new Expr (Symbol.newWord ("(I)Lorg/refal/plus/Expr$Concatenator;"));176 static final Expr _c_13 2= new Expr (Symbol.newWord (")Lorg/refal/plus/Expr$Concatenator;"));177 static final Expr _c_13 3= new Expr (Symbol.newInt ("185"));178 static final Expr _c_13 4= new Expr (Symbol.newWord ("org/refal/plus/Expr$Concatenator"));179 static final Expr _c_13 5= new Expr (Symbol.newWord ("toRight"));180 static final Expr _c_13 6= new Expr (Symbol.newWord ("yield"));181 static final Expr _c_13 7= new Expr (Symbol.newWord ("PAREN"));182 static final Expr _c_13 8= new Expr (Symbol.newWord ("DEREF"));183 static final Expr _c_1 39= new Expr (Symbol.newWord ("at"));184 static final Expr _c_14 0= new Expr (Symbol.newWord ("(I)Ljava/lang/Comparable;"));185 static final Expr _c_14 1= new Expr (Symbol.newInt ("192"));186 static final Expr _c_14 2= new Expr (Symbol.newWord ("SUBEXPR"));187 static final Expr _c_14 3= new Expr (Symbol.newWord ("subexpr"));188 static final Expr _c_14 4= new Expr (Symbol.newWord ("(II)Lorg/refal/plus/Expr;"));189 static final Expr _c_14 5= new Expr (Symbol.newWord ("REF"));190 static final Expr _c_14 6= new Expr (Symbol.newWord ("ERROR-EXPR"));191 static final Expr _c_14 7= new Expr (Symbol.newWord ("SVAR"));192 static final Expr _c_14 8= new Expr (Symbol.newWord ("TVAR"));193 static final Expr _c_1 49= new Expr (Symbol.newWord ("EVAR"));194 static final Expr _c_15 0= new Expr (Symbol.newWord ("VVAR"));195 static final Expr _c_15 1= new Expr (Symbol.newWord ("Illegal int-symbol: "));196 static final Expr _c_15 2= new Expr (Symbol.newWord ("LENGTH"));197 static final Expr _c_15 3= new Expr (Symbol.newWord ("length"));198 static final Expr _c_15 4= new Expr (Symbol.newWord ("()I"));199 static final Expr _c_15 5= new Expr (Symbol.newWord ("MIN"));200 static final Expr _c_15 6= new Expr (Symbol.newWord ("min"));201 static final Expr _c_15 7= new Expr (Symbol.newWord ("MAX"));202 static final Expr _c_15 8= new Expr (Symbol.newWord ("max"));203 static final Expr _c_1 59= new Expr (Symbol.newWord ("java/lang/Math"));204 static final Expr _c_16 0= new Expr (Symbol.newWord ("(II)I"));205 static final Expr _c_16 1= new Expr (Symbol.newWord ("INFIX"));206 static final Expr _c_16 2= new Expr (new Func () {116 static final Expr _c_73 = new Expr (Symbol.newWord ("INT")); 117 static final Expr _c_74 = new Expr (Symbol.newWord ("DECL")); 118 static final Expr _c_75 = new Expr (Symbol.newWord ("Int")); 119 static final Expr _c_76 = new Expr (Symbol.newInt ("54")); 120 static final Expr _c_77 = new Expr (Symbol.newWord ("ASSIGN")); 121 static final Expr _c_78 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;)V")); 122 static final Expr _c_79 = new Expr (Symbol.newInt ("58")); 123 static final Expr _c_80 = new Expr (Symbol.newInt ("182")); 124 static final Expr _c_81 = new Expr (Symbol.newWord ("assign")); 125 static final Expr _c_82 = new Expr (Symbol.newWord ("IF-INT-CMP")); 126 static final Expr _c_83 = new Expr (Symbol.newWord ("!=")); 127 static final Expr _c_84 = new Expr (Symbol.newInt ("159")); 128 static final Expr _c_85 = new Expr (Symbol.newWord ("<")); 129 static final Expr _c_86 = new Expr (Symbol.newInt ("162")); 130 static final Expr _c_87 = new Expr (Symbol.newWord (">")); 131 static final Expr _c_88 = new Expr (Symbol.newInt ("164")); 132 static final Expr _c_89 = new Expr (Symbol.newWord ("IF")); 133 static final Expr _c_90 = new Expr (Symbol.newWord ("LSPLIT")); 134 static final Expr _c_91 = new Expr (Symbol.newWord ("leftSplit")); 135 static final Expr _c_92 = new Expr (Symbol.newWord ("(I)Lorg/refal/plus/Expr$SplitIterator;")); 136 static final Expr _c_93 = new Expr (Symbol.newWord ("RSPLIT")); 137 static final Expr _c_94 = new Expr (Symbol.newWord ("rightSplit")); 138 static final Expr _c_95 = new Expr ((Comparable<?>) Expr.empty); 139 static final Expr _c_96 = new Expr (Symbol.newWord ("FOR")); 140 static final Expr _c_97 = new Expr (Symbol.newWord ("INC-ITER")); 141 static final Expr _c_98 = new Expr (Symbol.newWord ("DEC-ITER")); 142 static final Expr _c_99 = new Expr (Symbol.newWord ("org/refal/plus/Expr$SplitIterator")); 143 static final Expr _c_100 = new Expr (Symbol.newWord ("getLeft")); 144 static final Expr _c_101 = new Expr (Symbol.newWord ("()Lorg/refal/plus/Expr;")); 145 static final Expr _c_102 = new Expr (Symbol.newWord ("getRight")); 146 static final Expr _c_103 = new Expr (Symbol.newInt ("167")); 147 static final Expr _c_104 = new Expr (Symbol.newWord ("CONTINUE")); 148 static final Expr _c_105 = new Expr (Symbol.newWord ("BREAK")); 149 static final Expr _c_106 = new Expr (Symbol.newWord ("RETFAIL")); 150 static final Expr _c_107 = new Expr (Symbol.newInt ("3")); 151 static final Expr _c_108 = new Expr (Symbol.newWord ("TRY")); 152 static final Expr _c_109 = new Expr (Symbol.newWord ("CATCH-ERROR")); 153 static final Expr _c_110 = new Expr (Symbol.newWord ("getExpr")); 154 static final Expr _c_111 = new Expr (Symbol.newWord ("FATAL")); 155 static final Expr _c_255 = Expr.getConcatenator (3).toRight (Symbol.newWord ("Apply")).toRight (Symbol.newWord ("Apply")).toRight (Symbol.newWord ("Unexpected fail")).yield (); 156 static final Expr _c_112 = _c_255.subexpr (2, 1); 157 static final Expr _c_113 = new Expr (Symbol.newWord ("(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V")); 158 static final Expr _c_114 = new Expr (Symbol.newInt ("191")); 159 static final Expr _c_115 = new Expr (Symbol.newWord ("ERROR")); 160 static final Expr _c_116 = new Expr (Symbol.newWord ("CALL")); 161 static final Expr _c_117 = new Expr (Symbol.newWord ("V")); 162 static final Expr _c_118 = new Expr (Symbol.newWord ("TAILCALL")); 163 static final Expr _c_119 = new Expr (Symbol.newWord ("TAILCALL?")); 164 static final Expr _c_120 = new Expr (Symbol.newWord ("Z")); 165 static final Expr _c_121 = new Expr (Symbol.newInt ("154")); 166 static final Expr _c_122 = new Expr (Symbol.newWord ("Comparable")); 167 static final Expr _c_123 = new Expr (Symbol.newInt ("90")); 168 static final Expr _c_124 = new Expr (Symbol.newInt ("95")); 169 static final Expr _c_125 = new Expr (Symbol.newInt ("178")); 170 static final Expr _c_126 = new Expr (Symbol.newWord ("empty")); 171 static final Expr _c_127 = new Expr (Symbol.newWord ("Ljava/lang/Comparable;")); 172 static final Expr _c_128 = new Expr (Symbol.newWord (")Lorg/refal/plus/Expr;")); 173 static final Expr _c_129 = new Expr (Symbol.newWord ("(")); 174 static final Expr _c_130 = new Expr (Symbol.newWord ("concat")); 175 static final Expr _c_131 = new Expr (Symbol.newWord ("getConcatenator")); 176 static final Expr _c_132 = new Expr (Symbol.newWord ("(I)Lorg/refal/plus/Expr$Concatenator;")); 177 static final Expr _c_133 = new Expr (Symbol.newWord (")Lorg/refal/plus/Expr$Concatenator;")); 178 static final Expr _c_134 = new Expr (Symbol.newInt ("185")); 179 static final Expr _c_135 = new Expr (Symbol.newWord ("org/refal/plus/Expr$Concatenator")); 180 static final Expr _c_136 = new Expr (Symbol.newWord ("toRight")); 181 static final Expr _c_137 = new Expr (Symbol.newWord ("yield")); 182 static final Expr _c_138 = new Expr (Symbol.newWord ("PAREN")); 183 static final Expr _c_139 = new Expr (Symbol.newWord ("DEREF")); 184 static final Expr _c_140 = new Expr (Symbol.newWord ("at")); 185 static final Expr _c_141 = new Expr (Symbol.newWord ("(I)Ljava/lang/Comparable;")); 186 static final Expr _c_142 = new Expr (Symbol.newInt ("192")); 187 static final Expr _c_143 = new Expr (Symbol.newWord ("SUBEXPR")); 188 static final Expr _c_144 = new Expr (Symbol.newWord ("subexpr")); 189 static final Expr _c_145 = new Expr (Symbol.newWord ("(II)Lorg/refal/plus/Expr;")); 190 static final Expr _c_146 = new Expr (Symbol.newWord ("REF")); 191 static final Expr _c_147 = new Expr (Symbol.newWord ("ERROR-EXPR")); 192 static final Expr _c_148 = new Expr (Symbol.newWord ("SVAR")); 193 static final Expr _c_149 = new Expr (Symbol.newWord ("TVAR")); 194 static final Expr _c_150 = new Expr (Symbol.newWord ("EVAR")); 195 static final Expr _c_151 = new Expr (Symbol.newWord ("VVAR")); 196 static final Expr _c_152 = new Expr (Symbol.newWord ("Illegal int-symbol: ")); 197 static final Expr _c_153 = new Expr (Symbol.newWord ("LENGTH")); 198 static final Expr _c_154 = new Expr (Symbol.newWord ("length")); 199 static final Expr _c_155 = new Expr (Symbol.newWord ("()I")); 200 static final Expr _c_156 = new Expr (Symbol.newWord ("MIN")); 201 static final Expr _c_157 = new Expr (Symbol.newWord ("min")); 202 static final Expr _c_158 = new Expr (Symbol.newWord ("MAX")); 203 static final Expr _c_159 = new Expr (Symbol.newWord ("max")); 204 static final Expr _c_160 = new Expr (Symbol.newWord ("java/lang/Math")); 205 static final Expr _c_161 = new Expr (Symbol.newWord ("(II)I")); 206 static final Expr _c_162 = new Expr (Symbol.newWord ("INFIX")); 207 static final Expr _c_163 = new Expr (new Func () { 207 208 public boolean eval (Expr arg, Result res) throws RefalException { 208 209 return Expr_Int_To_JBC_0 (arg, res); 209 210 } 210 211 }); 211 static final Expr _c_16 3= new Expr (Symbol.newWord ("+"));212 static final Expr _c_16 4= new Expr (Symbol.newInt ("96"));213 static final Expr _c_16 5= new Expr (Symbol.newWord ("-"));214 static final Expr _c_16 6= new Expr (Symbol.newInt ("100"));215 static final Expr _c_16 7= new Expr (Symbol.newWord ("%"));216 static final Expr _c_16 8= new Expr (Symbol.newInt ("112"));217 static final Expr _c_1 69= new Expr (Symbol.newWord ("*"));218 static final Expr _c_17 0= new Expr (Symbol.newInt ("104"));219 static final Expr _c_17 1= new Expr (Symbol.newWord ("/"));220 static final Expr _c_17 2= new Expr (Symbol.newInt ("108"));221 static final Expr _c_17 3= new Expr (Symbol.newWord ("CALL-FAILS"));222 static final Expr _c_17 4= new Expr (Symbol.newWord ("ITER-FAILS"));223 static final Expr _c_17 5= new Expr (Symbol.newWord ("isValid"));224 static final Expr _c_17 6= new Expr (Symbol.newWord ("()Z"));225 static final Expr _c_17 7= new Expr (Symbol.newWord ("SYMBOL?"));226 static final Expr _c_17 8= new Expr (Symbol.newWord ("isSymbolAt"));227 static final Expr _c_1 79= new Expr (Symbol.newWord ("(I)Z"));228 static final Expr _c_18 0= new Expr (Symbol.newInt ("153"));229 static final Expr _c_18 1= new Expr (Symbol.newWord ("EQ"));230 static final Expr _c_18 2= new Expr (Symbol.newWord ("equals"));231 static final Expr _c_18 3= new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;I)Z"));232 static final Expr _c_18 4= new Expr (Symbol.newWord ("TERM-EQ"));233 static final Expr _c_18 5= new Expr (Symbol.newWord ("termEquals"));234 static final Expr _c_18 6= new Expr (Symbol.newWord ("NOT"));235 static final Expr _c_18 7= new Expr (Symbol.newWord ("next"));236 static final Expr _c_18 8= new Expr (Symbol.newWord ("prev"));237 static final Expr _c_1 89= new Expr (Symbol.newWord ("()Lorg/refal/plus/Expr$SplitIterator;"));238 static final Expr _c_19 0= new Expr (Symbol.newInt ("87"));239 static final Expr _c_19 1= new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;)Lorg/refal/plus/Expr$Concatenator;"));240 static final Expr _c_19 2= new Expr (Symbol.newWord ("F"));241 static final Expr _c_19 3= new Expr (Symbol.newWord ("T"));242 static final Expr _c_19 4= new Expr (Symbol.newWord ("CHARS"));243 static final Expr _c_19 5= new Expr (Symbol.newWord ("fromSequence"));244 static final Expr _c_19 6= new Expr (Symbol.newWord ("(Ljava/lang/CharSequence;)Lorg/refal/plus/Expr;"));245 static final Expr _c_19 7= new Expr (Symbol.newWord ("newInt"));246 static final Expr _c_19 8= new Expr (Symbol.newWord ("newWord"));247 static final Expr _c_ 199= new Expr (Symbol.newInt ("21"));248 static final Expr _c_20 0= new Expr (Symbol.newWord ("EXPORT"));249 static final Expr _c_20 1= new Expr (Symbol.newWord ("booleanValue"));250 static final Expr _c_20 2= new Expr (Symbol.newWord ("C"));251 static final Expr _c_20 3= new Expr (Symbol.newWord ("charValue"));252 static final Expr _c_20 4= new Expr (Symbol.newWord ("B"));253 static final Expr _c_20 5= new Expr (Symbol.newWord ("byteValue"));254 static final Expr _c_20 6= new Expr (Symbol.newWord ("S"));255 static final Expr _c_20 7= new Expr (Symbol.newWord ("shortValue"));256 static final Expr _c_20 8= new Expr (Symbol.newWord ("I"));257 static final Expr _c_2 09= new Expr (Symbol.newWord ("intValue"));258 static final Expr _c_21 0= new Expr (Symbol.newWord ("J"));259 static final Expr _c_21 1= new Expr (Symbol.newWord ("longValue"));260 static final Expr _c_21 2= new Expr (Symbol.newWord ("(Ljava/lang/Comparable;)"));261 static final Expr _c_21 3= new Expr (Symbol.newWord ("org/refal/plus/Native"));262 static final Expr _c_21 4= new Expr (Symbol.newWord ("objectValue"));263 static final Expr _c_21 5= new Expr (Symbol.newWord ("(Ljava/lang/Comparable;)Ljava/lang/Object;"));264 static final Expr _c_21 6= Expr.fromSequence (";");265 static final Expr _c_23 1= Expr.fromSequence ("[L");266 static final Expr _c_21 7 = _c_231.subexpr (1, 1);267 static final Expr _c_21 8 = _c_231.subexpr (0, 1);268 static final Expr _c_2 19= new Expr (Symbol.newWord ("booleanArrayValue"));269 static final Expr _c_22 0= new Expr (Symbol.newWord ("charArrayValue"));270 static final Expr _c_22 1= new Expr (Symbol.newWord ("byteArrayValue"));271 static final Expr _c_22 2= new Expr (Symbol.newWord ("shortArrayValue"));272 static final Expr _c_22 3= new Expr (Symbol.newWord ("intArrayValue"));273 static final Expr _c_22 4= new Expr (Symbol.newWord ("longArrayValue"));274 static final Expr _c_22 5= new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;)"));275 static final Expr _c_22 6= new Expr (Symbol.newInt ("189"));276 static final Expr _c_22 7= new Expr (Symbol.newWord ("objectArrayValue"));277 static final Expr _c_22 8= new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;[Ljava/lang/Object;)[Ljava/lang/Object;"));278 static final Expr _c_2 29= new Expr (Symbol.newWord (")Ljava/lang/Comparable;"));279 static final Expr _c_23 0= new Expr (Symbol.newWord ("sValueOf"));280 static final Expr _c_23 2= new Expr (Symbol.newWord ("[Ljava/lang/Object;"));281 static final Expr _c_23 3= new Expr (Symbol.newWord ("eValueOf"));282 static final Expr _c_23 4= new Expr (Symbol.newWord (""));283 static final Expr _c_23 5= new Expr (Symbol.newWord ("void"));284 static final Expr _c_23 6= new Expr (Symbol.newWord ("int"));285 static final Expr _c_23 7= new Expr (Symbol.newWord ("boolean"));286 static final Expr _c_23 8= new Expr (Symbol.newWord ("char"));287 static final Expr _c_2 39= new Expr (Symbol.newWord ("byte"));288 static final Expr _c_24 0= new Expr (Symbol.newWord ("short"));289 static final Expr _c_24 1= new Expr (Symbol.newWord ("float"));290 static final Expr _c_24 2= new Expr (Symbol.newWord ("long"));291 static final Expr _c_24 3= new Expr (Symbol.newWord ("double"));292 static final Expr _c_24 4= new Expr (Symbol.newWord ("D"));293 static final Expr _c_24 5= Expr.fromSequence ("[]");294 static final Expr _c_24 6= new Expr (Symbol.newWord ("["));295 static final Expr _c_24 7= new Expr (Symbol.newWord (";"));296 static final Expr _c_24 8= new Expr (Symbol.newWord ("L"));297 static final Expr _c_2 49= new Expr ((Comparable<?>) _c_0);298 static final Expr _c_25 0= new Expr (Symbol.newInt ("180"));299 static final Expr _c_25 1= new Expr (new Func () {212 static final Expr _c_164 = new Expr (Symbol.newWord ("+")); 213 static final Expr _c_165 = new Expr (Symbol.newInt ("96")); 214 static final Expr _c_166 = new Expr (Symbol.newWord ("-")); 215 static final Expr _c_167 = new Expr (Symbol.newInt ("100")); 216 static final Expr _c_168 = new Expr (Symbol.newWord ("%")); 217 static final Expr _c_169 = new Expr (Symbol.newInt ("112")); 218 static final Expr _c_170 = new Expr (Symbol.newWord ("*")); 219 static final Expr _c_171 = new Expr (Symbol.newInt ("104")); 220 static final Expr _c_172 = new Expr (Symbol.newWord ("/")); 221 static final Expr _c_173 = new Expr (Symbol.newInt ("108")); 222 static final Expr _c_174 = new Expr (Symbol.newWord ("CALL-FAILS")); 223 static final Expr _c_175 = new Expr (Symbol.newWord ("ITER-FAILS")); 224 static final Expr _c_176 = new Expr (Symbol.newWord ("isValid")); 225 static final Expr _c_177 = new Expr (Symbol.newWord ("()Z")); 226 static final Expr _c_178 = new Expr (Symbol.newWord ("SYMBOL?")); 227 static final Expr _c_179 = new Expr (Symbol.newWord ("isSymbolAt")); 228 static final Expr _c_180 = new Expr (Symbol.newWord ("(I)Z")); 229 static final Expr _c_181 = new Expr (Symbol.newInt ("153")); 230 static final Expr _c_182 = new Expr (Symbol.newWord ("EQ")); 231 static final Expr _c_183 = new Expr (Symbol.newWord ("equals")); 232 static final Expr _c_184 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;I)Z")); 233 static final Expr _c_185 = new Expr (Symbol.newWord ("TERM-EQ")); 234 static final Expr _c_186 = new Expr (Symbol.newWord ("termEquals")); 235 static final Expr _c_187 = new Expr (Symbol.newWord ("NOT")); 236 static final Expr _c_188 = new Expr (Symbol.newWord ("next")); 237 static final Expr _c_189 = new Expr (Symbol.newWord ("prev")); 238 static final Expr _c_190 = new Expr (Symbol.newWord ("()Lorg/refal/plus/Expr$SplitIterator;")); 239 static final Expr _c_191 = new Expr (Symbol.newInt ("87")); 240 static final Expr _c_192 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;)Lorg/refal/plus/Expr$Concatenator;")); 241 static final Expr _c_193 = new Expr (Symbol.newWord ("F")); 242 static final Expr _c_194 = new Expr (Symbol.newWord ("T")); 243 static final Expr _c_195 = new Expr (Symbol.newWord ("CHARS")); 244 static final Expr _c_196 = new Expr (Symbol.newWord ("fromSequence")); 245 static final Expr _c_197 = new Expr (Symbol.newWord ("(Ljava/lang/CharSequence;)Lorg/refal/plus/Expr;")); 246 static final Expr _c_198 = new Expr (Symbol.newWord ("newInt")); 247 static final Expr _c_199 = new Expr (Symbol.newWord ("newWord")); 248 static final Expr _c_200 = new Expr (Symbol.newInt ("21")); 249 static final Expr _c_201 = new Expr (Symbol.newWord ("EXPORT")); 250 static final Expr _c_202 = new Expr (Symbol.newWord ("booleanValue")); 251 static final Expr _c_203 = new Expr (Symbol.newWord ("C")); 252 static final Expr _c_204 = new Expr (Symbol.newWord ("charValue")); 253 static final Expr _c_205 = new Expr (Symbol.newWord ("B")); 254 static final Expr _c_206 = new Expr (Symbol.newWord ("byteValue")); 255 static final Expr _c_207 = new Expr (Symbol.newWord ("S")); 256 static final Expr _c_208 = new Expr (Symbol.newWord ("shortValue")); 257 static final Expr _c_209 = new Expr (Symbol.newWord ("I")); 258 static final Expr _c_210 = new Expr (Symbol.newWord ("intValue")); 259 static final Expr _c_211 = new Expr (Symbol.newWord ("J")); 260 static final Expr _c_212 = new Expr (Symbol.newWord ("longValue")); 261 static final Expr _c_213 = new Expr (Symbol.newWord ("(Ljava/lang/Comparable;)")); 262 static final Expr _c_214 = new Expr (Symbol.newWord ("org/refal/plus/Native")); 263 static final Expr _c_215 = new Expr (Symbol.newWord ("objectValue")); 264 static final Expr _c_216 = new Expr (Symbol.newWord ("(Ljava/lang/Comparable;)Ljava/lang/Object;")); 265 static final Expr _c_217 = Expr.fromSequence (";"); 266 static final Expr _c_232 = Expr.fromSequence ("[L"); 267 static final Expr _c_218 = _c_232.subexpr (1, 1); 268 static final Expr _c_219 = _c_232.subexpr (0, 1); 269 static final Expr _c_220 = new Expr (Symbol.newWord ("booleanArrayValue")); 270 static final Expr _c_221 = new Expr (Symbol.newWord ("charArrayValue")); 271 static final Expr _c_222 = new Expr (Symbol.newWord ("byteArrayValue")); 272 static final Expr _c_223 = new Expr (Symbol.newWord ("shortArrayValue")); 273 static final Expr _c_224 = new Expr (Symbol.newWord ("intArrayValue")); 274 static final Expr _c_225 = new Expr (Symbol.newWord ("longArrayValue")); 275 static final Expr _c_226 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;)")); 276 static final Expr _c_227 = new Expr (Symbol.newInt ("189")); 277 static final Expr _c_228 = new Expr (Symbol.newWord ("objectArrayValue")); 278 static final Expr _c_229 = new Expr (Symbol.newWord ("(Lorg/refal/plus/Expr;[Ljava/lang/Object;)[Ljava/lang/Object;")); 279 static final Expr _c_230 = new Expr (Symbol.newWord (")Ljava/lang/Comparable;")); 280 static final Expr _c_231 = new Expr (Symbol.newWord ("sValueOf")); 281 static final Expr _c_233 = new Expr (Symbol.newWord ("[Ljava/lang/Object;")); 282 static final Expr _c_234 = new Expr (Symbol.newWord ("eValueOf")); 283 static final Expr _c_235 = new Expr (Symbol.newWord ("")); 284 static final Expr _c_236 = new Expr (Symbol.newWord ("void")); 285 static final Expr _c_237 = new Expr (Symbol.newWord ("int")); 286 static final Expr _c_238 = new Expr (Symbol.newWord ("boolean")); 287 static final Expr _c_239 = new Expr (Symbol.newWord ("char")); 288 static final Expr _c_240 = new Expr (Symbol.newWord ("byte")); 289 static final Expr _c_241 = new Expr (Symbol.newWord ("short")); 290 static final Expr _c_242 = new Expr (Symbol.newWord ("float")); 291 static final Expr _c_243 = new Expr (Symbol.newWord ("long")); 292 static final Expr _c_244 = new Expr (Symbol.newWord ("double")); 293 static final Expr _c_245 = new Expr (Symbol.newWord ("D")); 294 static final Expr _c_246 = Expr.fromSequence ("[]"); 295 static final Expr _c_247 = new Expr (Symbol.newWord ("[")); 296 static final Expr _c_248 = new Expr (Symbol.newWord (";")); 297 static final Expr _c_249 = new Expr (Symbol.newWord ("L")); 298 static final Expr _c_250 = new Expr ((Comparable<?>) _c_0); 299 static final Expr _c_251 = new Expr (Symbol.newInt ("180")); 300 static final Expr _c_252 = new Expr (new Func () { 300 301 public boolean eval (Expr arg, Result res) throws RefalException { 301 302 return ReplaceDots_0 (arg, res); 302 303 } 303 304 }); 304 static final Expr _c_25 2= new Expr (new Func () {305 static final Expr _c_253 = new Expr (new Func () { 305 306 public boolean eval (Expr arg, Result res) throws RefalException { 306 307 return ConvertType_0 (arg, res); 307 308 } 308 309 }); 309 static final Expr _c_25 3= new Expr (Symbol.newWord (")"));310 static final Expr _c_254 = new Expr (Symbol.newWord (")")); 310 311 311 312 @RefalFormat("$func GetJBCName t = s;") … … 475 476 refal.plus.Arithm.Add (_c_5, _c_10, _gs_auxcall12); 476 477 Result _gs_auxcall13 = new Result (Expr.empty); 477 refal.plus. Java.Null (_gs_auxcall13);478 refal.plus.Arithm.Add (_gs_auxcall12.getExpr (), _c_11, _gs_auxcall13); 478 479 Result _gs_auxcall14 = new Result (Expr.empty); 479 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_gs_auxcall11.getExpr (), _gs_auxcall12.getExpr (), _c_11, _c_12, _gs_auxcall13.getExpr (), Expr.empty, _gs_auxcall14); 480 refal.plus.Box.Store (MVbox, _gs_auxcall14.getExpr ()); 480 refal.plus.Java.Null (_gs_auxcall14); 481 481 Result _gs_auxcall15 = new Result (Expr.empty); 482 MV (_gs_auxcall15);483 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitLdcInsn (_gs_auxcall15.getExpr (), _vs_refal__mod__name.getExpr ());482 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_gs_auxcall11.getExpr (), _gs_auxcall13.getExpr (), _c_12, _c_13, _gs_auxcall14.getExpr (), Expr.empty, _gs_auxcall15); 483 refal.plus.Box.Store (MVbox, _gs_auxcall15.getExpr ()); 484 484 Result _gs_auxcall16 = new Result (Expr.empty); 485 485 MV (_gs_auxcall16); 486 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit VarInsn (_gs_auxcall16.getExpr (), _c_13, _c_14);486 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitLdcInsn (_gs_auxcall16.getExpr (), _vs_refal__mod__name.getExpr ()); 487 487 Result _gs_auxcall17 = new Result (Expr.empty); 488 488 MV (_gs_auxcall17); 489 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit MethodInsn (_gs_auxcall17.getExpr (), _c_15, _c_16, _c_17, _c_18);489 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall17.getExpr (), _c_14, _c_15); 490 490 Result _gs_auxcall18 = new Result (Expr.empty); 491 491 MV (_gs_auxcall18); 492 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit TypeInsn (_gs_auxcall18.getExpr (), _c_19, _c_20);492 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall18.getExpr (), _c_16, _c_17, _c_18, _c_19); 493 493 Result _gs_auxcall19 = new Result (Expr.empty); 494 494 MV (_gs_auxcall19); 495 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit Insn (_gs_auxcall19.getExpr (), _c_21);495 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall19.getExpr (), _c_20, _c_21); 496 496 Result _gs_auxcall20 = new Result (Expr.empty); 497 497 MV (_gs_auxcall20); 498 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit MethodInsn (_gs_auxcall20.getExpr (), _c_22, _c_20, _c_23, _c_24);498 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall20.getExpr (), _c_22); 499 499 Result _gs_auxcall21 = new Result (Expr.empty); 500 500 MV (_gs_auxcall21); 501 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall21.getExpr (), _c_ 15, _vs_class__name.getExpr (), _vs_name, _c_25);501 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall21.getExpr (), _c_23, _c_21, _c_24, _c_25); 502 502 Result _gs_auxcall22 = new Result (Expr.empty); 503 503 MV (_gs_auxcall22); 504 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit Insn (_gs_auxcall22.getExpr (), _c_26);504 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall22.getExpr (), _c_16, _vs_class__name.getExpr (), _vs_name, _c_26); 505 505 Result _gs_auxcall23 = new Result (Expr.empty); 506 506 MV (_gs_auxcall23); 507 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit Maxs (_gs_auxcall23.getExpr (), _c_14, _c_14);507 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall23.getExpr (), _c_27); 508 508 Result _gs_auxcall24 = new Result (Expr.empty); 509 509 MV (_gs_auxcall24); 510 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitEnd (_gs_auxcall24.getExpr ()); 510 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMaxs (_gs_auxcall24.getExpr (), _c_15, _c_15); 511 Result _gs_auxcall25 = new Result (Expr.empty); 512 MV (_gs_auxcall25); 513 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitEnd (_gs_auxcall25.getExpr ()); 511 514 break _block2; 512 515 } 513 516 } 514 Result _gs_auxcall25 = new Result (Expr.empty);515 CW (_gs_auxcall25);516 517 Result _gs_auxcall26 = new Result (Expr.empty); 517 refal.plus.Java.Null(_gs_auxcall26);518 CW (_gs_auxcall26); 518 519 Result _gs_auxcall27 = new Result (Expr.empty); 519 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_gs_auxcall25.getExpr (), _c_14, _c_23, _c_24, _gs_auxcall26.getExpr (), Expr.empty, _gs_auxcall27); 520 refal.plus.Box.Store (MVbox, _gs_auxcall27.getExpr ()); 520 refal.plus.Java.Null (_gs_auxcall27); 521 521 Result _gs_auxcall28 = new Result (Expr.empty); 522 MV (_gs_auxcall28);523 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall28.getExpr (), _c_13, _c_14);522 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_gs_auxcall26.getExpr (), _c_15, _c_24, _c_25, _gs_auxcall27.getExpr (), Expr.empty, _gs_auxcall28); 523 refal.plus.Box.Store (MVbox, _gs_auxcall28.getExpr ()); 524 524 Result _gs_auxcall29 = new Result (Expr.empty); 525 525 MV (_gs_auxcall29); 526 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit MethodInsn (_gs_auxcall29.getExpr (), _c_22, _c_8, _c_23, _c_24);526 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall29.getExpr (), _c_14, _c_15); 527 527 Result _gs_auxcall30 = new Result (Expr.empty); 528 528 MV (_gs_auxcall30); 529 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit Insn (_gs_auxcall30.getExpr (), _c_26);529 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall30.getExpr (), _c_23, _c_8, _c_24, _c_25); 530 530 Result _gs_auxcall31 = new Result (Expr.empty); 531 531 MV (_gs_auxcall31); 532 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit Maxs (_gs_auxcall31.getExpr (), _c_14, _c_14);532 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall31.getExpr (), _c_27); 533 533 Result _gs_auxcall32 = new Result (Expr.empty); 534 534 MV (_gs_auxcall32); 535 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit End (_gs_auxcall32.getExpr ());535 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMaxs (_gs_auxcall32.getExpr (), _c_15, _c_15); 536 536 Result _gs_auxcall33 = new Result (Expr.empty); 537 CW (_gs_auxcall33); 537 MV (_gs_auxcall33); 538 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitEnd (_gs_auxcall33.getExpr ()); 538 539 Result _gs_auxcall34 = new Result (Expr.empty); 539 refal.plus.Java.Null(_gs_auxcall34);540 CW (_gs_auxcall34); 540 541 Result _gs_auxcall35 = new Result (Expr.empty); 541 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_gs_auxcall33.getExpr (), _c_10, _c_27, _c_24, _gs_auxcall34.getExpr (), Expr.empty, _gs_auxcall35); 542 refal.plus.Box.Store (MVbox, _gs_auxcall35.getExpr ()); 542 refal.plus.Java.Null (_gs_auxcall35); 543 Result _gs_auxcall36 = new Result (Expr.empty); 544 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_gs_auxcall34.getExpr (), _c_10, _c_28, _c_25, _gs_auxcall35.getExpr (), Expr.empty, _gs_auxcall36); 545 refal.plus.Box.Store (MVbox, _gs_auxcall36.getExpr ()); 543 546 _block5__branch1: { 544 547 Result _v_Get2 = new Result (Expr.empty); … … 605 608 Expr _ve_2 = Expr.empty; 606 609 _ve_2 = _v_ToChars1.getExpr ().subexpr ((0 + 1), _v_len__2); 607 Result _ge_auxcall3 6= new Result (Expr.empty);608 refal.plus.Convert.ToLower (_ve_2, _ge_auxcall3 6);610 Result _ge_auxcall37 = new Result (Expr.empty); 611 refal.plus.Convert.ToLower (_ve_2, _ge_auxcall37); 609 612 Result _va_2 = new Result (); 610 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_2 8).toRight (_vs_1).toRight (_ge_auxcall36.getExpr ()).yield (), _va_2);613 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_29).toRight (_vs_1).toRight (_ge_auxcall37.getExpr ()).yield (), _va_2); 611 614 _vs_objectType = _va_2.getExpr (); 612 Result _gs_auxcall37 = new Result (Expr.empty);613 MV (_gs_auxcall37);614 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall37.getExpr (), _c_19, _c_29);615 615 Result _gs_auxcall38 = new Result (Expr.empty); 616 616 MV (_gs_auxcall38); 617 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit Insn (_gs_auxcall38.getExpr (), _c_21);617 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall38.getExpr (), _c_20, _c_30); 618 618 Result _gs_auxcall39 = new Result (Expr.empty); 619 619 MV (_gs_auxcall39); 620 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit LdcInsn (_gs_auxcall39.getExpr (), _vs_name);620 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall39.getExpr (), _c_22); 621 621 Result _gs_auxcall40 = new Result (Expr.empty); 622 622 MV (_gs_auxcall40); 623 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit MethodInsn (_gs_auxcall40.getExpr (), _c_15, _c_30, _vs_objectType, _c_31);623 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitLdcInsn (_gs_auxcall40.getExpr (), _vs_name); 624 624 Result _gs_auxcall41 = new Result (Expr.empty); 625 625 MV (_gs_auxcall41); 626 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall41.getExpr (), _c_ 22, _c_29, _c_23, _c_32);626 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall41.getExpr (), _c_16, _c_31, _vs_objectType, _c_32); 627 627 Result _gs_auxcall42 = new Result (Expr.empty); 628 628 MV (_gs_auxcall42); 629 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall42.getExpr (), _c_33, _vs_class__name.getExpr (), _vs_name, _c_34); 629 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall42.getExpr (), _c_23, _c_30, _c_24, _c_33); 630 Result _gs_auxcall43 = new Result (Expr.empty); 631 MV (_gs_auxcall43); 632 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall43.getExpr (), _c_34, _vs_class__name.getExpr (), _vs_name, _c_35); 630 633 } 631 634 } … … 676 679 _ve_expr = _v_deref__lsplit__Get3.subexpr ((0 + 1), _v_len__expr); 677 680 Const_Expr_To_JBC (_ve_expr); 678 Result _gs_auxcall43 = new Result (Expr.empty); 679 MV (_gs_auxcall43); 680 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall43.getExpr (), _c_33, _vs_class__name.getExpr (), _vs_name, _c_34); 681 } 682 } 683 Result _gs_auxcall44 = new Result (Expr.empty); 684 MV (_gs_auxcall44); 685 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall44.getExpr (), _c_26); 681 Result _gs_auxcall44 = new Result (Expr.empty); 682 MV (_gs_auxcall44); 683 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall44.getExpr (), _c_34, _vs_class__name.getExpr (), _vs_name, _c_35); 684 } 685 } 686 686 Result _gs_auxcall45 = new Result (Expr.empty); 687 687 MV (_gs_auxcall45); 688 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit Maxs (_gs_auxcall45.getExpr (), _c_14, _c_14);688 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall45.getExpr (), _c_27); 689 689 Result _gs_auxcall46 = new Result (Expr.empty); 690 690 MV (_gs_auxcall46); 691 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisit End (_gs_auxcall46.getExpr ());691 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMaxs (_gs_auxcall46.getExpr (), _c_15, _c_15); 692 692 Result _gs_auxcall47 = new Result (Expr.empty); 693 CW(_gs_auxcall47);694 org.refal.plus.wrappers.org.objectweb.asm. ClassWriter.CWvisitEnd (_gs_auxcall47.getExpr ());693 MV (_gs_auxcall47); 694 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitEnd (_gs_auxcall47.getExpr ()); 695 695 Result _gs_auxcall48 = new Result (Expr.empty); 696 696 CW (_gs_auxcall48); 697 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitEnd (_gs_auxcall48.getExpr ()); 697 698 Result _gs_auxcall49 = new Result (Expr.empty); 698 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWtoByteArray (_gs_auxcall48.getExpr (), _gs_auxcall49); 699 CW (_gs_auxcall49); 700 Result _gs_auxcall50 = new Result (Expr.empty); 701 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWtoByteArray (_gs_auxcall49.getExpr (), _gs_auxcall50); 699 702 Result _vs_res = new Result (Expr.empty); 700 refal.plus.Box.Box (new Expr ((Comparable<?>) Expr.concat (_gs_auxcall 49.getExpr (), _ve_moduleName)), _vs_res);703 refal.plus.Box.Box (new Expr ((Comparable<?>) Expr.concat (_gs_auxcall50.getExpr (), _ve_moduleName)), _vs_res); 701 704 _block8__branch1: { 702 705 Result _v_Get4 = new Result (Expr.empty); … … 759 762 Result _vs_cw = new Result (Expr.empty); 760 763 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.ClassWriter (_c_5, _vs_cw); 761 Result _gs_auxcall50 = new Result (Expr.empty);762 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_vs_class__name.getExpr ()).toRight (_c_35).toRight (_vs_cl__name).yield (), _gs_auxcall50);763 764 Result _gs_auxcall51 = new Result (Expr.empty); 764 refal.plus.Java.Null (_gs_auxcall51); 765 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisit (_vs_cw.getExpr (), _c_7, _c_36, _gs_auxcall50.getExpr (), _gs_auxcall51.getExpr (), _c_37, Expr.empty); 765 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_vs_class__name.getExpr ()).toRight (_c_36).toRight (_vs_cl__name).yield (), _gs_auxcall51); 766 766 Result _gs_auxcall52 = new Result (Expr.empty); 767 767 refal.plus.Java.Null (_gs_auxcall52); 768 Result _vs_mv = new Result (Expr.empty); 769 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_vs_cw.getExpr (), _c_14, _c_23, _c_24, _gs_auxcall52.getExpr (), Expr.empty, _vs_mv); 770 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_vs_mv.getExpr (), _c_13, _c_14); 771 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_vs_mv.getExpr (), _c_22, _c_37, _c_23, _c_24); 772 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_vs_mv.getExpr (), _c_26); 773 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMaxs (_vs_mv.getExpr (), _c_14, _c_14); 774 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitEnd (_vs_mv.getExpr ()); 768 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisit (_vs_cw.getExpr (), _c_7, _c_37, _gs_auxcall51.getExpr (), _gs_auxcall52.getExpr (), _c_38, Expr.empty); 775 769 Result _gs_auxcall53 = new Result (Expr.empty); 776 770 refal.plus.Java.Null (_gs_auxcall53); 777 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_vs_cw.getExpr (), _c_5, _c_38, _c_39, _gs_auxcall53.getExpr (), _c_40, _vs_mv); 778 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_vs_mv.getExpr (), _c_13, _c_5); 779 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_vs_mv.getExpr (), _c_13, _c_41); 771 Result _vs_mv = new Result (Expr.empty); 772 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_vs_cw.getExpr (), _c_15, _c_24, _c_25, _gs_auxcall53.getExpr (), Expr.empty, _vs_mv); 773 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_vs_mv.getExpr (), _c_14, _c_15); 774 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_vs_mv.getExpr (), _c_23, _c_38, _c_24, _c_25); 775 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_vs_mv.getExpr (), _c_27); 776 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMaxs (_vs_mv.getExpr (), _c_15, _c_15); 777 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitEnd (_vs_mv.getExpr ()); 778 Result _gs_auxcall54 = new Result (Expr.empty); 779 refal.plus.Java.Null (_gs_auxcall54); 780 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_vs_cw.getExpr (), _c_5, _c_39, _c_40, _gs_auxcall54.getExpr (), _c_41, _vs_mv); 781 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_vs_mv.getExpr (), _c_14, _c_5); 782 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_vs_mv.getExpr (), _c_14, _c_42); 780 783 _block9: { 781 784 _block9__branch1: { 782 if (!_vs_type.termEquals (_c_4 2, 0))785 if (!_vs_type.termEquals (_c_43, 0)) 783 786 { 784 787 break _block9__branch1; 785 788 } 786 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_vs_mv.getExpr (), _c_1 5, _vs_mod__name, _vs_func__name, _c_39);787 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_vs_mv.getExpr (), _c_4 3);789 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_vs_mv.getExpr (), _c_16, _vs_mod__name, _vs_func__name, _c_40); 790 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_vs_mv.getExpr (), _c_44); 788 791 break _block9; 789 792 } 790 if (!_vs_type.termEquals (_c_4 4, 0))793 if (!_vs_type.termEquals (_c_45, 0)) 791 794 { 792 795 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "RFP_ASAIL_To_JBC", "Unexpected fail"); 793 796 } 794 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_vs_mv.getExpr (), _c_1 5, _vs_mod__name, _vs_func__name, _c_45);795 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_vs_mv.getExpr (), _c_4 6);796 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_vs_mv.getExpr (), _c_4 3);797 } 798 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMaxs (_vs_mv.getExpr (), _c_1 4, _c_14);797 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_vs_mv.getExpr (), _c_16, _vs_mod__name, _vs_func__name, _c_46); 798 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_vs_mv.getExpr (), _c_47); 799 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_vs_mv.getExpr (), _c_44); 800 } 801 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMaxs (_vs_mv.getExpr (), _c_15, _c_15); 799 802 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitEnd (_vs_mv.getExpr ()); 800 803 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitEnd (_vs_cw.getExpr ()); 801 Result _gs_auxcall5 4= new Result (Expr.empty);802 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWtoByteArray (_vs_cw.getExpr (), _gs_auxcall5 4);803 Result _ge_auxcall5 5= new Result (Expr.empty);804 if (!refal.plus.Access.Middle (_c_1 4, _c_5, _ve_moduleName, _ge_auxcall55))804 Result _gs_auxcall55 = new Result (Expr.empty); 805 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWtoByteArray (_vs_cw.getExpr (), _gs_auxcall55); 806 Result _ge_auxcall56 = new Result (Expr.empty); 807 if (!refal.plus.Access.Middle (_c_15, _c_5, _ve_moduleName, _ge_auxcall56)) 805 808 { 806 809 continue _continue3; 807 810 } 808 Result _gt_auxcall5 6= new Result (Expr.empty);809 if (!refal.plus.Access.R (_c_1 4, _ve_moduleName, _gt_auxcall56))811 Result _gt_auxcall57 = new Result (Expr.empty); 812 if (!refal.plus.Access.R (_c_15, _ve_moduleName, _gt_auxcall57)) 810 813 { 811 814 continue _continue3; 812 815 } 813 Result _gs_auxcall5 7= new Result (Expr.empty);814 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_gt_auxcall5 6.getExpr ()).toRight (_c_35).toRight (_vs_cl__name).yield (), _gs_auxcall57);815 refal.plus.Box.Put (_vs_res.getExpr (), new Expr ((Comparable<?>) Expr.getConcatenator ().toRight (_gs_auxcall5 4.getExpr ()).toRight (_ge_auxcall55.getExpr ()).toRight (_gs_auxcall57.getExpr ()).yield ()));816 Result _gs_auxcall58 = new Result (Expr.empty); 817 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_gt_auxcall57.getExpr ()).toRight (_c_36).toRight (_vs_cl__name).yield (), _gs_auxcall58); 818 refal.plus.Box.Put (_vs_res.getExpr (), new Expr ((Comparable<?>) Expr.getConcatenator ().toRight (_gs_auxcall55.getExpr ()).toRight (_ge_auxcall56.getExpr ()).toRight (_gs_auxcall58.getExpr ()).yield ())); 816 819 } 817 820 } … … 824 827 Result _vs_block__table = new Result (Expr.empty); 825 828 refal.plus.Table.Table (_vs_block__table); 826 refal.plus.Table.Bind (_vs_block__table.getExpr (), _c_4 7, _c_14);829 refal.plus.Table.Bind (_vs_block__table.getExpr (), _c_48, _c_15); 827 830 refal.plus.Box.Store (Block_Tables, _vs_block__table.getExpr ()); 828 831 } … … 889 892 _vs_block__table2 = _v_Get1.getExpr ().subexpr ((0 + _v_len__block__tables + 1), 1); 890 893 Result _v_Lookup1 = new Result (Expr.empty); 891 if (!refal.plus.Table.Lookup (_vs_block__table2, _c_4 7, _v_Lookup1))894 if (!refal.plus.Table.Lookup (_vs_block__table2, _c_48, _v_Lookup1)) 892 895 { 893 896 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Pop_Block_Table", "Unexpected fail"); … … 903 906 Expr _vs_i = Expr.empty; 904 907 _vs_i = _v_Lookup1.getExpr ().subexpr (0, 1); 905 refal.plus.Table.Bind (_vs_block__table1, _c_4 7, _vs_i);908 refal.plus.Table.Bind (_vs_block__table1, _c_48, _vs_i); 906 909 refal.plus.Box.Store (Block_Tables, Expr.concat (_ve_block__tables, _vs_block__table1)); 907 910 } … … 979 982 Get_Block_Table (_gs_auxcall1); 980 983 Result _v_Lookup1 = new Result (Expr.empty); 981 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), _c_4 7, _v_Lookup1))984 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), _c_48, _v_Lookup1)) 982 985 { 983 986 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Bind_Var", "Unexpected fail"); … … 997 1000 Result _gs_auxcall3 = new Result (Expr.empty); 998 1001 refal.plus.Arithm.Add (_vs_i, _c_5, _gs_auxcall3); 999 refal.plus.Table.Bind (_gs_auxcall2.getExpr (), _c_4 7, _gs_auxcall3.getExpr ());1002 refal.plus.Table.Bind (_gs_auxcall2.getExpr (), _c_48, _gs_auxcall3.getExpr ()); 1000 1003 Result _gs_auxcall4 = new Result (Expr.empty); 1001 1004 Get_Block_Table (_gs_auxcall4); 1002 refal.plus.Table.Bind (_gs_auxcall4.getExpr (), Expr.concat (_c_4 8, _vt_var), Expr.concat (_vs_type, _vs_i));1005 refal.plus.Table.Bind (_gs_auxcall4.getExpr (), Expr.concat (_c_49, _vt_var), Expr.concat (_vs_type, _vs_i)); 1003 1006 _v_res1.assign (_vs_i); 1004 1007 } … … 1010 1013 Get_Block_Table (_gs_auxcall1); 1011 1014 Result _v_Lookup1 = new Result (Expr.empty); 1012 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), Expr.concat (_c_4 8, _vt_var), _v_Lookup1))1015 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), Expr.concat (_c_49, _vt_var), _v_Lookup1)) 1013 1016 { 1014 1017 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Lookup_Var", "Unexpected fail"); … … 1040 1043 Get_Block_Table (_gs_auxcall1); 1041 1044 Result _v_Lookup1 = new Result (Expr.empty); 1042 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), _c_4 7, _v_Lookup1))1045 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), _c_48, _v_Lookup1)) 1043 1046 { 1044 1047 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Bind_Iter_Var", "Unexpected fail"); … … 1058 1061 Result _gs_auxcall3 = new Result (Expr.empty); 1059 1062 refal.plus.Arithm.Add (_vs_i, _c_5, _gs_auxcall3); 1060 refal.plus.Table.Bind (_gs_auxcall2.getExpr (), _c_4 7, _gs_auxcall3.getExpr ());1063 refal.plus.Table.Bind (_gs_auxcall2.getExpr (), _c_48, _gs_auxcall3.getExpr ()); 1061 1064 Result _vs_i1 = new Result (Expr.empty); 1062 Bind_Var (_c_ 49, _vt_var1, _vs_i1);1065 Bind_Var (_c_50, _vt_var1, _vs_i1); 1063 1066 Result _vs_i2 = new Result (Expr.empty); 1064 Bind_Var (_c_ 49, _vt_var2, _vs_i2);1067 Bind_Var (_c_50, _vt_var2, _vs_i2); 1065 1068 Result _gs_auxcall4 = new Result (Expr.empty); 1066 1069 Get_Block_Table (_gs_auxcall4); 1067 refal.plus.Table.Bind (_gs_auxcall4.getExpr (), Expr.concat (_c_5 0, _ve_expr), Expr.getConcatenator ().toRight (_vs_i).toRight (_vs_i1.getExpr ()).toRight (_vs_i2.getExpr ()).yield ());1070 refal.plus.Table.Bind (_gs_auxcall4.getExpr (), Expr.concat (_c_51, _ve_expr), Expr.getConcatenator ().toRight (_vs_i).toRight (_vs_i1.getExpr ()).toRight (_vs_i2.getExpr ()).yield ()); 1068 1071 _v_res1.assign (_vs_i); 1069 1072 } … … 1075 1078 Get_Block_Table (_gs_auxcall1); 1076 1079 Result _v_Lookup1 = new Result (Expr.empty); 1077 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), Expr.concat (_c_5 0, _ve_expr), _v_Lookup1))1080 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), Expr.concat (_c_51, _ve_expr), _v_Lookup1)) 1078 1081 { 1079 1082 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Lookup_Iter_Var", "Unexpected fail"); … … 1112 1115 Get_Block_Table (_gs_auxcall1); 1113 1116 Result _v_Lookup1 = new Result (Expr.empty); 1114 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), _c_4 7, _v_Lookup1))1117 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), _c_48, _v_Lookup1)) 1115 1118 { 1116 1119 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Bind_TMP_Var", "Unexpected fail"); … … 1130 1133 Result _gs_auxcall3 = new Result (Expr.empty); 1131 1134 refal.plus.Arithm.Add (_vs_i, _c_5, _gs_auxcall3); 1132 refal.plus.Table.Bind (_gs_auxcall2.getExpr (), _c_4 7, _gs_auxcall3.getExpr ());1135 refal.plus.Table.Bind (_gs_auxcall2.getExpr (), _c_48, _gs_auxcall3.getExpr ()); 1133 1136 Result _gs_auxcall4 = new Result (Expr.empty); 1134 1137 Get_Block_Table (_gs_auxcall4); 1135 refal.plus.Table.Bind (_gs_auxcall4.getExpr (), Expr.concat (_c_5 1, _vt_var), _vs_i);1138 refal.plus.Table.Bind (_gs_auxcall4.getExpr (), Expr.concat (_c_52, _vt_var), _vs_i); 1136 1139 _v_res1.assign (_vs_i); 1137 1140 } … … 1143 1146 Get_Block_Table (_gs_auxcall1); 1144 1147 Result _v_Lookup1 = new Result (Expr.empty); 1145 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), Expr.concat (_c_5 1, _vt_var), _v_Lookup1))1148 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), Expr.concat (_c_52, _vt_var), _v_Lookup1)) 1146 1149 { 1147 1150 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Lookup_TMP_Var", "Unexpected fail"); … … 1167 1170 Result _gs_auxcall1 = new Result (Expr.empty); 1168 1171 Get_Block_Table (_gs_auxcall1); 1169 refal.plus.Table.Bind (_gs_auxcall1.getExpr (), Expr.concat (_c_5 2, _vt_label), _vs_l.getExpr ());1172 refal.plus.Table.Bind (_gs_auxcall1.getExpr (), Expr.concat (_c_53, _vt_label), _vs_l.getExpr ()); 1170 1173 _v_res1.assign (_vs_l.getExpr ()); 1171 1174 } … … 1177 1180 Get_Block_Table (_gs_auxcall1); 1178 1181 Result _v_Lookup1 = new Result (Expr.empty); 1179 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), Expr.concat (_c_5 2, _vt_label), _v_Lookup1))1182 if (!refal.plus.Table.Lookup (_gs_auxcall1.getExpr (), Expr.concat (_c_53, _vt_label), _v_Lookup1)) 1180 1183 { 1181 1184 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Lookup_Label", "Unexpected fail"); … … 1206 1209 refal.plus.Box.Get (Traps, _ge_auxcall1); 1207 1210 Result _v_R1 = new Result (Expr.empty); 1208 if (!refal.plus.Access.R (_c_1 4, _ge_auxcall1.getExpr (), _v_R1))1211 if (!refal.plus.Access.R (_c_15, _ge_auxcall1.getExpr (), _v_R1)) 1209 1212 { 1210 1213 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Get_Trap", "Unexpected fail"); … … 1255 1258 refal.plus.Access.Length (_ve_args, _gs_auxcall1); 1256 1259 Result _ge_auxcall2 = new Result (Expr.empty); 1257 refal.plus.List.Replicate (_gs_auxcall1.getExpr (), _c_3 4, _ge_auxcall2);1260 refal.plus.List.Replicate (_gs_auxcall1.getExpr (), _c_35, _ge_auxcall2); 1258 1261 Result _gs_auxcall3 = new Result (Expr.empty); 1259 1262 refal.plus.Access.Length (_ve_ress, _gs_auxcall3); 1260 1263 Result _ge_auxcall4 = new Result (Expr.empty); 1261 refal.plus.List.Replicate (_gs_auxcall3.getExpr (), _c_5 3, _ge_auxcall4);1262 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_5 5).toRight (_ge_auxcall2.getExpr ()).toRight (_ge_auxcall4.getExpr ()).toRight (_c_54).toRight (_vs_retType).yield (), _v_res1);1264 refal.plus.List.Replicate (_gs_auxcall3.getExpr (), _c_54, _ge_auxcall4); 1265 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_56).toRight (_ge_auxcall2.getExpr ()).toRight (_ge_auxcall4.getExpr ()).toRight (_c_55).toRight (_vs_retType).yield (), _v_res1); 1263 1266 } 1264 1267 … … 1273 1276 { 1274 1277 Result _v_Map1 = new Result (Expr.empty); 1275 if (!refal.plus.List.Map (_c_5 6, Expr.empty, _ve_module, _v_Map1))1278 if (!refal.plus.List.Map (_c_57, Expr.empty, _ve_module, _v_Map1)) 1276 1279 { 1277 1280 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Module_To_JBC", "Unexpected fail"); … … 1309 1312 break _block1__branch1; 1310 1313 } 1311 if (!_c_5 7.termEquals (_v_deref__arg1, (0 + 1)))1314 if (!_c_58.termEquals (_v_deref__arg1, (0 + 1))) 1312 1315 { 1313 1316 break _block1__branch1; … … 1356 1359 } 1357 1360 int _v_len__out = (_v_len7 - _v_len8); 1358 if (!_c_5 8.termEquals (_v_deref__arg12, 0))1361 if (!_c_59.termEquals (_v_deref__arg12, 0)) 1359 1362 { 1360 1363 break _block1__branch2; … … 1443 1446 _block2: { 1444 1447 _block2__branch1: { 1445 if (!_vs_tag.termEquals (_c_4 4, 0))1448 if (!_vs_tag.termEquals (_c_45, 0)) 1446 1449 { 1447 1450 break _block2__branch1; 1448 1451 } 1449 _gs_auxalt1 = _c_ 59;1452 _gs_auxalt1 = _c_60; 1450 1453 break _block2; 1451 1454 } 1452 if (!_vs_tag.termEquals (_c_4 2, 0))1455 if (!_vs_tag.termEquals (_c_43, 0)) 1453 1456 { 1454 1457 break _block1__branch3; 1455 1458 } 1456 _gs_auxalt1 = _c_6 0;1459 _gs_auxalt1 = _c_61; 1457 1460 } 1458 1461 if (!_gs_auxalt1.isSymbolAt (0)) … … 1545 1548 refal.plus.Java.Null (_gs_auxcall4); 1546 1549 Result _gs_auxcall5 = new Result (Expr.empty); 1547 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_gs_auxcall3.getExpr (), _vs_access.getExpr (), _vs_name, _vs_desc.getExpr (), _gs_auxcall4.getExpr (), _c_4 0, _gs_auxcall5);1550 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_gs_auxcall3.getExpr (), _vs_access.getExpr (), _vs_name, _vs_desc.getExpr (), _gs_auxcall4.getExpr (), _c_41, _gs_auxcall5); 1548 1551 refal.plus.Box.Store (MVbox, _gs_auxcall5.getExpr ()); 1549 1552 _block4: { … … 1557 1560 MV (_gs_auxcall6); 1558 1561 Result _vs_aw = new Result (Expr.empty); 1559 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitAnnotation (_gs_auxcall6.getExpr (), _c_6 1, _c_62, _vs_aw);1560 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visit (_vs_aw.getExpr (), _c_6 3, _vs_format.getExpr ());1562 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitAnnotation (_gs_auxcall6.getExpr (), _c_62, _c_63, _vs_aw); 1563 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visit (_vs_aw.getExpr (), _c_64, _vs_format.getExpr ()); 1561 1564 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visitEnd (_vs_aw.getExpr ()); 1562 1565 break _block4; … … 1565 1568 refal.plus.Box.Store (FuncName, _vs_name); 1566 1569 Init_Block_Table (); 1567 Bind_Vars (_c_ 49, _ve_args);1568 Bind_Vars (_c_6 4, _ve_ress);1570 Bind_Vars (_c_50, _ve_args); 1571 Bind_Vars (_c_65, _ve_ress); 1569 1572 Body_To_JBC (_ve_body); 1570 1573 _block5: { 1571 1574 _block5__branch1: { 1572 if (!_vs_tag.termEquals (_c_4 4, 0))1575 if (!_vs_tag.termEquals (_c_45, 0)) 1573 1576 { 1574 1577 break _block5__branch1; … … 1576 1579 Result _gs_auxcall7 = new Result (Expr.empty); 1577 1580 MV (_gs_auxcall7); 1578 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall7.getExpr (), _c_2 6);1581 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall7.getExpr (), _c_27); 1579 1582 break _block5; 1580 1583 } 1581 if (!_vs_tag.termEquals (_c_4 2, 0))1584 if (!_vs_tag.termEquals (_c_43, 0)) 1582 1585 { 1583 1586 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Module_Item_To_JBC", "Unexpected fail"); … … 1585 1588 Result _gs_auxcall8 = new Result (Expr.empty); 1586 1589 MV (_gs_auxcall8); 1587 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall8.getExpr (), _c_4 6);1590 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall8.getExpr (), _c_47); 1588 1591 Result _gs_auxcall9 = new Result (Expr.empty); 1589 1592 MV (_gs_auxcall9); 1590 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall9.getExpr (), _c_4 3);1593 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall9.getExpr (), _c_44); 1591 1594 } 1592 1595 Result _gs_auxcall10 = new Result (Expr.empty); 1593 1596 MV (_gs_auxcall10); 1594 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMaxs (_gs_auxcall10.getExpr (), _c_1 4, _c_14);1597 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMaxs (_gs_auxcall10.getExpr (), _c_15, _c_15); 1595 1598 Result _gs_auxcall11 = new Result (Expr.empty); 1596 1599 MV (_gs_auxcall11); … … 1659 1662 } 1660 1663 int _v_len__comment = (_v_len25 - _v_len26); 1661 if (!_c_6 5.termEquals (_v_deref__arg14, 0))1664 if (!_c_66.termEquals (_v_deref__arg14, 0)) 1662 1665 { 1663 1666 break _block1__branch4; … … 1699 1702 } 1700 1703 int _v_len___dollar_tmp_m_333_m_17 = (_v_len27 - _v_len28); 1701 if (!_c_6 6.termEquals (_v_deref__qname2, 0))1704 if (!_c_67.termEquals (_v_deref__qname2, 0)) 1702 1705 { 1703 1706 break _block7__branch1; … … 1738 1741 refal.plus.Arithm.Add (_c_10, _gs_auxcall12.getExpr (), _gs_auxcall13); 1739 1742 Result _vs_access = new Result (Expr.empty); 1740 refal.plus.Arithm.Add (_c_3 6, _gs_auxcall13.getExpr (), _vs_access);1743 refal.plus.Arithm.Add (_c_37, _gs_auxcall13.getExpr (), _vs_access); 1741 1744 Result _gs_auxcall14 = new Result (Expr.empty); 1742 1745 CW (_gs_auxcall14); … … 1746 1749 refal.plus.Java.Null (_gs_auxcall16); 1747 1750 Result _vs_fv = new Result (Expr.empty); 1748 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitField (_gs_auxcall14.getExpr (), _vs_access.getExpr (), _vs_name, _c_3 4, _gs_auxcall15.getExpr (), _gs_auxcall16.getExpr (), _vs_fv);1751 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitField (_gs_auxcall14.getExpr (), _vs_access.getExpr (), _vs_name, _c_35, _gs_auxcall15.getExpr (), _gs_auxcall16.getExpr (), _vs_fv); 1749 1752 _block8: { 1750 1753 _block8__branch1: { … … 1755 1758 } 1756 1759 Result _vs_aw = new Result (Expr.empty); 1757 org.refal.plus.wrappers.org.objectweb.asm.FieldVisitor.FVvisitAnnotation (_vs_fv.getExpr (), _c_6 1, _c_62, _vs_aw);1758 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visit (_vs_aw.getExpr (), _c_6 3, _vs_def.getExpr ());1760 org.refal.plus.wrappers.org.objectweb.asm.FieldVisitor.FVvisitAnnotation (_vs_fv.getExpr (), _c_62, _c_63, _vs_aw); 1761 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visit (_vs_aw.getExpr (), _c_64, _vs_def.getExpr ()); 1759 1762 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visitEnd (_vs_aw.getExpr ()); 1760 1763 break _block8; … … 1775 1778 break _block1__branch5; 1776 1779 } 1777 if (!_c_6 7.termEquals (_v_deref__arg15, 0))1780 if (!_c_68.termEquals (_v_deref__arg15, 0)) 1778 1781 { 1779 1782 break _block1__branch5; … … 1819 1822 refal.plus.Arithm.Add (_c_10, _gs_auxcall17.getExpr (), _gs_auxcall18); 1820 1823 Result _vs_access = new Result (Expr.empty); 1821 refal.plus.Arithm.Add (_c_3 6, _gs_auxcall18.getExpr (), _vs_access);1824 refal.plus.Arithm.Add (_c_37, _gs_auxcall18.getExpr (), _vs_access); 1822 1825 Result _gs_auxcall19 = new Result (Expr.empty); 1823 1826 CW (_gs_auxcall19); … … 1827 1830 refal.plus.Java.Null (_gs_auxcall21); 1828 1831 Result _vs_fv = new Result (Expr.empty); 1829 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitField (_gs_auxcall19.getExpr (), _vs_access.getExpr (), _vs_name, _c_3 4, _gs_auxcall20.getExpr (), _gs_auxcall21.getExpr (), _vs_fv);1832 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitField (_gs_auxcall19.getExpr (), _vs_access.getExpr (), _vs_name, _c_35, _gs_auxcall20.getExpr (), _gs_auxcall21.getExpr (), _vs_fv); 1830 1833 _block9: { 1831 1834 _block9__branch1: { … … 1836 1839 } 1837 1840 Result _vs_aw = new Result (Expr.empty); 1838 org.refal.plus.wrappers.org.objectweb.asm.FieldVisitor.FVvisitAnnotation (_vs_fv.getExpr (), _c_6 1, _c_62, _vs_aw);1839 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visit (_vs_aw.getExpr (), _c_6 3, _vs_def.getExpr ());1841 org.refal.plus.wrappers.org.objectweb.asm.FieldVisitor.FVvisitAnnotation (_vs_fv.getExpr (), _c_62, _c_63, _vs_aw); 1842 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visit (_vs_aw.getExpr (), _c_64, _vs_def.getExpr ()); 1840 1843 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visitEnd (_vs_aw.getExpr ()); 1841 1844 break _block9; … … 1856 1859 break _block1__branch6; 1857 1860 } 1858 if (!_c_6 8.termEquals (_v_deref__arg16, 0))1861 if (!_c_69.termEquals (_v_deref__arg16, 0)) 1859 1862 { 1860 1863 break _block1__branch6; … … 1874 1877 break _block1__branch7; 1875 1878 } 1876 if (!_c_ 69.termEquals (_v_deref__arg17, 0))1879 if (!_c_70.termEquals (_v_deref__arg17, 0)) 1877 1880 { 1878 1881 break _block1__branch7; … … 1891 1894 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Module_Item_To_JBC", "Unexpected fail"); 1892 1895 } 1893 if (!_c_7 0.termEquals (_v_deref__arg18, 0))1896 if (!_c_71.termEquals (_v_deref__arg18, 0)) 1894 1897 { 1895 1898 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Module_Item_To_JBC", "Unexpected fail"); … … 1905 1908 { 1906 1909 Result _v_Map1 = new Result (Expr.empty); 1907 if (!refal.plus.List.Map (_c_7 1, Expr.empty, _ve_body, _v_Map1))1910 if (!refal.plus.List.Map (_c_72, Expr.empty, _ve_body, _v_Map1)) 1908 1911 { 1909 1912 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Body_To_JBC", "Unexpected fail"); … … 1946 1949 break _block1__branch1; 1947 1950 } 1948 if (!_c_7 3.termEquals (_v_deref__arg1, 0))1951 if (!_c_74.termEquals (_v_deref__arg1, 0)) 1949 1952 { 1950 1953 break _block1__branch1; 1951 1954 } 1952 if (!_c_7 2.termEquals (_v_deref__deref__arg1, 0))1955 if (!_c_73.termEquals (_v_deref__deref__arg1, 0)) 1953 1956 { 1954 1957 break _block1__branch1; … … 1959 1962 _vt_var = _v_deref__deref__arg1.subexpr ((0 + 1), 1); 1960 1963 Result _vs_i = new Result (Expr.empty); 1961 Bind_Var (_c_7 4, _vt_var, _vs_i);1964 Bind_Var (_c_75, _vt_var, _vs_i); 1962 1965 Expr_Int_To_JBC (_ve_expr); 1963 1966 Result _gs_auxcall1 = new Result (Expr.empty); 1964 1967 MV (_gs_auxcall1); 1965 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall1.getExpr (), _c_7 5, _vs_i.getExpr ());1968 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall1.getExpr (), _c_76, _vs_i.getExpr ()); 1966 1969 break _block1; 1967 1970 } … … 1988 1991 break _block1__branch2; 1989 1992 } 1990 if (!_c_7 6.termEquals (_v_deref__arg12, 0))1993 if (!_c_77.termEquals (_v_deref__arg12, 0)) 1991 1994 { 1992 1995 break _block1__branch2; 1993 1996 } 1994 if (!_c_7 2.termEquals (_v_deref__deref__arg12, 0))1997 if (!_c_73.termEquals (_v_deref__deref__arg12, 0)) 1995 1998 { 1996 1999 break _block1__branch2; … … 2006 2009 Result _gs_auxcall2 = new Result (Expr.empty); 2007 2010 MV (_gs_auxcall2); 2008 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall2.getExpr (), _c_7 5, _vs_i.getExpr ());2011 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall2.getExpr (), _c_76, _vs_i.getExpr ()); 2009 2012 break _block1; 2010 2013 } … … 2022 2025 } 2023 2026 int _v_len__expr3 = (_v_len5 - _v_len6); 2024 if (!_c_7 3.termEquals (_v_deref__arg13, 0))2027 if (!_c_74.termEquals (_v_deref__arg13, 0)) 2025 2028 { 2026 2029 break _block1__branch3; … … 2040 2043 _block2: { 2041 2044 _block2__branch1: { 2042 if (!_vs_type.termEquals (_c_6 4, 0))2045 if (!_vs_type.termEquals (_c_65, 0)) 2043 2046 { 2044 2047 break _block2__branch1; … … 2046 2049 Result _gs_auxcall3 = new Result (Expr.empty); 2047 2050 MV (_gs_auxcall3); 2048 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall3.getExpr (), _c_ 19, _c_20);2051 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall3.getExpr (), _c_20, _c_21); 2049 2052 Result _gs_auxcall4 = new Result (Expr.empty); 2050 2053 MV (_gs_auxcall4); 2051 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall4.getExpr (), _c_2 1);2054 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall4.getExpr (), _c_22); 2052 2055 Expr_Ref_To_JBC (_ve_expr); 2053 2056 Result _gs_auxcall5 = new Result (Expr.empty); 2054 2057 MV (_gs_auxcall5); 2055 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall5.getExpr (), _c_2 2, _c_20, _c_23, _c_77);2058 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall5.getExpr (), _c_23, _c_21, _c_24, _c_78); 2056 2059 Result _gs_auxcall6 = new Result (Expr.empty); 2057 2060 MV (_gs_auxcall6); 2058 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall6.getExpr (), _c_7 8, _vs_i.getExpr ());2061 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall6.getExpr (), _c_79, _vs_i.getExpr ()); 2059 2062 break _block2; 2060 2063 } 2061 if (!_vs_type.termEquals (_c_ 49, 0))2064 if (!_vs_type.termEquals (_c_50, 0)) 2062 2065 { 2063 2066 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Body_Item_To_JBC", "Unexpected fail"); … … 2066 2069 Result _gs_auxcall7 = new Result (Expr.empty); 2067 2070 MV (_gs_auxcall7); 2068 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall7.getExpr (), _c_7 8, _vs_i.getExpr ());2071 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall7.getExpr (), _c_79, _vs_i.getExpr ()); 2069 2072 } 2070 2073 break _block1; … … 2083 2086 } 2084 2087 int _v_len__expr4 = (_v_len7 - _v_len8); 2085 if (!_c_7 6.termEquals (_v_deref__arg14, 0))2088 if (!_c_77.termEquals (_v_deref__arg14, 0)) 2086 2089 { 2087 2090 break _block1__branch4; … … 2096 2099 _block3: { 2097 2100 _block3__branch1: { 2098 if (!_vs_type.getExpr ().termEquals (_c_6 4, 0))2101 if (!_vs_type.getExpr ().termEquals (_c_65, 0)) 2099 2102 { 2100 2103 break _block3__branch1; … … 2102 2105 Result _gs_auxcall8 = new Result (Expr.empty); 2103 2106 MV (_gs_auxcall8); 2104 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall8.getExpr (), _c_1 3, _vs_i.getExpr ());2107 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall8.getExpr (), _c_14, _vs_i.getExpr ()); 2105 2108 Expr_Ref_To_JBC (_ve_expr); 2106 2109 Result _gs_auxcall9 = new Result (Expr.empty); 2107 2110 MV (_gs_auxcall9); 2108 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall9.getExpr (), _c_ 79, _c_20, _c_80, _c_77);2111 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall9.getExpr (), _c_80, _c_21, _c_81, _c_78); 2109 2112 break _block3; 2110 2113 } 2111 if (!_vs_type.getExpr ().termEquals (_c_ 49, 0))2114 if (!_vs_type.getExpr ().termEquals (_c_50, 0)) 2112 2115 { 2113 2116 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Body_Item_To_JBC", "Unexpected fail"); … … 2116 2119 Result _gs_auxcall10 = new Result (Expr.empty); 2117 2120 MV (_gs_auxcall10); 2118 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall10.getExpr (), _c_7 8, _vs_i.getExpr ());2121 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall10.getExpr (), _c_79, _vs_i.getExpr ()); 2119 2122 } 2120 2123 break _block1; … … 2157 2160 } 2158 2161 int _v_len__arg2 = (_v_len13 - _v_len14); 2159 if (!_c_8 1.termEquals (_v_deref__arg15, 0))2162 if (!_c_82.termEquals (_v_deref__arg15, 0)) 2160 2163 { 2161 2164 break _block1__branch5; … … 2181 2184 _block4: { 2182 2185 _block4__branch1: { 2183 if (!_vs_op.termEquals (_c_8 2, 0))2186 if (!_vs_op.termEquals (_c_83, 0)) 2184 2187 { 2185 2188 break _block4__branch1; 2186 2189 } 2187 _gs_op__3 = _c_8 3;2190 _gs_op__3 = _c_84; 2188 2191 break _block4; 2189 2192 } 2190 2193 _block4__branch2: { 2191 if (!_vs_op.termEquals (_c_8 4, 0))2194 if (!_vs_op.termEquals (_c_85, 0)) 2192 2195 { 2193 2196 break _block4__branch2; 2194 2197 } 2195 _gs_op__3 = _c_8 5;2198 _gs_op__3 = _c_86; 2196 2199 break _block4; 2197 2200 } 2198 if (!_vs_op.termEquals (_c_8 6, 0))2201 if (!_vs_op.termEquals (_c_87, 0)) 2199 2202 { 2200 2203 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Body_Item_To_JBC", "Unexpected fail"); 2201 2204 } 2202 _gs_op__3 = _c_8 7;2205 _gs_op__3 = _c_88; 2203 2206 } 2204 2207 Result _gs_auxcall11 = new Result (Expr.empty); … … 2225 2228 } 2226 2229 int _v_len__body2 = (_v_len15 - _v_len16); 2227 if (!_c_8 8.termEquals (_v_deref__arg16, 0))2230 if (!_c_89.termEquals (_v_deref__arg16, 0)) 2228 2231 { 2229 2232 break _block1__branch6; … … 2270 2273 } 2271 2274 int _v_len__min = (_v_len17 - _v_len18); 2272 if (!_c_ 89.termEquals (_v_deref__arg17, 0))2275 if (!_c_90.termEquals (_v_deref__arg17, 0)) 2273 2276 { 2274 2277 break _block1__branch7; … … 2289 2292 Result _gs_auxcall15 = new Result (Expr.empty); 2290 2293 MV (_gs_auxcall15); 2291 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall15.getExpr (), _c_ 79, _c_29, _c_90, _c_91);2294 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall15.getExpr (), _c_80, _c_30, _c_91, _c_92); 2292 2295 Result _gs_auxcall16 = new Result (Expr.empty); 2293 2296 MV (_gs_auxcall16); 2294 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall16.getExpr (), _c_7 8, _vs_i.getExpr ());2297 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall16.getExpr (), _c_79, _vs_i.getExpr ()); 2295 2298 break _block1; 2296 2299 } … … 2317 2320 } 2318 2321 int _v_len__min2 = (_v_len19 - _v_len20); 2319 if (!_c_9 2.termEquals (_v_deref__arg18, 0))2322 if (!_c_93.termEquals (_v_deref__arg18, 0)) 2320 2323 { 2321 2324 break _block1__branch8; … … 2336 2339 Result _gs_auxcall17 = new Result (Expr.empty); 2337 2340 MV (_gs_auxcall17); 2338 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall17.getExpr (), _c_ 79, _c_29, _c_93, _c_91);2341 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall17.getExpr (), _c_80, _c_30, _c_94, _c_92); 2339 2342 Result _gs_auxcall18 = new Result (Expr.empty); 2340 2343 MV (_gs_auxcall18); 2341 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall18.getExpr (), _c_7 8, _vs_i.getExpr ());2344 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall18.getExpr (), _c_79, _vs_i.getExpr ()); 2342 2345 break _block1; 2343 2346 } … … 2391 2394 } 2392 2395 int _v_len__step = (_v_len27 - _v_len28); 2393 if (!_c_9 5.termEquals (_v_deref__arg19, 0))2396 if (!_c_96.termEquals (_v_deref__arg19, 0)) 2394 2397 { 2395 2398 break _block1__branch9; 2396 2399 } 2397 if (!_c_9 4.termEquals (_v_deref__arg19, (0 + 1 + 1 + 1)))2400 if (!_c_95.termEquals (_v_deref__arg19, (0 + 1 + 1 + 1))) 2398 2401 { 2399 2402 break _block1__branch9; … … 2486 2489 _block9: { 2487 2490 _block9__branch1: { 2488 if (!_vs_tag.termEquals (_c_9 6, 0))2491 if (!_vs_tag.termEquals (_c_97, 0)) 2489 2492 { 2490 2493 break _block9__branch1; … … 2492 2495 break _block9; 2493 2496 } 2494 if (!_vs_tag.termEquals (_c_9 7, 0))2497 if (!_vs_tag.termEquals (_c_98, 0)) 2495 2498 { 2496 2499 break _block8__branch1; … … 2522 2525 Result _gs_auxcall20 = new Result (Expr.empty); 2523 2526 MV (_gs_auxcall20); 2524 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall20.getExpr (), _c_1 3, _vs_i);2527 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall20.getExpr (), _c_14, _vs_i); 2525 2528 Result _gs_auxcall21 = new Result (Expr.empty); 2526 2529 MV (_gs_auxcall21); 2527 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall21.getExpr (), _c_2 1);2530 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall21.getExpr (), _c_22); 2528 2531 Result _gs_auxcall22 = new Result (Expr.empty); 2529 2532 MV (_gs_auxcall22); 2530 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall22.getExpr (), _c_ 79, _c_98, _c_99, _c_100);2533 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall22.getExpr (), _c_80, _c_99, _c_100, _c_101); 2531 2534 Result _gs_auxcall23 = new Result (Expr.empty); 2532 2535 MV (_gs_auxcall23); 2533 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall23.getExpr (), _c_7 8, _vs_i1);2536 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall23.getExpr (), _c_79, _vs_i1); 2534 2537 Result _gs_auxcall24 = new Result (Expr.empty); 2535 2538 MV (_gs_auxcall24); 2536 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall24.getExpr (), _c_ 79, _c_98, _c_101, _c_100);2539 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall24.getExpr (), _c_80, _c_99, _c_102, _c_101); 2537 2540 Result _gs_auxcall25 = new Result (Expr.empty); 2538 2541 MV (_gs_auxcall25); 2539 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall25.getExpr (), _c_7 8, _vs_i2);2542 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall25.getExpr (), _c_79, _vs_i2); 2540 2543 break _block8; 2541 2544 } … … 2548 2551 Result _gs_auxcall27 = new Result (Expr.empty); 2549 2552 MV (_gs_auxcall27); 2550 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitJumpInsn (_gs_auxcall27.getExpr (), _c_10 2, _vs_for__label.getExpr ());2553 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitJumpInsn (_gs_auxcall27.getExpr (), _c_103, _vs_for__label.getExpr ()); 2551 2554 Result _gs_auxcall28 = new Result (Expr.empty); 2552 2555 MV (_gs_auxcall28); … … 2577 2580 break _block1__branch10; 2578 2581 } 2579 if (!_c_5 2.termEquals (_v_deref__arg110, 0))2582 if (!_c_53.termEquals (_v_deref__arg110, 0)) 2580 2583 { 2581 2584 break _block1__branch10; … … 2615 2618 _block10: { 2616 2619 _block10__branch1: { 2617 if (!_vs_tag.termEquals (_c_10 3, 0))2620 if (!_vs_tag.termEquals (_c_104, 0)) 2618 2621 { 2619 2622 break _block10__branch1; … … 2621 2624 break _block10; 2622 2625 } 2623 if (!_vs_tag.termEquals (_c_10 4, 0))2626 if (!_vs_tag.termEquals (_c_105, 0)) 2624 2627 { 2625 2628 break _block1__branch11; … … 2630 2633 Result _gs_auxcall31 = new Result (Expr.empty); 2631 2634 Lookup_Label (_vt_label, _gs_auxcall31); 2632 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitJumpInsn (_gs_auxcall30.getExpr (), _c_10 2, _gs_auxcall31.getExpr ());2635 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitJumpInsn (_gs_auxcall30.getExpr (), _c_103, _gs_auxcall31.getExpr ()); 2633 2636 break _block1; 2634 2637 } 2635 2638 _block1__branch12: { 2636 if (!_gt_arg1.termEquals (_c_10 5, 0))2639 if (!_gt_arg1.termEquals (_c_106, 0)) 2637 2640 { 2638 2641 break _block1__branch12; … … 2640 2643 Result _gs_auxcall32 = new Result (Expr.empty); 2641 2644 MV (_gs_auxcall32); 2642 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall32.getExpr (), _c_10 6);2645 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall32.getExpr (), _c_107); 2643 2646 Result _gs_auxcall33 = new Result (Expr.empty); 2644 2647 MV (_gs_auxcall33); 2645 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall33.getExpr (), _c_4 3);2648 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall33.getExpr (), _c_44); 2646 2649 break _block1; 2647 2650 } … … 2659 2662 } 2660 2663 int _v_len__body5 = (_v_len33 - _v_len34); 2661 if (!_c_10 7.termEquals (_v_deref__arg112, 0))2664 if (!_c_108.termEquals (_v_deref__arg112, 0)) 2662 2665 { 2663 2666 break _block1__branch13; … … 2677 2680 Result _gs_auxcall34 = new Result (Expr.empty); 2678 2681 MV (_gs_auxcall34); 2679 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTryCatchBlock (_gs_auxcall34.getExpr (), _vs_start.getExpr (), _vs_end.getExpr (), _vs_handler.getExpr (), _c_4 0);2682 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTryCatchBlock (_gs_auxcall34.getExpr (), _vs_start.getExpr (), _vs_end.getExpr (), _vs_handler.getExpr (), _c_41); 2680 2683 Result _gs_auxcall35 = new Result (Expr.empty); 2681 2684 MV (_gs_auxcall35); … … 2687 2690 Result _gs_auxcall37 = new Result (Expr.empty); 2688 2691 MV (_gs_auxcall37); 2689 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitJumpInsn (_gs_auxcall37.getExpr (), _c_10 2, _vs_real__end.getExpr ());2692 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitJumpInsn (_gs_auxcall37.getExpr (), _c_103, _vs_real__end.getExpr ()); 2690 2693 Pop_Block_Table (); 2691 2694 break _block1; … … 2704 2707 } 2705 2708 int _v_len__body6 = (_v_len35 - _v_len36); 2706 if (!_c_10 8.termEquals (_v_deref__arg113, 0))2709 if (!_c_109.termEquals (_v_deref__arg113, 0)) 2707 2710 { 2708 2711 break _block1__branch14; … … 2718 2721 Result _gs_auxcall39 = new Result (Expr.empty); 2719 2722 MV (_gs_auxcall39); 2720 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall39.getExpr (), _c_ 79, _c_40, _c_109, _c_100);2723 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall39.getExpr (), _c_80, _c_41, _c_110, _c_101); 2721 2724 Result _gs_auxcall40 = new Result (Expr.empty); 2722 2725 MV (_gs_auxcall40); 2723 2726 Result _gs_auxcall41 = new Result (Expr.empty); 2724 Bind_Var (_c_ 49, _vs_label.getExpr (), _gs_auxcall41);2725 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall40.getExpr (), _c_7 8, _gs_auxcall41.getExpr ());2727 Bind_Var (_c_50, _vs_label.getExpr (), _gs_auxcall41); 2728 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall40.getExpr (), _c_79, _gs_auxcall41.getExpr ()); 2726 2729 Body_To_JBC (_ve_body); 2727 2730 Result _gs_auxcall42 = new Result (Expr.empty); … … 2734 2737 } 2735 2738 _block1__branch15: { 2736 if (!_gt_arg1.termEquals (_c_11 0, 0))2739 if (!_gt_arg1.termEquals (_c_111, 0)) 2737 2740 { 2738 2741 break _block1__branch15; … … 2740 2743 Result _gs_auxcall44 = new Result (Expr.empty); 2741 2744 MV (_gs_auxcall44); 2742 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall44.getExpr (), _c_ 19, _c_40);2745 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall44.getExpr (), _c_20, _c_41); 2743 2746 Result _gs_auxcall45 = new Result (Expr.empty); 2744 2747 MV (_gs_auxcall45); 2745 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall45.getExpr (), _c_2 1);2748 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall45.getExpr (), _c_22); 2746 2749 Result _v_Get1 = new Result (Expr.empty); 2747 2750 refal.plus.Box.Get (Refal_Module_Name, _v_Get1); … … 2776 2779 Result _gs_auxcall48 = new Result (Expr.empty); 2777 2780 MV (_gs_auxcall48); 2778 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitLdcInsn (_gs_auxcall48.getExpr (), _c_11 1);2781 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitLdcInsn (_gs_auxcall48.getExpr (), _c_112); 2779 2782 Result _gs_auxcall49 = new Result (Expr.empty); 2780 2783 MV (_gs_auxcall49); 2781 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall49.getExpr (), _c_2 2, _c_40, _c_23, _c_112);2784 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall49.getExpr (), _c_23, _c_41, _c_24, _c_113); 2782 2785 Result _gs_auxcall50 = new Result (Expr.empty); 2783 2786 MV (_gs_auxcall50); 2784 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall50.getExpr (), _c_11 3);2787 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall50.getExpr (), _c_114); 2785 2788 break _block1; 2786 2789 } … … 2798 2801 } 2799 2802 int _v_len__expr6 = (_v_len37 - _v_len38); 2800 if (!_c_11 4.termEquals (_v_deref__arg114, 0))2803 if (!_c_115.termEquals (_v_deref__arg114, 0)) 2801 2804 { 2802 2805 break _block1__branch16; … … 2806 2809 Result _gs_auxcall51 = new Result (Expr.empty); 2807 2810 MV (_gs_auxcall51); 2808 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall51.getExpr (), _c_ 19, _c_40);2811 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall51.getExpr (), _c_20, _c_41); 2809 2812 Result _gs_auxcall52 = new Result (Expr.empty); 2810 2813 MV (_gs_auxcall52); 2811 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall52.getExpr (), _c_2 1);2814 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall52.getExpr (), _c_22); 2812 2815 Expr_Ref_To_JBC (_ve_expr); 2813 2816 Result _gs_auxcall53 = new Result (Expr.empty); 2814 2817 MV (_gs_auxcall53); 2815 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall53.getExpr (), _c_2 2, _c_40, _c_23, _c_77);2818 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall53.getExpr (), _c_23, _c_41, _c_24, _c_78); 2816 2819 Result _gs_auxcall54 = new Result (Expr.empty); 2817 2820 MV (_gs_auxcall54); 2818 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall54.getExpr (), _c_11 3);2821 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall54.getExpr (), _c_114); 2819 2822 break _block1; 2820 2823 } … … 2885 2888 _block11: { 2886 2889 _block11__branch1: { 2887 if (!_vs_call.termEquals (_c_11 5, 0))2890 if (!_vs_call.termEquals (_c_116, 0)) 2888 2891 { 2889 2892 break _block11__branch1; 2890 2893 } 2891 _vs_retType = _c_11 6;2894 _vs_retType = _c_117; 2892 2895 break _block11; 2893 2896 } 2894 2897 _block11__branch2: { 2895 if (!_vs_call.termEquals (_c_11 7, 0))2898 if (!_vs_call.termEquals (_c_118, 0)) 2896 2899 { 2897 2900 break _block11__branch2; 2898 2901 } 2899 _vs_retType = _c_11 6;2902 _vs_retType = _c_117; 2900 2903 break _block11; 2901 2904 } 2902 if (!_vs_call.termEquals (_c_11 8, 0))2905 if (!_vs_call.termEquals (_c_119, 0)) 2903 2906 { 2904 2907 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Body_Item_To_JBC", "Unexpected fail"); 2905 2908 } 2906 _vs_retType = _c_1 19;2909 _vs_retType = _c_120; 2907 2910 } 2908 2911 Result _vs_desc = new Result (Expr.empty); … … 2979 2982 _block14__branch1: { 2980 2983 Expr _v_compose2 = Expr.concat (_v_Lookup__Var1.getExpr (), _v_Lookup__Var2.getExpr ()); 2981 if (!_c_ 49.termEquals (_v_compose2, 0))2984 if (!_c_50.termEquals (_v_compose2, 0)) 2982 2985 { 2983 2986 break _block14__branch1; … … 2993 2996 Result _gs_auxcall55 = new Result (Expr.empty); 2994 2997 MV (_gs_auxcall55); 2995 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall55.getExpr (), _c_ 19, _c_20);2998 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall55.getExpr (), _c_20, _c_21); 2996 2999 Result _gs_auxcall56 = new Result (Expr.empty); 2997 3000 MV (_gs_auxcall56); 2998 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall56.getExpr (), _c_2 1);3001 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall56.getExpr (), _c_22); 2999 3002 Result _gs_auxcall57 = new Result (Expr.empty); 3000 3003 MV (_gs_auxcall57); 3001 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall57.getExpr (), _c_2 1);3004 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall57.getExpr (), _c_22); 3002 3005 Result _gs_auxcall58 = new Result (Expr.empty); 3003 3006 MV (_gs_auxcall58); 3004 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall58.getExpr (), _c_2 2, _c_20, _c_23, _c_24);3007 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall58.getExpr (), _c_23, _c_21, _c_24, _c_25); 3005 3008 Result _gs_auxcall59 = new Result (Expr.empty); 3006 3009 MV (_gs_auxcall59); 3007 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall59.getExpr (), _c_7 8, _vs_j.getExpr ());3010 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall59.getExpr (), _c_79, _vs_j.getExpr ()); 3008 3011 break _block14; 3009 3012 } 3010 3013 Expr _v_compose3 = Expr.concat (_v_Lookup__Var1.getExpr (), _v_Lookup__Var2.getExpr ()); 3011 if (!_c_6 4.termEquals (_v_compose3, 0))3014 if (!_c_65.termEquals (_v_compose3, 0)) 3012 3015 { 3013 3016 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Body_Item_To_JBC", "Unexpected fail"); … … 3021 3024 Result _gs_auxcall60 = new Result (Expr.empty); 3022 3025 MV (_gs_auxcall60); 3023 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall60.getExpr (), _c_1 3, _vs_i);3026 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall60.getExpr (), _c_14, _vs_i); 3024 3027 } 3025 3028 } … … 3061 3064 Result _gs_auxcall65 = new Result (Expr.empty); 3062 3065 GetJBCQName (_ve_module, _vs_name, _gs_auxcall64, _gs_auxcall65); 3063 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall63.getExpr (), _c_1 5, _gs_auxcall64.getExpr (), _gs_auxcall65.getExpr (), _vs_desc.getExpr ());3066 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall63.getExpr (), _c_16, _gs_auxcall64.getExpr (), _gs_auxcall65.getExpr (), _vs_desc.getExpr ()); 3064 3067 _block16: { 3065 3068 _block16__branch1: { 3066 if (!_vs_call.termEquals (_c_11 8, 0))3069 if (!_vs_call.termEquals (_c_119, 0)) 3067 3070 { 3068 3071 break _block16__branch1; … … 3072 3075 Result _gs_auxcall66 = new Result (Expr.empty); 3073 3076 MV (_gs_auxcall66); 3074 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitJumpInsn (_gs_auxcall66.getExpr (), _c_12 0, _vs_label.getExpr ());3077 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitJumpInsn (_gs_auxcall66.getExpr (), _c_121, _vs_label.getExpr ()); 3075 3078 Result _gs_auxcall67 = new Result (Expr.empty); 3076 3079 MV (_gs_auxcall67); 3077 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall67.getExpr (), _c_10 6);3080 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall67.getExpr (), _c_107); 3078 3081 Result _gs_auxcall68 = new Result (Expr.empty); 3079 3082 MV (_gs_auxcall68); 3080 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall68.getExpr (), _c_4 3);3083 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall68.getExpr (), _c_44); 3081 3084 Result _gs_auxcall69 = new Result (Expr.empty); 3082 3085 MV (_gs_auxcall69); … … 3114 3117 Lookup_Var (_vt_var, _v_Lookup__Var3, _v_Lookup__Var4); 3115 3118 Expr _v_compose4 = Expr.concat (_v_Lookup__Var3.getExpr (), _v_Lookup__Var4.getExpr ()); 3116 if (!_c_ 49.termEquals (_v_compose4, 0))3119 if (!_c_50.termEquals (_v_compose4, 0)) 3117 3120 { 3118 3121 continue _continue3; … … 3128 3131 Result _gs_auxcall70 = new Result (Expr.empty); 3129 3132 MV (_gs_auxcall70); 3130 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall70.getExpr (), _c_1 3, _vs_j.getExpr ());3133 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall70.getExpr (), _c_14, _vs_j.getExpr ()); 3131 3134 Result _gs_auxcall71 = new Result (Expr.empty); 3132 3135 MV (_gs_auxcall71); 3133 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall71.getExpr (), _c_ 79, _c_20, _c_109, _c_100);3136 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall71.getExpr (), _c_80, _c_21, _c_110, _c_101); 3134 3137 Result _gs_auxcall72 = new Result (Expr.empty); 3135 3138 MV (_gs_auxcall72); 3136 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall72.getExpr (), _c_7 8, _vs_i);3139 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall72.getExpr (), _c_79, _vs_i); 3137 3140 } 3138 3141 } … … 3153 3156 _block1: { 3154 3157 _block1__branch1: { 3155 if (!_vs_type.termEquals (_c_12 1, 0))3158 if (!_vs_type.termEquals (_c_122, 0)) 3156 3159 { 3157 3160 break _block1__branch1; … … 3159 3162 Result _gs_auxcall1 = new Result (Expr.empty); 3160 3163 MV (_gs_auxcall1); 3161 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall1.getExpr (), _c_ 19, _c_29);3164 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall1.getExpr (), _c_20, _c_30); 3162 3165 Result _gs_auxcall2 = new Result (Expr.empty); 3163 3166 MV (_gs_auxcall2); 3164 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall2.getExpr (), _c_12 2);3167 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall2.getExpr (), _c_123); 3165 3168 Result _gs_auxcall3 = new Result (Expr.empty); 3166 3169 MV (_gs_auxcall3); 3167 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall3.getExpr (), _c_12 3);3170 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall3.getExpr (), _c_124); 3168 3171 Result _gs_auxcall4 = new Result (Expr.empty); 3169 3172 MV (_gs_auxcall4); 3170 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall4.getExpr (), _c_2 2, _c_29, _c_23, _c_32);3173 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall4.getExpr (), _c_23, _c_30, _c_24, _c_33); 3171 3174 break _block1; 3172 3175 } … … 3185 3188 Result _gs_auxcall1 = new Result (Expr.empty); 3186 3189 MV (_gs_auxcall1); 3187 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall1.getExpr (), _c_12 4, _c_29, _c_125, _c_34);3188 _v_res1.assign (_c_ 49);3190 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall1.getExpr (), _c_125, _c_30, _c_126, _c_35); 3191 _v_res1.assign (_c_50); 3189 3192 break _block1; 3190 3193 } … … 3215 3218 _block2: { 3216 3219 _block2__branch1: { 3217 if (!_vs_type1.getExpr ().termEquals (_c_12 1, 0))3220 if (!_vs_type1.getExpr ().termEquals (_c_122, 0)) 3218 3221 { 3219 3222 break _block2__branch1; 3220 3223 } 3221 _gs_type1__3 = _c_12 6;3224 _gs_type1__3 = _c_127; 3222 3225 break _block2; 3223 3226 } 3224 _gs_type1__3 = _c_3 4;3227 _gs_type1__3 = _c_35; 3225 3228 } 3226 3229 Expr _gs_type2__4 = Expr.empty; 3227 3230 _block3: { 3228 3231 _block3__branch1: { 3229 if (!_vs_type2.getExpr ().termEquals (_c_12 1, 0))3232 if (!_vs_type2.getExpr ().termEquals (_c_122, 0)) 3230 3233 { 3231 3234 break _block3__branch1; 3232 3235 } 3233 _gs_type2__4 = _c_12 6;3236 _gs_type2__4 = _c_127; 3234 3237 break _block3; 3235 3238 } 3236 _gs_type2__4 = _c_3 4;3239 _gs_type2__4 = _c_35; 3237 3240 } 3238 3241 Result _vs_concatType = new Result (Expr.empty); 3239 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_12 8).toRight (_gs_type1__3).toRight (_gs_type2__4).toRight (_c_127).yield (), _vs_concatType);3242 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_129).toRight (_gs_type1__3).toRight (_gs_type2__4).toRight (_c_128).yield (), _vs_concatType); 3240 3243 Result _gs_auxcall2 = new Result (Expr.empty); 3241 3244 MV (_gs_auxcall2); 3242 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall2.getExpr (), _c_1 5, _c_29, _c_129, _vs_concatType.getExpr ());3243 _v_res1.assign (_c_ 49);3245 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall2.getExpr (), _c_16, _c_30, _c_130, _vs_concatType.getExpr ()); 3246 _v_res1.assign (_c_50); 3244 3247 break _block1; 3245 3248 } … … 3253 3256 Result _gs_auxcall6 = new Result (Expr.empty); 3254 3257 MV (_gs_auxcall6); 3255 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall6.getExpr (), _c_1 5, _c_29, _c_130, _c_131);3258 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall6.getExpr (), _c_16, _c_30, _c_131, _c_132); 3256 3259 _block4__branch1: { 3257 3260 if (_ge_arg1.length () < 1) … … 3284 3287 _block5: { 3285 3288 _block5__branch1: { 3286 if (!_vs_type.getExpr ().termEquals (_c_12 1, 0))3289 if (!_vs_type.getExpr ().termEquals (_c_122, 0)) 3287 3290 { 3288 3291 break _block5__branch1; 3289 3292 } 3290 _gs_type__5 = _c_12 6;3293 _gs_type__5 = _c_127; 3291 3294 break _block5; 3292 3295 } 3293 _gs_type__5 = _c_3 4;3296 _gs_type__5 = _c_35; 3294 3297 } 3295 3298 Result _vs_toRightType = new Result (Expr.empty); 3296 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_12 8).toRight (_gs_type__5).toRight (_c_132).yield (), _vs_toRightType);3299 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_129).toRight (_gs_type__5).toRight (_c_133).yield (), _vs_toRightType); 3297 3300 Result _gs_auxcall7 = new Result (Expr.empty); 3298 3301 MV (_gs_auxcall7); 3299 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall7.getExpr (), _c_13 3, _c_134, _c_135, _vs_toRightType.getExpr ());3302 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall7.getExpr (), _c_134, _c_135, _c_136, _vs_toRightType.getExpr ()); 3300 3303 } 3301 3304 } 3302 3305 Result _gs_auxcall8 = new Result (Expr.empty); 3303 3306 MV (_gs_auxcall8); 3304 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall8.getExpr (), _c_13 3, _c_134, _c_136, _c_100);3305 _v_res1.assign (_c_ 49);3307 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall8.getExpr (), _c_134, _c_135, _c_137, _c_101); 3308 _v_res1.assign (_c_50); 3306 3309 } 3307 3310 } … … 3324 3327 } 3325 3328 int _v_len__expr = (_v_len1 - _v_len2); 3326 if (!_c_13 7.termEquals (_v_deref__arg1, 0))3329 if (!_c_138.termEquals (_v_deref__arg1, 0)) 3327 3330 { 3328 3331 break _block1__branch1; … … 3331 3334 _ve_expr = _v_deref__arg1.subexpr ((0 + 1), _v_len__expr); 3332 3335 Expr_Ref_To_JBC (_ve_expr); 3333 _v_res1.assign (_c_12 1);3336 _v_res1.assign (_c_122); 3334 3337 break _block1; 3335 3338 } … … 3359 3362 } 3360 3363 int _v_len__pos = (_v_len5 - _v_len6); 3361 if (!_c_13 8.termEquals (_v_deref__arg12, 0))3364 if (!_c_139.termEquals (_v_deref__arg12, 0)) 3362 3365 { 3363 3366 break _block1__branch2; … … 3371 3374 Result _gs_auxcall1 = new Result (Expr.empty); 3372 3375 MV (_gs_auxcall1); 3373 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall1.getExpr (), _c_ 79, _c_29, _c_139, _c_140);3376 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall1.getExpr (), _c_80, _c_30, _c_140, _c_141); 3374 3377 Result _gs_auxcall2 = new Result (Expr.empty); 3375 3378 MV (_gs_auxcall2); 3376 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall2.getExpr (), _c_14 1, _c_29);3377 _v_res1.assign (_c_ 49);3379 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall2.getExpr (), _c_142, _c_30); 3380 _v_res1.assign (_c_50); 3378 3381 break _block1; 3379 3382 } … … 3415 3418 } 3416 3419 int _v_len__len = (_v_len11 - _v_len12); 3417 if (!_c_14 2.termEquals (_v_deref__arg13, 0))3420 if (!_c_143.termEquals (_v_deref__arg13, 0)) 3418 3421 { 3419 3422 break _block1__branch3; … … 3430 3433 Result _gs_auxcall3 = new Result (Expr.empty); 3431 3434 MV (_gs_auxcall3); 3432 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_ 79, _c_29, _c_143, _c_144);3433 _v_res1.assign (_c_ 49);3435 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_80, _c_30, _c_144, _c_145); 3436 _v_res1.assign (_c_50); 3434 3437 break _block1; 3435 3438 } … … 3460 3463 } 3461 3464 int _v_len__module__4 = (_v_len13 - _v_len14); 3462 if (!_c_14 5.termEquals (_v_deref__arg14, 0))3465 if (!_c_146.termEquals (_v_deref__arg14, 0)) 3463 3466 { 3464 3467 break _block2__branch1; … … 3497 3500 } 3498 3501 int _v_len___dollar_tmp_m_613_m_15 = (_v_len15 - _v_len16); 3499 if (!_c_6 6.termEquals (_v_deref__arg15, 0))3502 if (!_c_67.termEquals (_v_deref__arg15, 0)) 3500 3503 { 3501 3504 break _block1__branch4; … … 3513 3516 Result _gs_auxcall7 = new Result (Expr.empty); 3514 3517 GetJBCQName (_ve_module, _vt_name, _gs_auxcall6, _gs_auxcall7); 3515 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall5.getExpr (), _c_12 4, _gs_auxcall6.getExpr (), _gs_auxcall7.getExpr (), _c_34);3516 _v_res1.assign (_c_ 49);3518 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall5.getExpr (), _c_125, _gs_auxcall6.getExpr (), _gs_auxcall7.getExpr (), _c_35); 3519 _v_res1.assign (_c_50); 3517 3520 break _block1; 3518 3521 } 3519 3522 _block1__branch5: { 3520 if (!_gt_arg1.termEquals (_c_14 6, 0))3523 if (!_gt_arg1.termEquals (_c_147, 0)) 3521 3524 { 3522 3525 break _block1__branch5; … … 3525 3528 Get_Trap (_gs_auxcall8); 3526 3529 Var_To_JBC (_gs_auxcall8.getExpr ()); 3527 _v_res1.assign (_c_ 49);3530 _v_res1.assign (_c_50); 3528 3531 break _block1; 3529 3532 } … … 3550 3553 _block3: { 3551 3554 _block3__branch1: { 3552 if (!_vs_var__tag.termEquals (_c_4 8, 0))3555 if (!_vs_var__tag.termEquals (_c_49, 0)) 3553 3556 { 3554 3557 break _block3__branch1; … … 3557 3560 } 3558 3561 _block3__branch2: { 3559 if (!_vs_var__tag.termEquals (_c_14 7, 0))3562 if (!_vs_var__tag.termEquals (_c_148, 0)) 3560 3563 { 3561 3564 break _block3__branch2; … … 3564 3567 } 3565 3568 _block3__branch3: { 3566 if (!_vs_var__tag.termEquals (_c_14 8, 0))3569 if (!_vs_var__tag.termEquals (_c_149, 0)) 3567 3570 { 3568 3571 break _block3__branch3; … … 3571 3574 } 3572 3575 _block3__branch4: { 3573 if (!_vs_var__tag.termEquals (_c_1 49, 0))3576 if (!_vs_var__tag.termEquals (_c_150, 0)) 3574 3577 { 3575 3578 break _block3__branch4; … … 3577 3580 break _block3; 3578 3581 } 3579 if (!_vs_var__tag.termEquals (_c_15 0, 0))3582 if (!_vs_var__tag.termEquals (_c_151, 0)) 3580 3583 { 3581 3584 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Term_Ref_To_JBC_With_Type", "Unexpected fail"); … … 3583 3586 } 3584 3587 Var_To_JBC (_gt_arg1); 3585 _v_res1.assign (_c_ 49);3588 _v_res1.assign (_c_50); 3586 3589 } 3587 3590 } … … 3615 3618 break _block2; 3616 3619 } 3617 throw new RefalException (new Expr ((Comparable<?>) Expr.concat (_c_15 1, _vs_ObjectSymbol)));3620 throw new RefalException (new Expr ((Comparable<?>) Expr.concat (_c_152, _vs_ObjectSymbol))); 3618 3621 } 3619 3622 break _block1; … … 3636 3639 } 3637 3640 int _v_len__x = (_v_len1 - _v_len2); 3638 if (!_c_15 2.termEquals (_v_deref__arg1, 0))3641 if (!_c_153.termEquals (_v_deref__arg1, 0)) 3639 3642 { 3640 3643 break _block1__branch2; … … 3645 3648 Result _gs_auxcall3 = new Result (Expr.empty); 3646 3649 MV (_gs_auxcall3); 3647 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_ 79, _c_29, _c_153, _c_154);3650 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_80, _c_30, _c_154, _c_155); 3648 3651 break _block1; 3649 3652 } … … 3699 3702 _block3: { 3700 3703 _block3__branch1: { 3701 if (!_vs_tag.termEquals (_c_15 5, 0))3704 if (!_vs_tag.termEquals (_c_156, 0)) 3702 3705 { 3703 3706 break _block3__branch1; 3704 3707 } 3705 _vs_fn = _c_15 6;3708 _vs_fn = _c_157; 3706 3709 break _block3; 3707 3710 } 3708 if (!_vs_tag.termEquals (_c_15 7, 0))3711 if (!_vs_tag.termEquals (_c_158, 0)) 3709 3712 { 3710 3713 break _block1__branch3; 3711 3714 } 3712 _vs_fn = _c_15 8;3715 _vs_fn = _c_159; 3713 3716 } 3714 3717 Expr_Int_To_JBC (_ve_x); … … 3716 3719 Result _gs_auxcall4 = new Result (Expr.empty); 3717 3720 MV (_gs_auxcall4); 3718 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall4.getExpr (), _c_1 5, _c_159, _vs_fn, _c_160);3721 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall4.getExpr (), _c_16, _c_160, _vs_fn, _c_161); 3719 3722 break _block1; 3720 3723 } … … 3736 3739 } 3737 3740 int _v_len__args = (_v_len7 - _v_len8); 3738 if (!_c_16 1.termEquals (_v_deref__arg13, 0))3741 if (!_c_162.termEquals (_v_deref__arg13, 0)) 3739 3742 { 3740 3743 break _block1__branch4; … … 3748 3751 Expr _ve_args = Expr.empty; 3749 3752 _ve_args = _v_deref__arg13.subexpr ((0 + 1 + 1), _v_len__args); 3750 Infix_To_JBC (_c_16 2, _vs_op, _ve_args);3753 Infix_To_JBC (_c_163, _vs_op, _ve_args); 3751 3754 break _block1; 3752 3755 } … … 3765 3768 break _block1__branch5; 3766 3769 } 3767 if (!_c_7 2.termEquals (_v_deref__arg14, 0))3770 if (!_c_73.termEquals (_v_deref__arg14, 0)) 3768 3771 { 3769 3772 break _block1__branch5; … … 3776 3779 Result _ge_auxcall5 = new Result (Expr.empty); 3777 3780 refal.plus.List.Paren (_ge_arg1, _ge_auxcall5); 3778 Infix_To_JBC (_c_16 2, _c_163, _ge_auxcall5.getExpr ());3781 Infix_To_JBC (_c_163, _c_164, _ge_auxcall5.getExpr ()); 3779 3782 } 3780 3783 } … … 3822 3825 _block1: { 3823 3826 _block1__branch1: { 3824 if (!_vs_op.termEquals (_c_16 3, 0))3827 if (!_vs_op.termEquals (_c_164, 0)) 3825 3828 { 3826 3829 break _block1__branch1; 3827 3830 } 3828 _vs_jbcop = _c_16 4;3831 _vs_jbcop = _c_165; 3829 3832 break _block1; 3830 3833 } 3831 3834 _block1__branch2: { 3832 if (!_vs_op.termEquals (_c_16 5, 0))3835 if (!_vs_op.termEquals (_c_166, 0)) 3833 3836 { 3834 3837 break _block1__branch2; 3835 3838 } 3836 _vs_jbcop = _c_16 6;3839 _vs_jbcop = _c_167; 3837 3840 break _block1; 3838 3841 } 3839 3842 _block1__branch3: { 3840 if (!_vs_op.termEquals (_c_16 7, 0))3843 if (!_vs_op.termEquals (_c_168, 0)) 3841 3844 { 3842 3845 break _block1__branch3; 3843 3846 } 3844 _vs_jbcop = _c_16 8;3847 _vs_jbcop = _c_169; 3845 3848 break _block1; 3846 3849 } 3847 3850 _block1__branch4: { 3848 if (!_vs_op.termEquals (_c_1 69, 0))3851 if (!_vs_op.termEquals (_c_170, 0)) 3849 3852 { 3850 3853 break _block1__branch4; 3851 3854 } 3852 _vs_jbcop = _c_17 0;3853 break _block1; 3854 } 3855 if (!_vs_op.termEquals (_c_17 1, 0))3855 _vs_jbcop = _c_171; 3856 break _block1; 3857 } 3858 if (!_vs_op.termEquals (_c_172, 0)) 3856 3859 { 3857 3860 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Infix_To_JBC", "Unexpected fail"); 3858 3861 } 3859 _vs_jbcop = _c_17 2;3862 _vs_jbcop = _c_173; 3860 3863 } 3861 3864 Result _v_Apply1 = new Result (Expr.empty); … … 3990 3993 } 3991 3994 int _v_len__ress = (_v_len5 - _v_len6); 3992 if (!_c_17 3.termEquals (_v_deref__arg1, 0))3995 if (!_c_174.termEquals (_v_deref__arg1, 0)) 3993 3996 { 3994 3997 break _block1__branch1; 3995 3998 } 3996 if (!_c_11 5.termEquals (_v_deref__deref__arg1, 0))3999 if (!_c_116.termEquals (_v_deref__deref__arg1, 0)) 3997 4000 { 3998 4001 break _block1__branch1; … … 4011 4014 _ve_ress = _v_deref__deref__deref__arg13.subexpr (0, _v_len__ress); 4012 4015 Result _vs_desc = new Result (Expr.empty); 4013 Function_Description (_ve_args, _ve_ress, _c_1 19, _vs_desc);4016 Function_Description (_ve_args, _ve_ress, _c_120, _vs_desc); 4014 4017 _block2__branch1: { 4015 4018 if (_v_len__args < 1) … … 4083 4086 _block4__branch1: { 4084 4087 Expr _v_compose1 = Expr.concat (_v_Lookup__Var1.getExpr (), _v_Lookup__Var2.getExpr ()); 4085 if (!_c_ 49.termEquals (_v_compose1, 0))4088 if (!_c_50.termEquals (_v_compose1, 0)) 4086 4089 { 4087 4090 break _block4__branch1; … … 4097 4100 Result _gs_auxcall1 = new Result (Expr.empty); 4098 4101 MV (_gs_auxcall1); 4099 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall1.getExpr (), _c_ 19, _c_20);4102 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall1.getExpr (), _c_20, _c_21); 4100 4103 Result _gs_auxcall2 = new Result (Expr.empty); 4101 4104 MV (_gs_auxcall2); 4102 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall2.getExpr (), _c_2 1);4105 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall2.getExpr (), _c_22); 4103 4106 Result _gs_auxcall3 = new Result (Expr.empty); 4104 4107 MV (_gs_auxcall3); 4105 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall3.getExpr (), _c_2 1);4108 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall3.getExpr (), _c_22); 4106 4109 Result _gs_auxcall4 = new Result (Expr.empty); 4107 4110 MV (_gs_auxcall4); 4108 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall4.getExpr (), _c_2 2, _c_20, _c_23, _c_24);4111 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall4.getExpr (), _c_23, _c_21, _c_24, _c_25); 4109 4112 Result _gs_auxcall5 = new Result (Expr.empty); 4110 4113 MV (_gs_auxcall5); 4111 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall5.getExpr (), _c_7 8, _vs_j.getExpr ());4114 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall5.getExpr (), _c_79, _vs_j.getExpr ()); 4112 4115 break _block4; 4113 4116 } 4114 4117 Expr _v_compose2 = Expr.concat (_v_Lookup__Var1.getExpr (), _v_Lookup__Var2.getExpr ()); 4115 if (!_c_6 4.termEquals (_v_compose2, 0))4118 if (!_c_65.termEquals (_v_compose2, 0)) 4116 4119 { 4117 4120 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Cond_To_JBC", "Unexpected fail"); … … 4125 4128 Result _gs_auxcall6 = new Result (Expr.empty); 4126 4129 MV (_gs_auxcall6); 4127 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall6.getExpr (), _c_1 3, _vs_i);4130 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall6.getExpr (), _c_14, _vs_i); 4128 4131 } 4129 4132 } … … 4165 4168 Result _gs_auxcall11 = new Result (Expr.empty); 4166 4169 GetJBCQName (_ve_module, _vs_name, _gs_auxcall10, _gs_auxcall11); 4167 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall9.getExpr (), _c_1 5, _gs_auxcall10.getExpr (), _gs_auxcall11.getExpr (), _vs_desc.getExpr ());4170 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall9.getExpr (), _c_16, _gs_auxcall10.getExpr (), _gs_auxcall11.getExpr (), _vs_desc.getExpr ()); 4168 4171 _block6__branch1: { 4169 4172 if (_v_len__ress < 1) … … 4195 4198 Lookup_Var (_vt_var, _v_Lookup__Var3, _v_Lookup__Var4); 4196 4199 Expr _v_compose3 = Expr.concat (_v_Lookup__Var3.getExpr (), _v_Lookup__Var4.getExpr ()); 4197 if (!_c_ 49.termEquals (_v_compose3, 0))4200 if (!_c_50.termEquals (_v_compose3, 0)) 4198 4201 { 4199 4202 continue _continue3; … … 4209 4212 Result _gs_auxcall12 = new Result (Expr.empty); 4210 4213 MV (_gs_auxcall12); 4211 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall12.getExpr (), _c_1 3, _vs_j.getExpr ());4214 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall12.getExpr (), _c_14, _vs_j.getExpr ()); 4212 4215 Result _gs_auxcall13 = new Result (Expr.empty); 4213 4216 MV (_gs_auxcall13); 4214 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall13.getExpr (), _c_ 79, _c_20, _c_109, _c_100);4217 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall13.getExpr (), _c_80, _c_21, _c_110, _c_101); 4215 4218 Result _gs_auxcall14 = new Result (Expr.empty); 4216 4219 MV (_gs_auxcall14); 4217 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall14.getExpr (), _c_7 8, _vs_i);4218 } 4219 } 4220 _v_res1.assign (_c_12 0);4220 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall14.getExpr (), _c_79, _vs_i); 4221 } 4222 } 4223 _v_res1.assign (_c_121); 4221 4224 break _block1; 4222 4225 } … … 4234 4237 } 4235 4238 int _v_len__expr = (_v_len17 - _v_len18); 4236 if (!_c_17 4.termEquals (_v_deref__arg12, 0))4239 if (!_c_175.termEquals (_v_deref__arg12, 0)) 4237 4240 { 4238 4241 break _block1__branch2; … … 4246 4249 Result _gs_auxcall15 = new Result (Expr.empty); 4247 4250 MV (_gs_auxcall15); 4248 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall15.getExpr (), _c_1 3, _vs_i.getExpr ());4251 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall15.getExpr (), _c_14, _vs_i.getExpr ()); 4249 4252 Result _gs_auxcall16 = new Result (Expr.empty); 4250 4253 MV (_gs_auxcall16); 4251 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall16.getExpr (), _c_ 79, _c_98, _c_175, _c_176);4252 _v_res1.assign (_c_12 0);4254 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall16.getExpr (), _c_80, _c_99, _c_176, _c_177); 4255 _v_res1.assign (_c_121); 4253 4256 break _block1; 4254 4257 } … … 4278 4281 } 4279 4282 int _v_len__pos = (_v_len21 - _v_len22); 4280 if (!_c_17 7.termEquals (_v_deref__arg13, 0))4283 if (!_c_178.termEquals (_v_deref__arg13, 0)) 4281 4284 { 4282 4285 break _block1__branch3; … … 4290 4293 Result _gs_auxcall17 = new Result (Expr.empty); 4291 4294 MV (_gs_auxcall17); 4292 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall17.getExpr (), _c_ 79, _c_29, _c_178, _c_179);4293 _v_res1.assign (_c_18 0);4295 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall17.getExpr (), _c_80, _c_30, _c_179, _c_180); 4296 _v_res1.assign (_c_181); 4294 4297 break _block1; 4295 4298 } … … 4331 4334 } 4332 4335 int _v_len__pos2 = (_v_len27 - _v_len28); 4333 if (!_c_18 1.termEquals (_v_deref__arg14, 0))4336 if (!_c_182.termEquals (_v_deref__arg14, 0)) 4334 4337 { 4335 4338 break _block1__branch4; … … 4346 4349 Result _gs_auxcall18 = new Result (Expr.empty); 4347 4350 MV (_gs_auxcall18); 4348 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall18.getExpr (), _c_ 79, _c_29, _c_182, _c_183);4349 _v_res1.assign (_c_18 0);4351 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall18.getExpr (), _c_80, _c_30, _c_183, _c_184); 4352 _v_res1.assign (_c_181); 4350 4353 break _block1; 4351 4354 } … … 4387 4390 } 4388 4391 int _v_len__pos3 = (_v_len33 - _v_len34); 4389 if (!_c_18 4.termEquals (_v_deref__arg15, 0))4392 if (!_c_185.termEquals (_v_deref__arg15, 0)) 4390 4393 { 4391 4394 break _block1__branch5; … … 4402 4405 Result _gs_auxcall19 = new Result (Expr.empty); 4403 4406 MV (_gs_auxcall19); 4404 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall19.getExpr (), _c_ 79, _c_29, _c_185, _c_183);4405 _v_res1.assign (_c_18 0);4407 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall19.getExpr (), _c_80, _c_30, _c_186, _c_184); 4408 _v_res1.assign (_c_181); 4406 4409 break _block1; 4407 4410 } … … 4415 4418 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Cond_To_JBC", "Unexpected fail"); 4416 4419 } 4417 if (!_c_18 6.termEquals (_v_deref__arg16, 0))4420 if (!_c_187.termEquals (_v_deref__arg16, 0)) 4418 4421 { 4419 4422 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Cond_To_JBC", "Unexpected fail"); … … 4429 4432 break _block7__branch1; 4430 4433 } 4431 _v_res1.assign (_c_12 0);4434 _v_res1.assign (_c_121); 4432 4435 break _block7; 4433 4436 } … … 4436 4439 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Cond_To_JBC", "Unexpected fail"); 4437 4440 } 4438 _v_res1.assign (_c_18 0);4441 _v_res1.assign (_c_181); 4439 4442 } 4440 4443 } … … 4479 4482 _block2: { 4480 4483 _block2__branch1: { 4481 if (!_vs_tag.termEquals (_c_9 6, 0))4484 if (!_vs_tag.termEquals (_c_97, 0)) 4482 4485 { 4483 4486 break _block2__branch1; 4484 4487 } 4485 _vs_m = _c_18 7;4488 _vs_m = _c_188; 4486 4489 break _block2; 4487 4490 } 4488 if (!_vs_tag.termEquals (_c_9 7, 0))4491 if (!_vs_tag.termEquals (_c_98, 0)) 4489 4492 { 4490 4493 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Step_To_JBC", "Unexpected fail"); 4491 4494 } 4492 _vs_m = _c_18 8;4495 _vs_m = _c_189; 4493 4496 } 4494 4497 Result _vs_i = new Result (Expr.empty); … … 4498 4501 Result _gs_auxcall1 = new Result (Expr.empty); 4499 4502 MV (_gs_auxcall1); 4500 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall1.getExpr (), _c_1 3, _vs_i.getExpr ());4503 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall1.getExpr (), _c_14, _vs_i.getExpr ()); 4501 4504 Result _gs_auxcall2 = new Result (Expr.empty); 4502 4505 MV (_gs_auxcall2); 4503 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall2.getExpr (), _c_ 79, _c_98, _vs_m, _c_189);4506 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall2.getExpr (), _c_80, _c_99, _vs_m, _c_190); 4504 4507 Result _gs_auxcall3 = new Result (Expr.empty); 4505 4508 MV (_gs_auxcall3); 4506 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall3.getExpr (), _c_19 0);4509 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall3.getExpr (), _c_191); 4507 4510 } 4508 4511 } … … 4519 4522 Result _gs_auxcall1 = new Result (Expr.empty); 4520 4523 MV (_gs_auxcall1); 4521 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall1.getExpr (), _c_12 4, _c_29, _c_125, _c_34);4524 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall1.getExpr (), _c_125, _c_30, _c_126, _c_35); 4522 4525 break _block1; 4523 4526 } … … 4536 4539 break _block1__branch2; 4537 4540 } 4538 if (!_c_14 2.termEquals (_v_deref__arg1, 0))4541 if (!_c_143.termEquals (_v_deref__arg1, 0)) 4539 4542 { 4540 4543 break _block1__branch2; … … 4579 4582 } 4580 4583 int _v_len__module__4 = (_v_len1 - _v_len2); 4581 if (!_c_14 5.termEquals (_v_deref__name, 0))4584 if (!_c_146.termEquals (_v_deref__name, 0)) 4582 4585 { 4583 4586 break _block2__branch1; … … 4616 4619 } 4617 4620 int _v_len___dollar_tmp_m_754_m_17 = (_v_len3 - _v_len4); 4618 if (!_c_6 6.termEquals (_v_deref__name2, 0))4621 if (!_c_67.termEquals (_v_deref__name2, 0)) 4619 4622 { 4620 4623 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Const_Expr_To_JBC", "Unexpected fail"); … … 4632 4635 Result _gs_auxcall5 = new Result (Expr.empty); 4633 4636 GetJBCQName (_ve_module, _gt_name__3, _gs_auxcall4, _gs_auxcall5); 4634 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall3.getExpr (), _c_12 4, _gs_auxcall4.getExpr (), _gs_auxcall5.getExpr (), _c_34);4637 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall3.getExpr (), _c_125, _gs_auxcall4.getExpr (), _gs_auxcall5.getExpr (), _c_35); 4635 4638 Result _gs_auxcall6 = new Result (Expr.empty); 4636 4639 MV (_gs_auxcall6); … … 4645 4648 Result _gs_auxcall10 = new Result (Expr.empty); 4646 4649 MV (_gs_auxcall10); 4647 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall10.getExpr (), _c_ 79, _c_29, _c_143, _c_144);4650 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall10.getExpr (), _c_80, _c_30, _c_144, _c_145); 4648 4651 break _block1; 4649 4652 } … … 4659 4662 Result _gs_auxcall14 = new Result (Expr.empty); 4660 4663 MV (_gs_auxcall14); 4661 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall14.getExpr (), _c_1 5, _c_29, _c_130, _c_131);4664 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall14.getExpr (), _c_16, _c_30, _c_131, _c_132); 4662 4665 _block3__branch1: { 4663 4666 if (_ge_arg1__2.getExpr ().length () < 1) … … 4688 4691 Result _gs_auxcall15 = new Result (Expr.empty); 4689 4692 MV (_gs_auxcall15); 4690 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall15.getExpr (), _c_13 3, _c_134, _c_135, _c_191);4693 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall15.getExpr (), _c_134, _c_135, _c_136, _c_192); 4691 4694 } 4692 4695 } 4693 4696 Result _gs_auxcall16 = new Result (Expr.empty); 4694 4697 MV (_gs_auxcall16); 4695 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall16.getExpr (), _c_13 3, _c_134, _c_136, _c_100);4698 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall16.getExpr (), _c_134, _c_135, _c_137, _c_101); 4696 4699 } 4697 4700 } … … 4702 4705 Expr _ve_chars = Expr.empty; 4703 4706 Expr _ge_expr__0 = _ve_expr; 4704 Expr _vs_flag = _c_19 2;4707 Expr _vs_flag = _c_193; 4705 4708 _exit__iter1: for ( ; ; ) 4706 4709 { 4707 4710 _iter1: { 4708 if (!_vs_flag.termEquals (_c_19 3, 0))4711 if (!_vs_flag.termEquals (_c_194, 0)) 4709 4712 { 4710 4713 break _iter1; … … 4737 4740 _ve_chars = Expr.concat (_ve_chars, _vs_sym); 4738 4741 _ge_expr__0 = _ve_rest; 4739 _vs_flag = _c_19 2;4742 _vs_flag = _c_193; 4740 4743 break _block1; 4741 4744 } 4742 _vs_flag = _c_19 3;4745 _vs_flag = _c_194; 4743 4746 } 4744 4747 } … … 4774 4777 Expr _vv__dollar_tmp_m_797_m_20 = Expr.empty; 4775 4778 _vv__dollar_tmp_m_797_m_20 = _ve_chars.getExpr ().subexpr (0, _v_len___dollar_tmp_m_797_m_20); 4776 _ve_res = Expr.concat (_ve_res, (Comparable<?>) Expr.concat (_c_19 4, _ve_chars.getExpr ()));4779 _ve_res = Expr.concat (_ve_res, (Comparable<?>) Expr.concat (_c_195, _ve_chars.getExpr ())); 4777 4780 _ge_expr__0 = _ge_expr__0__2.getExpr (); 4778 4781 break _block2; … … 4812 4815 } 4813 4816 int _v_len__chars = (_v_len1 - _v_len2); 4814 if (!_c_19 4.termEquals (_v_deref__arg1, 0))4817 if (!_c_195.termEquals (_v_deref__arg1, 0)) 4815 4818 { 4816 4819 break _block1__branch1; … … 4825 4828 Result _gs_auxcall3 = new Result (Expr.empty); 4826 4829 MV (_gs_auxcall3); 4827 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_1 5, _c_29, _c_195, _c_196);4830 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_16, _c_30, _c_196, _c_197); 4828 4831 break _block1; 4829 4832 } … … 4841 4844 } 4842 4845 int _v_len__expr = (_v_len3 - _v_len4); 4843 if (!_c_13 7.termEquals (_v_deref__arg12, 0))4846 if (!_c_138.termEquals (_v_deref__arg12, 0)) 4844 4847 { 4845 4848 break _block1__branch2; … … 4849 4852 Result _gs_auxcall4 = new Result (Expr.empty); 4850 4853 MV (_gs_auxcall4); 4851 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall4.getExpr (), _c_ 19, _c_29);4854 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall4.getExpr (), _c_20, _c_30); 4852 4855 Result _gs_auxcall5 = new Result (Expr.empty); 4853 4856 MV (_gs_auxcall5); 4854 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall5.getExpr (), _c_2 1);4857 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall5.getExpr (), _c_22); 4855 4858 Const_Expr_To_JBC (_ve_expr); 4856 4859 Result _gs_auxcall6 = new Result (Expr.empty); 4857 4860 MV (_gs_auxcall6); 4858 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall6.getExpr (), _c_2 2, _c_29, _c_23, _c_32);4861 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall6.getExpr (), _c_23, _c_30, _c_24, _c_33); 4859 4862 break _block1; 4860 4863 } … … 4885 4888 } 4886 4889 int _v_len__module__4 = (_v_len5 - _v_len6); 4887 if (!_c_14 5.termEquals (_v_deref__arg13, 0))4890 if (!_c_146.termEquals (_v_deref__arg13, 0)) 4888 4891 { 4889 4892 break _block2__branch1; … … 4922 4925 } 4923 4926 int _v_len___dollar_tmp_m_814_m_15 = (_v_len7 - _v_len8); 4924 if (!_c_6 6.termEquals (_v_deref__arg14, 0))4927 if (!_c_67.termEquals (_v_deref__arg14, 0)) 4925 4928 { 4926 4929 break _block1__branch3; … … 4938 4941 Result _gs_auxcall10 = new Result (Expr.empty); 4939 4942 GetJBCQName (_ve_module, _vt_name, _gs_auxcall9, _gs_auxcall10); 4940 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall8.getExpr (), _c_12 4, _gs_auxcall9.getExpr (), _gs_auxcall10.getExpr (), _c_34);4943 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitFieldInsn (_gs_auxcall8.getExpr (), _c_125, _gs_auxcall9.getExpr (), _gs_auxcall10.getExpr (), _c_35); 4941 4944 break _block1; 4942 4945 } … … 4979 4982 _block3: { 4980 4983 _block3__branch1: { 4981 if (!_vs_func.termEquals (_c_4 4, 0))4984 if (!_vs_func.termEquals (_c_45, 0)) 4982 4985 { 4983 4986 break _block3__branch1; … … 4985 4988 break _block3; 4986 4989 } 4987 if (!_vs_func.termEquals (_c_4 2, 0))4990 if (!_vs_func.termEquals (_c_43, 0)) 4988 4991 { 4989 4992 break _block1__branch4; … … 4997 5000 refal.plus.Access.Length (_ge_auxcall12.getExpr (), _gs_auxcall13); 4998 5001 Result _vs_cl__name = new Result (Expr.empty); 4999 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_ge_auxcall11.getExpr ()).toRight (_c_3 5).toRight (_gs_auxcall13.getExpr ()).yield (), _vs_cl__name);5002 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_ge_auxcall11.getExpr ()).toRight (_c_36).toRight (_gs_auxcall13.getExpr ()).yield (), _vs_cl__name); 5000 5003 Result _ge_auxcall14 = new Result (Expr.empty); 5001 5004 refal.plus.Box.Get (Func_Refs, _ge_auxcall14); … … 5008 5011 Result _gs_auxcall18 = new Result (Expr.empty); 5009 5012 MV (_gs_auxcall18); 5010 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall18.getExpr (), _c_ 19, _c_29);5013 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall18.getExpr (), _c_20, _c_30); 5011 5014 Result _gs_auxcall19 = new Result (Expr.empty); 5012 5015 MV (_gs_auxcall19); 5013 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall19.getExpr (), _c_2 1);5016 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall19.getExpr (), _c_22); 5014 5017 Result _gs_auxcall20 = new Result (Expr.empty); 5015 5018 MV (_gs_auxcall20); 5016 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall20.getExpr (), _c_ 19, _vs_cl__name.getExpr ());5019 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall20.getExpr (), _c_20, _vs_cl__name.getExpr ()); 5017 5020 Result _gs_auxcall21 = new Result (Expr.empty); 5018 5021 MV (_gs_auxcall21); 5019 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall21.getExpr (), _c_2 1);5022 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall21.getExpr (), _c_22); 5020 5023 Result _gs_auxcall22 = new Result (Expr.empty); 5021 5024 MV (_gs_auxcall22); 5022 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall22.getExpr (), _c_2 2, _vs_cl__name.getExpr (), _c_23, _c_24);5025 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall22.getExpr (), _c_23, _vs_cl__name.getExpr (), _c_24, _c_25); 5023 5026 Result _gs_auxcall23 = new Result (Expr.empty); 5024 5027 MV (_gs_auxcall23); 5025 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall23.getExpr (), _c_2 2, _c_29, _c_23, _c_32);5028 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall23.getExpr (), _c_23, _c_30, _c_24, _c_33); 5026 5029 break _block1; 5027 5030 } … … 5039 5042 break _block4__branch1; 5040 5043 } 5041 _vs_meth = _c_19 7;5044 _vs_meth = _c_198; 5042 5045 break _block4; 5043 5046 } … … 5046 5049 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Const_Term_To_JBC", "Unexpected fail"); 5047 5050 } 5048 _vs_meth = _c_19 8;5051 _vs_meth = _c_199; 5049 5052 } 5050 5053 Result _gs_auxcall24 = new Result (Expr.empty); 5051 5054 MV (_gs_auxcall24); 5052 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall24.getExpr (), _c_ 19, _c_29);5055 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall24.getExpr (), _c_20, _c_30); 5053 5056 Result _gs_auxcall25 = new Result (Expr.empty); 5054 5057 MV (_gs_auxcall25); 5055 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall25.getExpr (), _c_2 1);5058 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall25.getExpr (), _c_22); 5056 5059 Result _gs_auxcall26 = new Result (Expr.empty); 5057 5060 MV (_gs_auxcall26); … … 5061 5064 Result _gs_auxcall28 = new Result (Expr.empty); 5062 5065 MV (_gs_auxcall28); 5063 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall28.getExpr (), _c_1 5, _c_30, _vs_meth, _c_31);5066 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall28.getExpr (), _c_16, _c_31, _vs_meth, _c_32); 5064 5067 Result _gs_auxcall29 = new Result (Expr.empty); 5065 5068 MV (_gs_auxcall29); 5066 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall29.getExpr (), _c_2 2, _c_29, _c_23, _c_32);5069 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall29.getExpr (), _c_23, _c_30, _c_24, _c_33); 5067 5070 } 5068 5071 } … … 5076 5079 _block1: { 5077 5080 _block1__branch1: { 5078 if (!_vs_type.getExpr ().termEquals (_c_6 4, 0))5081 if (!_vs_type.getExpr ().termEquals (_c_65, 0)) 5079 5082 { 5080 5083 break _block1__branch1; … … 5082 5085 Result _gs_auxcall1 = new Result (Expr.empty); 5083 5086 MV (_gs_auxcall1); 5084 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall1.getExpr (), _c_1 3, _vs_i.getExpr ());5087 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall1.getExpr (), _c_14, _vs_i.getExpr ()); 5085 5088 Result _gs_auxcall2 = new Result (Expr.empty); 5086 5089 MV (_gs_auxcall2); 5087 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall2.getExpr (), _c_ 79, _c_20, _c_109, _c_100);5090 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall2.getExpr (), _c_80, _c_21, _c_110, _c_101); 5088 5091 break _block1; 5089 5092 } 5090 5093 _block1__branch2: { 5091 if (!_vs_type.getExpr ().termEquals (_c_ 49, 0))5094 if (!_vs_type.getExpr ().termEquals (_c_50, 0)) 5092 5095 { 5093 5096 break _block1__branch2; … … 5095 5098 Result _gs_auxcall3 = new Result (Expr.empty); 5096 5099 MV (_gs_auxcall3); 5097 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall3.getExpr (), _c_1 3, _vs_i.getExpr ());5098 break _block1; 5099 } 5100 if (!_vs_type.getExpr ().termEquals (_c_7 4, 0))5100 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall3.getExpr (), _c_14, _vs_i.getExpr ()); 5101 break _block1; 5102 } 5103 if (!_vs_type.getExpr ().termEquals (_c_75, 0)) 5101 5104 { 5102 5105 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "Var_To_JBC", "Unexpected fail"); … … 5104 5107 Result _gs_auxcall4 = new Result (Expr.empty); 5105 5108 MV (_gs_auxcall4); 5106 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall4.getExpr (), _c_ 199, _vs_i.getExpr ());5109 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall4.getExpr (), _c_200, _vs_i.getExpr ()); 5107 5110 } 5108 5111 } … … 5113 5116 _block1: { 5114 5117 _block1__branch1: { 5115 if (!_gs_arg1.termEquals (_c_20 0, 0))5118 if (!_gs_arg1.termEquals (_c_201, 0)) 5116 5119 { 5117 5120 break _block1__branch1; … … 5120 5123 break _block1; 5121 5124 } 5122 _v_res1.assign (_c_1 4);5125 _v_res1.assign (_c_15); 5123 5126 } 5124 5127 } … … 5129 5132 Result _gs_auxcall1 = new Result (Expr.empty); 5130 5133 MV (_gs_auxcall1); 5131 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall1.getExpr (), _c_1 3, _vs_num);5134 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall1.getExpr (), _c_14, _vs_num); 5132 5135 Result _v_L1 = new Result (Expr.empty); 5133 5136 if (!refal.plus.Access.L (_vs_num, _ve_rfArgTypes, _v_L1)) … … 5149 5152 } 5150 5153 int _v_len___dollar_tmp_m_859_m_12 = (_v_len1 - _v_len2); 5151 if (!_c_14 7.termEquals (_v_deref__L1, 0))5154 if (!_c_148.termEquals (_v_deref__L1, 0)) 5152 5155 { 5153 5156 break _block1__branch1; … … 5157 5160 Result _gs_auxcall2 = new Result (Expr.empty); 5158 5161 MV (_gs_auxcall2); 5159 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall2.getExpr (), _c_10 6);5162 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall2.getExpr (), _c_107); 5160 5163 Result _gs_auxcall3 = new Result (Expr.empty); 5161 5164 MV (_gs_auxcall3); 5162 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_ 79, _c_29, _c_139, _c_140);5165 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_80, _c_30, _c_140, _c_141); 5163 5166 _block2: { 5164 5167 _block2__branch1: { … … 5166 5169 _block3: { 5167 5170 _block3__branch1: { 5168 if (!_vs_javaArgType.termEquals (_c_1 19, 0))5171 if (!_vs_javaArgType.termEquals (_c_120, 0)) 5169 5172 { 5170 5173 break _block3__branch1; 5171 5174 } 5172 _vs_methodName = _c_20 1;5175 _vs_methodName = _c_202; 5173 5176 break _block3; 5174 5177 } 5175 5178 _block3__branch2: { 5176 if (!_vs_javaArgType.termEquals (_c_20 2, 0))5179 if (!_vs_javaArgType.termEquals (_c_203, 0)) 5177 5180 { 5178 5181 break _block3__branch2; 5179 5182 } 5180 _vs_methodName = _c_20 3;5183 _vs_methodName = _c_204; 5181 5184 break _block3; 5182 5185 } 5183 5186 _block3__branch3: { 5184 if (!_vs_javaArgType.termEquals (_c_20 4, 0))5187 if (!_vs_javaArgType.termEquals (_c_205, 0)) 5185 5188 { 5186 5189 break _block3__branch3; 5187 5190 } 5188 _vs_methodName = _c_20 5;5191 _vs_methodName = _c_206; 5189 5192 break _block3; 5190 5193 } 5191 5194 _block3__branch4: { 5192 if (!_vs_javaArgType.termEquals (_c_20 6, 0))5195 if (!_vs_javaArgType.termEquals (_c_207, 0)) 5193 5196 { 5194 5197 break _block3__branch4; 5195 5198 } 5196 _vs_methodName = _c_20 7;5199 _vs_methodName = _c_208; 5197 5200 break _block3; 5198 5201 } 5199 5202 _block3__branch5: { 5200 if (!_vs_javaArgType.termEquals (_c_20 8, 0))5203 if (!_vs_javaArgType.termEquals (_c_209, 0)) 5201 5204 { 5202 5205 break _block3__branch5; 5203 5206 } 5204 _vs_methodName = _c_2 09;5207 _vs_methodName = _c_210; 5205 5208 break _block3; 5206 5209 } 5207 if (!_vs_javaArgType.termEquals (_c_21 0, 0))5210 if (!_vs_javaArgType.termEquals (_c_211, 0)) 5208 5211 { 5209 5212 break _block2__branch1; 5210 5213 } 5211 _vs_methodName = _c_21 1;5214 _vs_methodName = _c_212; 5212 5215 } 5213 5216 Result _gs_auxcall4 = new Result (Expr.empty); 5214 5217 MV (_gs_auxcall4); 5215 5218 Result _gs_auxcall5 = new Result (Expr.empty); 5216 refal.plus.Convert.ToWord (Expr.concat (_c_21 2, _vs_javaArgType), _gs_auxcall5);5217 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall4.getExpr (), _c_1 5, _c_213, _vs_methodName, _gs_auxcall5.getExpr ());5219 refal.plus.Convert.ToWord (Expr.concat (_c_213, _vs_javaArgType), _gs_auxcall5); 5220 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall4.getExpr (), _c_16, _c_214, _vs_methodName, _gs_auxcall5.getExpr ()); 5218 5221 break _block2; 5219 5222 } 5220 5223 Result _gs_auxcall6 = new Result (Expr.empty); 5221 5224 MV (_gs_auxcall6); 5222 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall6.getExpr (), _c_1 5, _c_213, _c_214, _c_215);5225 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall6.getExpr (), _c_16, _c_214, _c_215, _c_216); 5223 5226 Expr _vs_javaArgType2 = Expr.empty; 5224 5227 _block4: { … … 5233 5236 } 5234 5237 int _v_len__intName = (_v_len3 - _v_len4); 5235 if (!_c_21 7.termEquals (_v_ToChars1.getExpr (), 0))5238 if (!_c_218.termEquals (_v_ToChars1.getExpr (), 0)) 5236 5239 { 5237 5240 break _block4__branch1; 5238 5241 } 5239 if (!_c_21 6.termEquals (_v_ToChars1.getExpr (), (0 + 1 + _v_len__intName)))5242 if (!_c_217.termEquals (_v_ToChars1.getExpr (), (0 + 1 + _v_len__intName))) 5240 5243 { 5241 5244 break _block4__branch1; … … 5252 5255 Result _gs_auxcall7 = new Result (Expr.empty); 5253 5256 MV (_gs_auxcall7); 5254 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall7.getExpr (), _c_14 1, _vs_javaArgType2);5257 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall7.getExpr (), _c_142, _vs_javaArgType2); 5255 5258 } 5256 5259 break _block1; … … 5268 5271 } 5269 5272 int _v_len___dollar_tmp_m_873_m_12 = (_v_len5 - _v_len6); 5270 if (!_c_1 49.termEquals (_v_deref__L12, 0))5273 if (!_c_150.termEquals (_v_deref__L12, 0)) 5271 5274 { 5272 5275 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "PutArgToStack", "Unexpected fail"); … … 5283 5286 } 5284 5287 int _v_len__elemType = (_v_len7 - _v_len8); 5285 if (!_c_21 8.termEquals (_v_ToChars2.getExpr (), 0))5288 if (!_c_219.termEquals (_v_ToChars2.getExpr (), 0)) 5286 5289 { 5287 5290 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "PutArgToStack", "Unexpected fail"); … … 5296 5299 _block6: { 5297 5300 _block6__branch1: { 5298 if (!_vs_javaElemType.getExpr ().termEquals (_c_1 19, 0))5301 if (!_vs_javaElemType.getExpr ().termEquals (_c_120, 0)) 5299 5302 { 5300 5303 break _block6__branch1; 5301 5304 } 5302 _vs_methodName = _c_2 19;5305 _vs_methodName = _c_220; 5303 5306 break _block6; 5304 5307 } 5305 5308 _block6__branch2: { 5306 if (!_vs_javaElemType.getExpr ().termEquals (_c_20 2, 0))5309 if (!_vs_javaElemType.getExpr ().termEquals (_c_203, 0)) 5307 5310 { 5308 5311 break _block6__branch2; 5309 5312 } 5310 _vs_methodName = _c_22 0;5313 _vs_methodName = _c_221; 5311 5314 break _block6; 5312 5315 } 5313 5316 _block6__branch3: { 5314 if (!_vs_javaElemType.getExpr ().termEquals (_c_20 4, 0))5317 if (!_vs_javaElemType.getExpr ().termEquals (_c_205, 0)) 5315 5318 { 5316 5319 break _block6__branch3; 5317 5320 } 5318 _vs_methodName = _c_22 1;5321 _vs_methodName = _c_222; 5319 5322 break _block6; 5320 5323 } 5321 5324 _block6__branch4: { 5322 if (!_vs_javaElemType.getExpr ().termEquals (_c_20 6, 0))5325 if (!_vs_javaElemType.getExpr ().termEquals (_c_207, 0)) 5323 5326 { 5324 5327 break _block6__branch4; 5325 5328 } 5326 _vs_methodName = _c_22 2;5329 _vs_methodName = _c_223; 5327 5330 break _block6; 5328 5331 } 5329 5332 _block6__branch5: { 5330 if (!_vs_javaElemType.getExpr ().termEquals (_c_20 8, 0))5333 if (!_vs_javaElemType.getExpr ().termEquals (_c_209, 0)) 5331 5334 { 5332 5335 break _block6__branch5; 5333 5336 } 5334 _vs_methodName = _c_22 3;5337 _vs_methodName = _c_224; 5335 5338 break _block6; 5336 5339 } 5337 if (!_vs_javaElemType.getExpr ().termEquals (_c_21 0, 0))5340 if (!_vs_javaElemType.getExpr ().termEquals (_c_211, 0)) 5338 5341 { 5339 5342 break _block5__branch1; 5340 5343 } 5341 _vs_methodName = _c_22 4;5344 _vs_methodName = _c_225; 5342 5345 } 5343 5346 Result _gs_auxcall8 = new Result (Expr.empty); 5344 5347 MV (_gs_auxcall8); 5345 5348 Result _gs_auxcall9 = new Result (Expr.empty); 5346 refal.plus.Convert.ToWord (Expr.concat (_c_22 5, _vs_javaArgType), _gs_auxcall9);5347 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall8.getExpr (), _c_1 5, _c_213, _vs_methodName, _gs_auxcall9.getExpr ());5349 refal.plus.Convert.ToWord (Expr.concat (_c_226, _vs_javaArgType), _gs_auxcall9); 5350 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall8.getExpr (), _c_16, _c_214, _vs_methodName, _gs_auxcall9.getExpr ()); 5348 5351 break _block5; 5349 5352 } 5350 5353 Result _gs_auxcall10 = new Result (Expr.empty); 5351 5354 MV (_gs_auxcall10); 5352 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall10.getExpr (), _c_2 1);5355 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall10.getExpr (), _c_22); 5353 5356 Result _gs_auxcall11 = new Result (Expr.empty); 5354 5357 MV (_gs_auxcall11); 5355 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall11.getExpr (), _c_ 79, _c_29, _c_153, _c_154);5358 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall11.getExpr (), _c_80, _c_30, _c_154, _c_155); 5356 5359 _block7: { 5357 5360 _block7__branch1: { … … 5365 5368 } 5366 5369 int _v_len___dollar_tmp_m_882_m_45 = (_v_len9 - _v_len10); 5367 if (!_c_21 8.termEquals (_v_ToChars3.getExpr (), 0))5370 if (!_c_219.termEquals (_v_ToChars3.getExpr (), 0)) 5368 5371 { 5369 5372 break _block7__branch1; … … 5373 5376 Result _gs_auxcall12 = new Result (Expr.empty); 5374 5377 MV (_gs_auxcall12); 5375 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall12.getExpr (), _c_22 6, _vs_javaElemType.getExpr ());5378 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall12.getExpr (), _c_227, _vs_javaElemType.getExpr ()); 5376 5379 break _block7; 5377 5380 } … … 5385 5388 } 5386 5389 int _v_len__intName2 = (_v_len11 - _v_len12); 5387 if (!_c_21 7.termEquals (_v_ToChars4.getExpr (), 0))5390 if (!_c_218.termEquals (_v_ToChars4.getExpr (), 0)) 5388 5391 { 5389 5392 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "PutArgToStack", "Unexpected fail"); 5390 5393 } 5391 if (!_c_21 6.termEquals (_v_ToChars4.getExpr (), (0 + 1 + _v_len__intName2)))5394 if (!_c_217.termEquals (_v_ToChars4.getExpr (), (0 + 1 + _v_len__intName2))) 5392 5395 { 5393 5396 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "PutArgToStack", "Unexpected fail"); … … 5399 5402 Result _gs_auxcall14 = new Result (Expr.empty); 5400 5403 refal.plus.Convert.ToWord (_ve_intName, _gs_auxcall14); 5401 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall13.getExpr (), _c_22 6, _gs_auxcall14.getExpr ());5404 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall13.getExpr (), _c_227, _gs_auxcall14.getExpr ()); 5402 5405 } 5403 5406 Result _gs_auxcall15 = new Result (Expr.empty); 5404 5407 MV (_gs_auxcall15); 5405 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall15.getExpr (), _c_1 5, _c_213, _c_227, _c_228);5408 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall15.getExpr (), _c_16, _c_214, _c_228, _c_229); 5406 5409 Expr _vs_javaArgType2 = Expr.empty; 5407 5410 _block8: { … … 5416 5419 } 5417 5420 int _v_len__intName3 = (_v_len13 - _v_len14); 5418 if (!_c_21 7.termEquals (_v_ToChars5.getExpr (), 0))5421 if (!_c_218.termEquals (_v_ToChars5.getExpr (), 0)) 5419 5422 { 5420 5423 break _block8__branch1; 5421 5424 } 5422 if (!_c_21 6.termEquals (_v_ToChars5.getExpr (), (0 + 1 + _v_len__intName3)))5425 if (!_c_217.termEquals (_v_ToChars5.getExpr (), (0 + 1 + _v_len__intName3))) 5423 5426 { 5424 5427 break _block8__branch1; … … 5435 5438 Result _gs_auxcall16 = new Result (Expr.empty); 5436 5439 MV (_gs_auxcall16); 5437 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall16.getExpr (), _c_14 1, _vs_javaArgType2);5440 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall16.getExpr (), _c_142, _vs_javaArgType2); 5438 5441 } 5439 5442 } … … 5453 5456 Result _gs_auxcall1 = new Result (Expr.empty); 5454 5457 MV (_gs_auxcall1); 5455 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall1.getExpr (), _c_1 3, _vs_num);5458 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitVarInsn (_gs_auxcall1.getExpr (), _c_14, _vs_num); 5456 5459 Result _gs_auxcall2 = new Result (Expr.empty); 5457 5460 MV (_gs_auxcall2); 5458 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall2.getExpr (), _c_12 3);5461 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall2.getExpr (), _c_124); 5459 5462 _block2: { 5460 5463 _block2__branch1: { … … 5475 5478 } 5476 5479 int _v_len___dollar_tmp_m_903_m_14 = (_v_len1 - _v_len2); 5477 if (!_c_14 7.termEquals (_v_deref__rfResTypes, 0))5480 if (!_c_148.termEquals (_v_deref__rfResTypes, 0)) 5478 5481 { 5479 5482 break _block2__branch1; … … 5484 5487 MV (_gs_auxcall3); 5485 5488 Result _gs_auxcall4 = new Result (Expr.empty); 5486 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_12 8).toRight (_vs_javaResType).toRight (_c_229).yield (), _gs_auxcall4);5487 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_1 5, _c_213, _c_230, _gs_auxcall4.getExpr ());5489 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_129).toRight (_vs_javaResType).toRight (_c_230).yield (), _gs_auxcall4); 5490 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall3.getExpr (), _c_16, _c_214, _c_231, _gs_auxcall4.getExpr ()); 5488 5491 Result _gs_auxcall5 = new Result (Expr.empty); 5489 5492 MV (_gs_auxcall5); 5490 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall5.getExpr (), _c_ 79, _c_20, _c_80, _c_32);5493 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall5.getExpr (), _c_80, _c_21, _c_81, _c_33); 5491 5494 break _block2; 5492 5495 } … … 5507 5510 } 5508 5511 int _v_len___dollar_tmp_m_906_m_14 = (_v_len3 - _v_len4); 5509 if (!_c_1 49.termEquals (_v_deref__rfResTypes2, 0))5512 if (!_c_150.termEquals (_v_deref__rfResTypes2, 0)) 5510 5513 { 5511 5514 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "GetResFromStack", "Unexpected fail"); … … 5525 5528 } 5526 5529 int _v_len___dollar_tmp_m_908_m_42 = (_v_len5 - _v_len6); 5527 if (!_c_23 1.equals (_v_ToWord1.getExpr (), 0))5530 if (!_c_232.equals (_v_ToWord1.getExpr (), 0)) 5528 5531 { 5529 5532 break _block3__branch1; … … 5531 5534 Expr _ve__dollar_tmp_m_908_m_42 = Expr.empty; 5532 5535 _ve__dollar_tmp_m_908_m_42 = _v_ToWord1.getExpr ().subexpr ((0 + 1 + 1), _v_len___dollar_tmp_m_908_m_42); 5533 _gs_javaResType__5 = _c_23 2;5536 _gs_javaResType__5 = _c_233; 5534 5537 break _block3; 5535 5538 } … … 5539 5542 MV (_gs_auxcall6); 5540 5543 Result _gs_auxcall7 = new Result (Expr.empty); 5541 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_12 8).toRight (_gs_javaResType__5).toRight (_c_127).yield (), _gs_auxcall7);5542 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall6.getExpr (), _c_1 5, _c_213, _c_233, _gs_auxcall7.getExpr ());5544 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_129).toRight (_gs_javaResType__5).toRight (_c_128).yield (), _gs_auxcall7); 5545 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall6.getExpr (), _c_16, _c_214, _c_234, _gs_auxcall7.getExpr ()); 5543 5546 Result _gs_auxcall8 = new Result (Expr.empty); 5544 5547 MV (_gs_auxcall8); 5545 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall8.getExpr (), _c_ 79, _c_20, _c_80, _c_77);5548 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMethodInsn (_gs_auxcall8.getExpr (), _c_80, _c_21, _c_81, _c_78); 5546 5549 } 5547 5550 } … … 5553 5556 _block1: { 5554 5557 _block1__branch1: { 5555 if (!_gs_arg1.termEquals (_c_23 4, 0))5558 if (!_gs_arg1.termEquals (_c_235, 0)) 5556 5559 { 5557 5560 break _block1__branch1; 5558 5561 } 5559 _v_res1.assign (_c_11 6);5562 _v_res1.assign (_c_117); 5560 5563 break _block1; 5561 5564 } … … 5569 5572 _block1: { 5570 5573 _block1__branch1: { 5571 if (!_gs_arg1.termEquals (_c_23 5, 0))5574 if (!_gs_arg1.termEquals (_c_236, 0)) 5572 5575 { 5573 5576 break _block1__branch1; 5574 5577 } 5575 _v_res1.assign (_c_11 6);5578 _v_res1.assign (_c_117); 5576 5579 break _block1; 5577 5580 } 5578 5581 _block1__branch2: { 5579 if (!_gs_arg1.termEquals (_c_23 6, 0))5582 if (!_gs_arg1.termEquals (_c_237, 0)) 5580 5583 { 5581 5584 break _block1__branch2; 5582 5585 } 5583 _v_res1.assign (_c_20 8);5586 _v_res1.assign (_c_209); 5584 5587 break _block1; 5585 5588 } 5586 5589 _block1__branch3: { 5590 if (!_gs_arg1.termEquals (_c_238, 0)) 5591 { 5592 break _block1__branch3; 5593 } 5594 _v_res1.assign (_c_120); 5595 break _block1; 5596 } 5597 _block1__branch4: { 5598 if (!_gs_arg1.termEquals (_c_239, 0)) 5599 { 5600 break _block1__branch4; 5601 } 5602 _v_res1.assign (_c_203); 5603 break _block1; 5604 } 5605 _block1__branch5: { 5606 if (!_gs_arg1.termEquals (_c_240, 0)) 5607 { 5608 break _block1__branch5; 5609 } 5610 _v_res1.assign (_c_205); 5611 break _block1; 5612 } 5613 _block1__branch6: { 5614 if (!_gs_arg1.termEquals (_c_241, 0)) 5615 { 5616 break _block1__branch6; 5617 } 5618 _v_res1.assign (_c_207); 5619 break _block1; 5620 } 5621 _block1__branch7: { 5587 5622 if (!_gs_arg1.termEquals (_c_237, 0)) 5588 5623 { 5589 break _block1__branch3;5590 }5591 _v_res1.assign (_c_119);5592 break _block1;5593 }5594 _block1__branch4: {5595 if (!_gs_arg1.termEquals (_c_238, 0))5596 {5597 break _block1__branch4;5598 }5599 _v_res1.assign (_c_202);5600 break _block1;5601 }5602 _block1__branch5: {5603 if (!_gs_arg1.termEquals (_c_239, 0))5604 {5605 break _block1__branch5;5606 }5607 _v_res1.assign (_c_204);5608 break _block1;5609 }5610 _block1__branch6: {5611 if (!_gs_arg1.termEquals (_c_240, 0))5612 {5613 break _block1__branch6;5614 }5615 _v_res1.assign (_c_206);5616 break _block1;5617 }5618 _block1__branch7: {5619 if (!_gs_arg1.termEquals (_c_236, 0))5620 {5621 5624 break _block1__branch7; 5622 5625 } 5623 _v_res1.assign (_c_20 8);5626 _v_res1.assign (_c_209); 5624 5627 break _block1; 5625 5628 } 5626 5629 _block1__branch8: { 5627 if (!_gs_arg1.termEquals (_c_24 1, 0))5630 if (!_gs_arg1.termEquals (_c_242, 0)) 5628 5631 { 5629 5632 break _block1__branch8; 5630 5633 } 5631 _v_res1.assign (_c_19 2);5634 _v_res1.assign (_c_193); 5632 5635 break _block1; 5633 5636 } 5634 5637 _block1__branch9: { 5635 if (!_gs_arg1.termEquals (_c_24 2, 0))5638 if (!_gs_arg1.termEquals (_c_243, 0)) 5636 5639 { 5637 5640 break _block1__branch9; 5638 5641 } 5639 _v_res1.assign (_c_21 0);5642 _v_res1.assign (_c_211); 5640 5643 break _block1; 5641 5644 } 5642 5645 _block1__branch10: { 5643 if (!_gs_arg1.termEquals (_c_24 3, 0))5646 if (!_gs_arg1.termEquals (_c_244, 0)) 5644 5647 { 5645 5648 break _block1__branch10; 5646 5649 } 5647 _v_res1.assign (_c_24 4);5650 _v_res1.assign (_c_245); 5648 5651 break _block1; 5649 5652 } … … 5658 5661 } 5659 5662 int _v_len__head = (_v_len1 - _v_len2); 5660 if (!_c_24 5.equals (_v_ToChars1.getExpr (), (0 + _v_len__head)))5663 if (!_c_246.equals (_v_ToChars1.getExpr (), (0 + _v_len__head))) 5661 5664 { 5662 5665 break _block1__branch11; … … 5668 5671 Result _gs_auxcall2 = new Result (Expr.empty); 5669 5672 ConvertType (_gs_auxcall1.getExpr (), _gs_auxcall2); 5670 refal.plus.Convert.ToWord (Expr.concat (_c_24 6, _gs_auxcall2.getExpr ()), _v_res1);5671 break _block1; 5672 } 5673 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_24 8).toRight (_gs_arg1).toRight (_c_247).yield (), _v_res1);5673 refal.plus.Convert.ToWord (Expr.concat (_c_247, _gs_auxcall2.getExpr ()), _v_res1); 5674 break _block1; 5675 } 5676 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_249).toRight (_gs_arg1).toRight (_c_248).yield (), _v_res1); 5674 5677 } 5675 5678 } … … 5681 5684 refal.plus.Convert.ToChars (_vs_str, _ge_auxcall1); 5682 5685 Result _ge_auxcall2 = new Result (Expr.empty); 5683 rfp_helper.Subst (_c_4, _c_2 49, _ge_auxcall1.getExpr (), _ge_auxcall2);5686 rfp_helper.Subst (_c_4, _c_250, _ge_auxcall1.getExpr (), _ge_auxcall2); 5684 5687 refal.plus.Convert.ToWord (_ge_auxcall2.getExpr (), _v_res1); 5685 5688 } … … 5724 5727 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "WrapGen", "Unexpected fail"); 5725 5728 } 5726 if (!_c_4 4.termEquals (_v_compose1, (0 + 1)))5729 if (!_c_45.termEquals (_v_compose1, (0 + 1))) 5727 5730 { 5728 5731 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "WrapGen", "Unexpected fail"); … … 5813 5816 rfp_vars.Vars (_ve_out, _ve_rfResTypes); 5814 5817 Result _vs_desc = new Result (Expr.empty); 5815 Function_Description (_ve_rfArgTypes.getExpr (), _ve_rfResTypes.getExpr (), _c_ 59, _vs_desc);5818 Function_Description (_ve_rfArgTypes.getExpr (), _ve_rfResTypes.getExpr (), _c_60, _vs_desc); 5816 5819 Result _gs_auxcall3 = new Result (Expr.empty); 5817 5820 CW (_gs_auxcall3); … … 5819 5822 refal.plus.Java.Null (_gs_auxcall4); 5820 5823 Result _gs_auxcall5 = new Result (Expr.empty); 5821 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_gs_auxcall3.getExpr (), _vs_access.getExpr (), _vs_functionName, _vs_desc.getExpr (), _gs_auxcall4.getExpr (), _c_4 0, _gs_auxcall5);5824 org.refal.plus.wrappers.org.objectweb.asm.ClassWriter.CWvisitMethod (_gs_auxcall3.getExpr (), _vs_access.getExpr (), _vs_functionName, _vs_desc.getExpr (), _gs_auxcall4.getExpr (), _c_41, _gs_auxcall5); 5822 5825 refal.plus.Box.Store (MVbox, _gs_auxcall5.getExpr ()); 5823 5826 _block2: { … … 5831 5834 MV (_gs_auxcall6); 5832 5835 Result _vs_aw = new Result (Expr.empty); 5833 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitAnnotation (_gs_auxcall6.getExpr (), _c_6 1, _c_62, _vs_aw);5834 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visit (_vs_aw.getExpr (), _c_6 3, _vs_format.getExpr ());5836 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitAnnotation (_gs_auxcall6.getExpr (), _c_62, _c_63, _vs_aw); 5837 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visit (_vs_aw.getExpr (), _c_64, _vs_format.getExpr ()); 5835 5838 org.refal.plus.wrappers.org.objectweb.asm.AnnotationVisitor.visitEnd (_vs_aw.getExpr ()); 5836 5839 break _block2; … … 5843 5846 _block3: { 5844 5847 _block3__branch1: { 5845 if (!_vs_methodName.getExpr ().termEquals (_c_23 4, 0))5848 if (!_vs_methodName.getExpr ().termEquals (_c_235, 0)) 5846 5849 { 5847 5850 break _block3__branch1; … … 5849 5852 Result _gs_auxcall8 = new Result (Expr.empty); 5850 5853 MV (_gs_auxcall8); 5851 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall8.getExpr (), _c_ 19, _vs_className.getExpr ());5854 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitTypeInsn (_gs_auxcall8.getExpr (), _c_20, _vs_className.getExpr ()); 5852 5855 Result _gs_auxcall9 = new Result (Expr.empty); 5853 5856 MV (_gs_auxcall9); 5854 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall9.getExpr (), _c_2 1);5855 _vs_shift = _c_1 4;5857 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall9.getExpr (), _c_22); 5858 _vs_shift = _c_15; 5856 5859 break _block3; 5857 5860 } 5858 5861 _block3__branch2: { 5859 if (!_vs_static.getExpr ().termEquals (_c_23 4, 0))5862 if (!_vs_static.getExpr ().termEquals (_c_235, 0)) 5860 5863 { 5861 5864 break _block3__branch2; … … 5863 5866 Result _gs_auxcall10 = new Result (Expr.empty); 5864 5867 ConvertType (_vs_className.getExpr (), _gs_auxcall10); 5865 PutArgToStack (_gs_auxcall10.getExpr (), _ve_rfArgTypes.getExpr (), _c_1 4);5868 PutArgToStack (_gs_auxcall10.getExpr (), _ve_rfArgTypes.getExpr (), _c_15); 5866 5869 _vs_shift = _c_5; 5867 5870 break _block3; 5868 5871 } 5869 _vs_shift = _c_1 4;5872 _vs_shift = _c_15; 5870 5873 } 5871 5874 _block4: { … … 5878 5881 _block5: { 5879 5882 _block5__branch1: { 5880 if (!_vs_static.getExpr ().termEquals (_c_23 4, 0))5883 if (!_vs_static.getExpr ().termEquals (_c_235, 0)) 5881 5884 { 5882 5885 break _block5__branch1; 5883 5886 } 5884 _vs_opcode = _c_25 0;5887 _vs_opcode = _c_251; 5885 5888 break _block5; 5886 5889 } 5887 _vs_opcode = _c_12 4;5890 _vs_opcode = _c_125; 5888 5891 } 5889 5892 Result _gs_auxcall11 = new Result (Expr.empty); … … 5913 5916 _ve_javaArgTypes2 = _v_deref__javaArgTypes.subexpr (0, _v_len__javaArgTypes2); 5914 5917 Result _ge_javaArgTypes__3 = new Result (Expr.empty); 5915 if (!refal.plus.List.Map (_c_25 1, Expr.empty, _ve_javaArgTypes2, _ge_javaArgTypes__3))5918 if (!refal.plus.List.Map (_c_252, Expr.empty, _ve_javaArgTypes2, _ge_javaArgTypes__3)) 5916 5919 { 5917 5920 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "WrapGen", "Unexpected fail"); … … 5959 5962 _block7: { 5960 5963 _block7__branch1: { 5961 if (!_vs_methodName.getExpr ().termEquals (_c_23 4, 0))5964 if (!_vs_methodName.getExpr ().termEquals (_c_235, 0)) 5962 5965 { 5963 5966 break _block7__branch1; 5964 5967 } 5965 _vs_opcode = _c_2 2;5966 _gs_methodName__4 = _c_2 3;5968 _vs_opcode = _c_23; 5969 _gs_methodName__4 = _c_24; 5967 5970 break _block7; 5968 5971 } 5969 5972 _block7__branch2: { 5970 if (!_vs_static.getExpr ().termEquals (_c_23 4, 0))5973 if (!_vs_static.getExpr ().termEquals (_c_235, 0)) 5971 5974 { 5972 5975 break _block7__branch2; 5973 5976 } 5974 _vs_opcode = _c_ 79;5977 _vs_opcode = _c_80; 5975 5978 _gs_methodName__4 = _vs_methodName.getExpr (); 5976 5979 break _block7; 5977 5980 } 5978 _vs_opcode = _c_1 5;5981 _vs_opcode = _c_16; 5979 5982 _gs_methodName__4 = _vs_methodName.getExpr (); 5980 5983 } 5981 5984 Result _ge_auxcall16 = new Result (Expr.empty); 5982 if (!refal.plus.List.Map (_c_25 2, Expr.empty, _ge_javaArgTypes__3.getExpr (), _ge_auxcall16))5985 if (!refal.plus.List.Map (_c_253, Expr.empty, _ge_javaArgTypes__3.getExpr (), _ge_auxcall16)) 5983 5986 { 5984 5987 throw new RefalException ("org.refal.plus.compiler.rfp_asail_jbc", "WrapGen", "Unexpected fail"); … … 5987 5990 ConvertResType (_vs_javaResType.getExpr (), _gs_auxcall17); 5988 5991 Result _vs_methodDesc = new Result (Expr.empty); 5989 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_12 8).toRight (_ge_auxcall16.getExpr ()).toRight (_c_253).toRight (_gs_auxcall17.getExpr ()).yield (), _vs_methodDesc);5992 refal.plus.Convert.ToWord (Expr.getConcatenator ().toRight (_c_129).toRight (_ge_auxcall16.getExpr ()).toRight (_c_254).toRight (_gs_auxcall17.getExpr ()).yield (), _vs_methodDesc); 5990 5993 Result _gs_auxcall18 = new Result (Expr.empty); 5991 5994 MV (_gs_auxcall18); … … 5995 5998 _block8: { 5996 5999 _block8__branch1: { 5997 if (!_vs_javaResType.getExpr ().termEquals (_c_23 4, 0))6000 if (!_vs_javaResType.getExpr ().termEquals (_c_235, 0)) 5998 6001 { 5999 6002 break _block8__branch1; … … 6011 6014 Result _gs_auxcall21 = new Result (Expr.empty); 6012 6015 MV (_gs_auxcall21); 6013 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall21.getExpr (), _c_2 6);6016 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitInsn (_gs_auxcall21.getExpr (), _c_27); 6014 6017 Result _gs_auxcall22 = new Result (Expr.empty); 6015 6018 MV (_gs_auxcall22); 6016 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMaxs (_gs_auxcall22.getExpr (), _c_1 4, _c_14);6019 org.refal.plus.wrappers.org.objectweb.asm.MethodVisitor.MVvisitMaxs (_gs_auxcall22.getExpr (), _c_15, _c_15); 6017 6020 Result _gs_auxcall23 = new Result (Expr.empty); 6018 6021 MV (_gs_auxcall23); … … 6024 6027 if (_ge_arg1.length () != 1) 6025 6028 { 6026 throw new RefalException (_c_25 4);6029 throw new RefalException (_c_255); 6027 6030 } 6028 6031 Expr _v_stub1 = Expr.empty; … … 6037 6040 if (_ge_arg1.length () != 1) 6038 6041 { 6039 throw new RefalException (_c_25 4);6042 throw new RefalException (_c_255); 6040 6043 } 6041 6044 if (!_ge_arg1.isSymbolAt (0)) 6042 6045 { 6043 throw new RefalException (_c_25 4);6046 throw new RefalException (_c_255); 6044 6047 } 6045 6048 Expr _v_stub1 = Expr.empty; … … 6055 6058 if (_v_len1 < _v_len2) 6056 6059 { 6057 throw new RefalException (_c_25 4);6060 throw new RefalException (_c_255); 6058 6061 } 6059 6062 int _v_len__stub1 = (_v_len1 - _v_len2); … … 6069 6072 if (_ge_arg1.length () != 1) 6070 6073 { 6071 throw new RefalException (_c_25 4);6074 throw new RefalException (_c_255); 6072 6075 } 6073 6076 Expr _v_stub1 = Expr.empty; … … 6082 6085 if (_ge_arg1.length () != 1) 6083 6086 { 6084 throw new RefalException (_c_25 4);6087 throw new RefalException (_c_255); 6085 6088 } 6086 6089 if (!_ge_arg1.isSymbolAt (0)) 6087 6090 { 6088 throw new RefalException (_c_25 4);6091 throw new RefalException (_c_255); 6089 6092 } 6090 6093 Expr _v_stub1 = Expr.empty;
Note: See TracChangeset
for help on using the changeset viewer.