hg/bck2brwsr: emul/src/main/resources/org/apidesign/vm4brwsr/emul/java_lang

     1 /* */

     4 function java_lang_String_consVAC(self,charArr) {

     5     for (var i = 0; i < charArr.length; i++) {

     6         if (typeof charArr[i] === 'number') charArr[i] = String.fromCharCode(charArr[i]);

     7     }

     8     self.r = charArr.join("");

9 }

    11 function java_lang_String_consVACII(self, charArr, off, cnt) {

    12     var up = off + cnt;

    13     for (var i = off; i < up; i++) {

    14         if (typeof charArr[i] === 'number') charArr[i] = String.fromCharCode(charArr[i]);

    15     }

    16     self.r = charArr.slice(off, up).join("");

    17 }

    19 function java_lang_String_charAtCI(arg0,arg1) {

    20     return arg0.toString().charCodeAt(arg1);

    21 }

    22 function java_lang_String_lengthI(arg0) {

    23     return arg0.toString().length;

    24 }

    25 function java_lang_String_isEmptyZ(arg0) {

    26     return arg0.toString().length === 0;

    27 }

    28 function java_lang_String_valueOfLjava_lang_StringI(n) {

    29     return n.toString();

    30 }

    32 function java_lang_String_startsWithZLjava_lang_StringI(self,find,from) {

    33     find = find.toString();

    34     return self.toString().substring(from, find.length) === find;

    35 }

    36 function java_lang_String_startsWithZLjava_lang_String(self,find) {

    37     find = find.toString();

    38     return self.toString().substring(0, find.length) === find;

    39 }

    40 function java_lang_String_endsWithZLjava_lang_String(self,find) {

    41     self = self.toString();

    42     find = find.toString();

    43     if (find.length > self.length) {

    44         return false;

    45     }

    46     return self.substring(self.length - find.length) === find;

    47 }

    49 function java_lang_String_indexOfII(arg0,ch) {

    50     if (typeof ch === 'number') ch = String.fromCharCode(ch);

    51     return arg0.toString().indexOf(ch);

    52 }

    53 function java_lang_String_indexOfIII(arg0,ch,from) {

    54     if (typeof ch === 'number') ch = String.fromCharCode(ch);

    55     return arg0.toString().indexOf(ch, from);

    56 }

    58 function java_lang_String_getCharsVACI(self, arr, to) {

    59     var s = self.toString();

    60     for (var i = 0; i < s.length; i++) {

    61         arr[to++] = s[i];

    62     }

    63 }

    65 /*

    66 function java_lang_String_codePointAtII(arg0,arg1) {

    67   var arg2;

    68 ;

    69   var stack = new Array(4);

    70   var gt = 0;

    71   for(;;) switch(gt) {

    72     case 0: stack.push(arg1); // 27

    73     case 1: if (stack.pop() < 0) { gt = 12; continue; } // 155 0 11

    74     case 4: stack.push(arg1); // 27

    75     case 5: stack.push(arg0); // 42

    76     case 6: stack.push(stack.pop().count); // 180 1 97

    77     case 9: if (stack.pop() > stack.pop()) { gt = 21; continue; } // 161 0 12

    78     case 12: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206

    79     case 15: stack.push(stack[stack.length - 1]); // 89

    80     case 16: stack.push(arg1); // 27

    81     case 17: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169

    82     case 20:  // 191

    83     case 21: stack.push(arg0); // 42

    84     case 22: stack.push(stack.pop().value); // 180 1 100

    85     case 25: stack.push(arg0); // 42

    86     case 26: stack.push(stack.pop().offset); // 180 1 99

    87     case 29: stack.push(arg1); // 27

    88     case 30: stack.push(stack.pop() + stack.pop()); // 96

    89     case 31: stack.push(arg0); // 42

    90     case 32: stack.push(stack.pop().offset); // 180 1 99

    91     case 35: stack.push(arg0); // 42

    92     case 36: stack.push(stack.pop().count); // 180 1 97

    93     case 39: stack.push(stack.pop() + stack.pop()); // 96

    94     case 40: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_codePointAtImplAIACAIAI(v0, v1, v2)); } // 184 1 113

    95     case 43: return stack.pop(); // 172

    96   }

    97 }

    98 function java_lang_String_codePointBeforeII(arg0,arg1) {

    99   var arg2;

   100   var arg3;

   101 ;

   102   var stack = new Array(3);

   103   var gt = 0;

   104   for(;;) switch(gt) {

   105     case 0: stack.push(arg1); // 27

   106     case 1: stack.push(1); // 4

   107     case 2: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   108     case 3: arg2 = stack.pop(); // 61

   109     case 4: stack.push(arg2); // 28

   110     case 5: if (stack.pop() < 0) { gt = 16; continue; } // 155 0 11

   111     case 8: stack.push(arg2); // 28

   112     case 9: stack.push(arg0); // 42

   113     case 10: stack.push(stack.pop().count); // 180 1 97

   114     case 13: if (stack.pop() > stack.pop()) { gt = 25; continue; } // 161 0 12

   115     case 16: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206

   116     case 19: stack.push(stack[stack.length - 1]); // 89

   117     case 20: stack.push(arg1); // 27

   118     case 21: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169

   119     case 24:  // 191

   120     case 25: stack.push(arg0); // 42

   121     case 26: stack.push(stack.pop().value); // 180 1 100

   122     case 29: stack.push(arg0); // 42

   123     case 30: stack.push(stack.pop().offset); // 180 1 99

   124     case 33: stack.push(arg1); // 27

   125     case 34: stack.push(stack.pop() + stack.pop()); // 96

   126     case 35: stack.push(arg0); // 42

   127     case 36: stack.push(stack.pop().offset); // 180 1 99

   128     case 39: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_codePointBeforeImplAIACAIAI(v0, v1, v2)); } // 184 1 114

   129     case 42: return stack.pop(); // 172

   130   }

   131 }

   132 function java_lang_String_codePointCountIII(arg0,arg1,arg2) {

   133   var arg3;

   134 ;

   135   var stack = new Array(4);

   136   var gt = 0;

   137   for(;;) switch(gt) {

   138     case 0: stack.push(arg1); // 27

   139     case 1: if (stack.pop() < 0) { gt = 17; continue; } // 155 0 16

   140     case 4: stack.push(arg2); // 28

   141     case 5: stack.push(arg0); // 42

   142     case 6: stack.push(stack.pop().count); // 180 1 97

   143     case 9: if (stack.pop() < stack.pop()) { gt = 17; continue; } // 163 0 8

   144     case 12: stack.push(arg1); // 27

   145     case 13: stack.push(arg2); // 28

   146     case 14: if (stack.pop() >= stack.pop()) { gt = 25; continue; } // 164 0 11

   147     case 17: stack.push(new java_lang_IndexOutOfBoundsException); // 187 0 194

   148     case 20: stack.push(stack[stack.length - 1]); // 89

   149     case 21: { java_lang_IndexOutOfBoundsException_consV(stack.pop()); } // 183 1 124

   150     case 24:  // 191

   151     case 25: stack.push(arg0); // 42

   152     case 26: stack.push(stack.pop().value); // 180 1 100

   153     case 29: stack.push(arg0); // 42

   154     case 30: stack.push(stack.pop().offset); // 180 1 99

   155     case 33: stack.push(arg1); // 27

   156     case 34: stack.push(stack.pop() + stack.pop()); // 96

   157     case 35: stack.push(arg2); // 28

   158     case 36: stack.push(arg1); // 27

   159     case 37: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   160     case 38: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_codePointCountImplAIACAIAI(v0, v1, v2)); } // 184 1 115

   161     case 41: return stack.pop(); // 172

   162   }

   163 }

   164 function java_lang_String_offsetByCodePointsIII(arg0,arg1,arg2) {

   165   var arg3;

   166 ;

   167   var stack = new Array(5);

   168   var gt = 0;

   169   for(;;) switch(gt) {

   170     case 0: stack.push(arg1); // 27

   171     case 1: if (stack.pop() < 0) { gt = 12; continue; } // 155 0 11

   172     case 4: stack.push(arg1); // 27

   173     case 5: stack.push(arg0); // 42

   174     case 6: stack.push(stack.pop().count); // 180 1 97

   175     case 9: if (stack.pop() >= stack.pop()) { gt = 20; continue; } // 164 0 11

   176     case 12: stack.push(new java_lang_IndexOutOfBoundsException); // 187 0 194

   177     case 15: stack.push(stack[stack.length - 1]); // 89

   178     case 16: { java_lang_IndexOutOfBoundsException_consV(stack.pop()); } // 183 1 124

   179     case 19:  // 191

   180     case 20: stack.push(arg0); // 42

   181     case 21: stack.push(stack.pop().value); // 180 1 100

   182     case 24: stack.push(arg0); // 42

   183     case 25: stack.push(stack.pop().offset); // 180 1 99

   184     case 28: stack.push(arg0); // 42

   185     case 29: stack.push(stack.pop().count); // 180 1 97

   186     case 32: stack.push(arg0); // 42

   187     case 33: stack.push(stack.pop().offset); // 180 1 99

   188     case 36: stack.push(arg1); // 27

   189     case 37: stack.push(stack.pop() + stack.pop()); // 96

   190     case 38: stack.push(arg2); // 28

   191     case 39: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_offsetByCodePointsImplAIACAIAIAIAI(v0, v1, v2, v3, v4)); } // 184 1 116

   192     case 42: stack.push(arg0); // 42

   193     case 43: stack.push(stack.pop().offset); // 180 1 99

   194     case 46: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   195     case 47: return stack.pop(); // 172

   196   }

   197 }

   198 */

   200 // public void getChars(int srcBegin, int srcEnd, char dst[], int dstBegin) {

   201 function java_lang_String_getCharsVIIACAI(arg0,arg1,arg2,arg3,arg4) {

   202     var s = arg0.toString();

   203     while (arg1 < arg2) {

   204         arg3[arg4++] = s[arg1++];

   205     }

   206 }

   208 /*

   209 function java_lang_String_getBytesVIIABI(arg0,arg1,arg2,arg3,arg4) {

   210   var arg5;

   211   var arg6;

   212   var arg7;

   213   var arg8;

   214   var arg9;

   215 ;

   216   var stack = new Array(4);

   217   var gt = 0;

   218   for(;;) switch(gt) {

   219     case 0: stack.push(arg1); // 27

   220     case 1: if (stack.pop() >= 0) { gt = 13; continue; } // 156 0 12

   221     case 4: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206

   222     case 7: stack.push(stack[stack.length - 1]); // 89

   223     case 8: stack.push(arg1); // 27

   224     case 9: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169

   225     case 12:  // 191

   226     case 13: stack.push(arg2); // 28

   227     case 14: stack.push(arg0); // 42

   228     case 15: stack.push(stack.pop().count); // 180 1 97

   229     case 18: if (stack.pop() >= stack.pop()) { gt = 30; continue; } // 164 0 12

   230     case 21: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206

   231     case 24: stack.push(stack[stack.length - 1]); // 89

   232     case 25: stack.push(arg2); // 28

   233     case 26: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169

   234     case 29:  // 191

   235     case 30: stack.push(arg1); // 27

   236     case 31: stack.push(arg2); // 28

   237     case 32: if (stack.pop() >= stack.pop()) { gt = 46; continue; } // 164 0 14

   238     case 35: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206

   239     case 38: stack.push(stack[stack.length - 1]); // 89

   240     case 39: stack.push(arg2); // 28

   241     case 40: stack.push(arg1); // 27

   242     case 41: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   243     case 42: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169

   244     case 45:  // 191

   245     case 46: stack.push(arg4); // 21 4

   246     case 48: arg5 = stack.pop() // 54 5

   247     case 50: stack.push(arg0); // 42

   248     case 51: stack.push(stack.pop().offset); // 180 1 99

   249     case 54: stack.push(arg2); // 28

   250     case 55: stack.push(stack.pop() + stack.pop()); // 96

   251     case 56: arg6 = stack.pop() // 54 6

   252     case 58: stack.push(arg0); // 42

   253     case 59: stack.push(stack.pop().offset); // 180 1 99

   254     case 62: stack.push(arg1); // 27

   255     case 63: stack.push(stack.pop() + stack.pop()); // 96

   256     case 64: arg7 = stack.pop() // 54 7

   257     case 66: stack.push(arg0); // 42

   258     case 67: stack.push(stack.pop().value); // 180 1 100

   259     case 70: arg8 = stack.pop() // 58 8

   260     case 72: stack.push(arg7); // 21 7

   261     case 74: stack.push(arg6); // 21 6

   262     case 76: if (stack.pop() <= stack.pop()) { gt = 98; continue; } // 162 0 22

   263     case 79: stack.push(arg3); // 45

   264     case 80: stack.push(arg5); // 21 5

   265     case 82: arg5++; // 132 5 1

   266     case 85: stack.push(arg8); // 25 8

   267     case 87: stack.push(arg7); // 21 7

   268     case 89: arg7++; // 132 7 1

   269     case 92: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   270     case 93: // number conversion  // 145

   271     case 94: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 84

   272     case 95: gt = 72; continue; // 167 255 233

   273     case 98: return; // 177

   274   }

   275 }

   276 function java_lang_String_getBytesABLjava_lang_String(arg0,arg1) {

   277   var arg2;

   278 ;

   279   var stack = new Array(4);

   280   var gt = 0;

   281   for(;;) switch(gt) {

   282     case 0: stack.push(arg1); // 43

   283     case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11

   284     case 4: stack.push(new java_lang_NullPointerException); // 187 0 198

   285     case 7: stack.push(stack[stack.length - 1]); // 89

   286     case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128

   287     case 11:  // 191

   288     case 12: stack.push(arg1); // 43

   289     case 13: stack.push(arg0); // 42

   290     case 14: stack.push(stack.pop().value); // 180 1 100

   291     case 17: stack.push(arg0); // 42

   292     case 18: stack.push(stack.pop().offset); // 180 1 99

   293     case 21: stack.push(arg0); // 42

   294     case 22: stack.push(stack.pop().count); // 180 1 97

   295     case 25: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_StringCoding_encodeABLjava_lang_StringACAIAI(v0, v1, v2, v3)); } // 184 1 166

   296     case 28: return stack.pop(); // 176

   297   }

   298 }

   299 function java_lang_String_getBytesABLjava_nio_charset_Charset(arg0,arg1) {

   300   var arg2;

   301 ;

   302   var stack = new Array(4);

   303   var gt = 0;

   304   for(;;) switch(gt) {

   305     case 0: stack.push(arg1); // 43

   306     case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11

   307     case 4: stack.push(new java_lang_NullPointerException); // 187 0 198

   308     case 7: stack.push(stack[stack.length - 1]); // 89

   309     case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128

   310     case 11:  // 191

   311     case 12: stack.push(arg1); // 43

   312     case 13: stack.push(arg0); // 42

   313     case 14: stack.push(stack.pop().value); // 180 1 100

   314     case 17: stack.push(arg0); // 42

   315     case 18: stack.push(stack.pop().offset); // 180 1 99

   316     case 21: stack.push(arg0); // 42

   317     case 22: stack.push(stack.pop().count); // 180 1 97

   318     case 25: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_StringCoding_encodeABLjava_nio_charset_CharsetACAIAI(v0, v1, v2, v3)); } // 184 1 168

   319     case 28: return stack.pop(); // 176

   320   }

   321 }

   322 function java_lang_String_getBytesAB(arg0) {

   323   var arg1;

   324 ;

   325   var stack = new Array(3);

   326   var gt = 0;

   327   for(;;) switch(gt) {

   328     case 0: stack.push(arg0); // 42

   329     case 1: stack.push(stack.pop().value); // 180 1 100

   330     case 4: stack.push(arg0); // 42

   331     case 5: stack.push(stack.pop().offset); // 180 1 99

   332     case 8: stack.push(arg0); // 42

   333     case 9: stack.push(stack.pop().count); // 180 1 97

   334     case 12: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_StringCoding_encodeABACAIAI(v0, v1, v2)); } // 184 1 164

   335     case 15: return stack.pop(); // 176

   336   }

   337 }

   338 */

   339 function java_lang_String_equalsZLjava_lang_Object(arg0,arg1) {

   340     return arg0.toString() === arg1.toString();

   341 }

   342 /*

   343 function java_lang_String_contentEqualsZLjava_lang_StringBuffer(arg0,arg1) {

   344   var arg2;

   345   var arg3;

   346   var arg4;

   347 ;

   348   var stack = new Array(2);

   349   var gt = 0;

   350   for(;;) switch(gt) {

   351     case 0: stack.push(arg1); // 43

   352     case 1: stack.push(stack[stack.length - 1]); // 89

   353     case 2: arg2 = stack.pop(); // 77

   354     case 3:  // 194

   355     case 4: stack.push(arg0); // 42

   356     case 5: stack.push(arg1); // 43

   357     case 6: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.contentEqualsZLjava_lang_CharSequence(self, v0)); } // 182 1 146

   358     case 9: stack.push(arg2); // 44

   359     case 10:  // 195

   360     case 11: return stack.pop(); // 172

   361     case 12: arg3 = stack.pop(); // 78

   362     case 13: stack.push(arg2); // 44

   363     case 14:  // 195

   364     case 15: stack.push(arg3); // 45

   365     case 16:  // 191

   366   }

   367 }

   368 function java_lang_String_contentEqualsZLjava_lang_CharSequence(arg0,arg1) {

   369   var arg2;

   370   var arg3;

   371   var arg4;

   372   var arg5;

   373   var arg6;

   374   var arg7;

   375 ;

   376   var stack = new Array(3);

   377   var gt = 0;

   378   for(;;) switch(gt) {

   379     case 0: stack.push(arg0); // 42

   380     case 1: stack.push(stack.pop().count); // 180 1 97

   381     case 4: stack.push(arg1); // 43

   382     case 5: { var self = stack.pop(); stack.push(self.lengthI(self)); } // 185 1 188

   383     case 8:  // 1

   384     case 9:  // 0

   385     case 10: if (stack.pop() == stack.pop()) { gt = 15; continue; } // 159 0 5

   386     case 13: stack.push(0); // 3

   387     case 14: return stack.pop(); // 172

   388     case 15: stack.push(arg1); // 43

   389     case 16: stack.push(stack.pop().$instOf_java_lang_AbstractStringBuilder ? 1 : 0); // 193 0 186

   390     case 19: if (stack.pop() == 0) { gt = 77; continue; } // 153 0 58

   391     case 22: stack.push(arg0); // 42

   392     case 23: stack.push(stack.pop().value); // 180 1 100

   393     case 26: arg2 = stack.pop(); // 77

   394     case 27: stack.push(arg1); // 43

   395     case 28: if(stack[stack.length - 1].$instOf_java_lang_AbstractStringBuilder != 1) throw {}; // 192 0 186

   396     case 31: { var self = stack.pop(); stack.push(self.getValueAC(self)); } // 182 1 103

   397     case 34: arg3 = stack.pop(); // 78

   398     case 35: stack.push(arg0); // 42

   399     case 36: stack.push(stack.pop().offset); // 180 1 99

   400     case 39: arg4 = stack.pop() // 54 4

   401     case 41: stack.push(0); // 3

   402     case 42: arg5 = stack.pop() // 54 5

   403     case 44: stack.push(arg0); // 42

   404     case 45: stack.push(stack.pop().count); // 180 1 97

   405     case 48: arg6 = stack.pop() // 54 6

   406     case 50: stack.push(arg6); // 21 6

   407     case 52: arg6 += 255; // 132 6 255

   408     case 55: if (stack.pop() == 0) { gt = 77; continue; } // 153 0 22

   409     case 58: stack.push(arg2); // 44

   410     case 59: stack.push(arg4); // 21 4

   411     case 61: arg4++; // 132 4 1

   412     case 64: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   413     case 65: stack.push(arg3); // 45

   414     case 66: stack.push(arg5); // 21 5

   415     case 68: arg5++; // 132 5 1

   416     case 71: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   417     case 72: if (stack.pop() == stack.pop()) { gt = 50; continue; } // 159 255 234

   418     case 75: stack.push(0); // 3

   419     case 76: return stack.pop(); // 172

   420     case 77: stack.push(arg1); // 43

   421     case 78: stack.push(arg0); // 42

   422     case 79: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.equalsZLjava_lang_Object(self, v0)); } // 182 1 131

   423     case 82: if (stack.pop() == 0) { gt = 87; continue; } // 153 0 5

   424     case 85: stack.push(1); // 4

   425     case 86: return stack.pop(); // 172

   426     case 87: stack.push(arg0); // 42

   427     case 88: stack.push(stack.pop().value); // 180 1 100

   428     case 91: arg2 = stack.pop(); // 77

   429     case 92: stack.push(arg0); // 42

   430     case 93: stack.push(stack.pop().offset); // 180 1 99

   431     case 96: arg3 = stack.pop(); // 62

   432     case 97: stack.push(0); // 3

   433     case 98: arg4 = stack.pop() // 54 4

   434     case 100: stack.push(arg0); // 42

   435     case 101: stack.push(stack.pop().count); // 180 1 97

   436     case 104: arg5 = stack.pop() // 54 5

   437     case 106: stack.push(arg5); // 21 5

   438     case 108: arg5 += 255; // 132 5 255

   439     case 111: if (stack.pop() == 0) { gt = 136; continue; } // 153 0 25

   440     case 114: stack.push(arg2); // 44

   441     case 115: stack.push(arg3); // 29

   442     case 116: arg3++; // 132 3 1

   443     case 119: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   444     case 120: stack.push(arg1); // 43

   445     case 121: stack.push(arg4); // 21 4

   446     case 123: arg4++; // 132 4 1

   447     case 126: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.charAtCI(self, v0)); } // 185 1 189

   448     case 129:  // 2

   449     case 130:  // 0

   450     case 131: if (stack.pop() == stack.pop()) { gt = 106; continue; } // 159 255 231

   451     case 134: stack.push(0); // 3

   452     case 135: return stack.pop(); // 172

   453     case 136: stack.push(1); // 4

   454     case 137: return stack.pop(); // 172

   455   }

   456 }

   457 function java_lang_String_equalsIgnoreCaseZLjava_lang_String(arg0,arg1) {

   458   var arg2;

   459 ;

   460   var stack = new Array(6);

   461   var gt = 0;

   462   for(;;) switch(gt) {

   463     case 0: stack.push(arg0); // 42

   464     case 1: stack.push(arg1); // 43

   465     case 2:  // 166

   466     case 3:  // 0

   467     case 4: stack.push(4); // 7

   468     case 5: stack.push(1); // 4

   469     case 6: gt = 44; continue; // 167 0 38

   470     case 9: stack.push(arg1); // 43

   471     case 10: if (!stack.pop()) { gt = 43; continue; } // 198 0 33

   472     case 13: stack.push(arg1); // 43

   473     case 14: stack.push(stack.pop().count); // 180 1 97

   474     case 17: stack.push(arg0); // 42

   475     case 18: stack.push(stack.pop().count); // 180 1 97

   476     case 21: if (stack.pop() != stack.pop()) { gt = 43; continue; } // 160 0 22

   477     case 24: stack.push(arg0); // 42

   478     case 25: stack.push(1); // 4

   479     case 26: stack.push(0); // 3

   480     case 27: stack.push(arg1); // 43

   481     case 28: stack.push(0); // 3

   482     case 29: stack.push(arg0); // 42

   483     case 30: stack.push(stack.pop().count); // 180 1 97

   484     case 33: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.regionMatchesZZILjava_lang_StringII(self, v0, v1, v2, v3, v4)); } // 182 1 153

   485     case 36: if (stack.pop() == 0) { gt = 43; continue; } // 153 0 7

   486     case 39: stack.push(1); // 4

   487     case 40: gt = 44; continue; // 167 0 4

   488     case 43: stack.push(0); // 3

   489     case 44: return stack.pop(); // 172

   490   }

   491 }

   492 function java_lang_String_compareToILjava_lang_String(arg0,arg1) {

   493   var arg2;

   494   var arg3;

   495   var arg4;

   496   var arg5;

   497   var arg6;

   498   var arg7;

   499   var arg8;

   500   var arg9;

   501   var arg10;

   502   var arg11;

   503   var arg12;

   504   var arg13;

   505 ;

   506   var stack = new Array(2);

   507   var gt = 0;

   508   for(;;) switch(gt) {

   509     case 0: stack.push(arg0); // 42

   510     case 1: stack.push(stack.pop().count); // 180 1 97

   511     case 4: arg2 = stack.pop(); // 61

   512     case 5: stack.push(arg1); // 43

   513     case 6: stack.push(stack.pop().count); // 180 1 97

   514     case 9: arg3 = stack.pop(); // 62

   515     case 10: stack.push(arg2); // 28

   516     case 11: stack.push(arg3); // 29

   517     case 12: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Math_minIII(v0, v1)); } // 184 1 127

   518     case 15: arg4 = stack.pop() // 54 4

   519     case 17: stack.push(arg0); // 42

   520     case 18: stack.push(stack.pop().value); // 180 1 100

   521     case 21: arg5 = stack.pop() // 58 5

   522     case 23: stack.push(arg1); // 43

   523     case 24: stack.push(stack.pop().value); // 180 1 100

   524     case 27: arg6 = stack.pop() // 58 6

   525     case 29: stack.push(arg0); // 42

   526     case 30: stack.push(stack.pop().offset); // 180 1 99

   527     case 33: arg7 = stack.pop() // 54 7

   528     case 35: stack.push(arg1); // 43

   529     case 36: stack.push(stack.pop().offset); // 180 1 99

   530     case 39: arg8 = stack.pop() // 54 8

   531     case 41: stack.push(arg7); // 21 7

   532     case 43: stack.push(arg8); // 21 8

   533     case 45: if (stack.pop() != stack.pop()) { gt = 102; continue; } // 160 0 57

   534     case 48: stack.push(arg7); // 21 7

   535     case 50: arg9 = stack.pop() // 54 9

   536     case 52: stack.push(arg4); // 21 4

   537     case 54: stack.push(arg7); // 21 7

   538     case 56: stack.push(stack.pop() + stack.pop()); // 96

   539     case 57: arg10 = stack.pop() // 54 10

   540     case 59: stack.push(arg9); // 21 9

   541     case 61: stack.push(arg10); // 21 10

   542     case 63: if (stack.pop() <= stack.pop()) { gt = 99; continue; } // 162 0 36

   543     case 66: stack.push(arg5); // 25 5

   544     case 68: stack.push(arg9); // 21 9

   545     case 70: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   546     case 71: arg11 = stack.pop() // 54 11

   547     case 73: stack.push(arg6); // 25 6

   548     case 75: stack.push(arg9); // 21 9

   549     case 77: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   550     case 78: arg12 = stack.pop() // 54 12

   551     case 80: stack.push(arg11); // 21 11

   552     case 82: stack.push(arg12); // 21 12

   553     case 84: if (stack.pop() == stack.pop()) { gt = 93; continue; } // 159 0 9

   554     case 87: stack.push(arg11); // 21 11

   555     case 89: stack.push(arg12); // 21 12

   556     case 91: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   557     case 92: return stack.pop(); // 172

   558     case 93: arg9++; // 132 9 1

   559     case 96: gt = 59; continue; // 167 255 219

   560     case 99: gt = 146; continue; // 167 0 47

   561     case 102: stack.push(arg4); // 21 4

   562     case 104: arg4 += 255; // 132 4 255

   563     case 107: if (stack.pop() == 0) { gt = 146; continue; } // 153 0 39

   564     case 110: stack.push(arg5); // 25 5

   565     case 112: stack.push(arg7); // 21 7

   566     case 114: arg7++; // 132 7 1

   567     case 117: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   568     case 118: arg9 = stack.pop() // 54 9

   569     case 120: stack.push(arg6); // 25 6

   570     case 122: stack.push(arg8); // 21 8

   571     case 124: arg8++; // 132 8 1

   572     case 127: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   573     case 128: arg10 = stack.pop() // 54 10

   574     case 130: stack.push(arg9); // 21 9

   575     case 132: stack.push(arg10); // 21 10

   576     case 134: if (stack.pop() == stack.pop()) { gt = 143; continue; } // 159 0 9

   577     case 137: stack.push(arg9); // 21 9

   578     case 139: stack.push(arg10); // 21 10

   579     case 141: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   580     case 142: return stack.pop(); // 172

   581     case 143: gt = 102; continue; // 167 255 215

   582     case 146: stack.push(arg2); // 28

   583     case 147: stack.push(arg3); // 29

   584     case 148: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   585     case 149: return stack.pop(); // 172

   586   }

   587 }

   588 function java_lang_String_compareToIgnoreCaseILjava_lang_String(arg0,arg1) {

   589   var arg2;

   590 ;

   591   var stack = new Array(3);

   592   var gt = 0;

   593   for(;;) switch(gt) {

   594     case 0: stack.push(java_lang_String_CASE_INSENSITIVE_ORDER); // 178 1 102

   595     case 3: stack.push(arg0); // 42

   596     case 4: stack.push(arg1); // 43

   597     case 5: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.compareILjava_lang_ObjectLjava_lang_Object(self, v0, v1)); } // 185 1 190

   598     case 8: stack.push(0); // 3

   599     case 9:  // 0

   600     case 10: return stack.pop(); // 172

   601   }

   602 }

   603 function java_lang_String_regionMatchesZILjava_lang_StringII(arg0,arg1,arg2,arg3,arg4) {

   604   var arg5;

   605   var arg6;

   606   var arg7;

   607   var arg8;

   608   var arg9;

   609 ;

   610   var stack = new Array(6);

   611   var gt = 0;

   612   for(;;) switch(gt) {

   613     case 0: stack.push(arg0); // 42

   614     case 1: stack.push(stack.pop().value); // 180 1 100

   615     case 4: arg5 = stack.pop() // 58 5

   616     case 6: stack.push(arg0); // 42

   617     case 7: stack.push(stack.pop().offset); // 180 1 99

   618     case 10: stack.push(arg1); // 27

   619     case 11: stack.push(stack.pop() + stack.pop()); // 96

   620     case 12: arg6 = stack.pop() // 54 6

   621     case 14: stack.push(arg2); // 44

   622     case 15: stack.push(stack.pop().value); // 180 1 100

   623     case 18: arg7 = stack.pop() // 58 7

   624     case 20: stack.push(arg2); // 44

   625     case 21: stack.push(stack.pop().offset); // 180 1 99

   626     case 24: stack.push(arg3); // 29

   627     case 25: stack.push(stack.pop() + stack.pop()); // 96

   628     case 26: arg8 = stack.pop() // 54 8

   629     case 28: stack.push(arg3); // 29

   630     case 29: if (stack.pop() < 0) { gt = 66; continue; } // 155 0 37

   631     case 32: stack.push(arg1); // 27

   632     case 33: if (stack.pop() < 0) { gt = 66; continue; } // 155 0 33

   633     case 36: stack.push(arg1); // 27

   634     case 37: // number conversion  // 133

   635     case 38: stack.push(arg0); // 42

   636     case 39: stack.push(stack.pop().count); // 180 1 97

   637     case 42: // number conversion  // 133

   638     case 43: stack.push(arg4); // 21 4

   639     case 45: // number conversion  // 133

   640     case 46: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101

   641     case 47: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148

   642     case 48: if (stack.pop() > 0) { gt = 66; continue; } // 157 0 18

   643     case 51: stack.push(arg3); // 29

   644     case 52: // number conversion  // 133

   645     case 53: stack.push(arg2); // 44

   646     case 54: stack.push(stack.pop().count); // 180 1 97

   647     case 57: // number conversion  // 133

   648     case 58: stack.push(arg4); // 21 4

   649     case 60: // number conversion  // 133

   650     case 61: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101

   651     case 62: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148

   652     case 63: if (stack.pop() <= 0) { gt = 68; continue; } // 158 0 5

   653     case 66: stack.push(0); // 3

   654     case 67: return stack.pop(); // 172

   655     case 68: stack.push(arg4); // 21 4

   656     case 70: arg4 += 255; // 132 4 255

   657     case 73: if (stack.pop() <= 0) { gt = 97; continue; } // 158 0 24

   658     case 76: stack.push(arg5); // 25 5

   659     case 78: stack.push(arg6); // 21 6

   660     case 80: arg6++; // 132 6 1

   661     case 83: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   662     case 84: stack.push(arg7); // 25 7

   663     case 86: stack.push(arg8); // 21 8

   664     case 88: arg8++; // 132 8 1

   665     case 91: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   666     case 92: if (stack.pop() == stack.pop()) { gt = 68; continue; } // 159 255 232

   667     case 95: stack.push(0); // 3

   668     case 96: return stack.pop(); // 172

   669     case 97: stack.push(1); // 4

   670     case 98: return stack.pop(); // 172

   671   }

   672 }

   673 function java_lang_String_regionMatchesZZILjava_lang_StringII(arg0,arg1,arg2,arg3,arg4,arg5) {

   674   var arg6;

   675   var arg7;

   676   var arg8;

   677   var arg9;

   678   var arg10;

   679   var arg11;

   680   var arg12;

   681   var arg13;

   682   var arg14;

   683 ;

   684   var stack = new Array(6);

   685   var gt = 0;

   686   for(;;) switch(gt) {

   687     case 0: stack.push(arg0); // 42

   688     case 1: stack.push(stack.pop().value); // 180 1 100

   689     case 4: arg6 = stack.pop() // 58 6

   690     case 6: stack.push(arg0); // 42

   691     case 7: stack.push(stack.pop().offset); // 180 1 99

   692     case 10: stack.push(arg2); // 28

   693     case 11: stack.push(stack.pop() + stack.pop()); // 96

   694     case 12: arg7 = stack.pop() // 54 7

   695     case 14: stack.push(arg3); // 45

   696     case 15: stack.push(stack.pop().value); // 180 1 100

   697     case 18: arg8 = stack.pop() // 58 8

   698     case 20: stack.push(arg3); // 45

   699     case 21: stack.push(stack.pop().offset); // 180 1 99

   700     case 24: stack.push(arg4); // 21 4

   701     case 26: stack.push(stack.pop() + stack.pop()); // 96

   702     case 27: arg9 = stack.pop() // 54 9

   703     case 29: stack.push(arg4); // 21 4

   704     case 31: if (stack.pop() < 0) { gt = 69; continue; } // 155 0 38

   705     case 34: stack.push(arg2); // 28

   706     case 35: if (stack.pop() < 0) { gt = 69; continue; } // 155 0 34

   707     case 38: stack.push(arg2); // 28

   708     case 39: // number conversion  // 133

   709     case 40: stack.push(arg0); // 42

   710     case 41: stack.push(stack.pop().count); // 180 1 97

   711     case 44: // number conversion  // 133

   712     case 45: stack.push(arg5); // 21 5

   713     case 47: // number conversion  // 133

   714     case 48: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101

   715     case 49: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148

   716     case 50: if (stack.pop() > 0) { gt = 69; continue; } // 157 0 19

   717     case 53: stack.push(arg4); // 21 4

   718     case 55: // number conversion  // 133

   719     case 56: stack.push(arg3); // 45

   720     case 57: stack.push(stack.pop().count); // 180 1 97

   721     case 60: // number conversion  // 133

   722     case 61: stack.push(arg5); // 21 5

   723     case 63: // number conversion  // 133

   724     case 64: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101

   725     case 65: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148

   726     case 66: if (stack.pop() <= 0) { gt = 71; continue; } // 158 0 5

   727     case 69: stack.push(0); // 3

   728     case 70: return stack.pop(); // 172

   729     case 71: stack.push(arg5); // 21 5

   730     case 73: arg5 += 255; // 132 5 255

   731     case 76: if (stack.pop() <= 0) { gt = 155; continue; } // 158 0 79

   732     case 79: stack.push(arg6); // 25 6

   733     case 81: stack.push(arg7); // 21 7

   734     case 83: arg7++; // 132 7 1

   735     case 86: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   736     case 87: arg10 = stack.pop() // 54 10

   737     case 89: stack.push(arg8); // 25 8

   738     case 91: stack.push(arg9); // 21 9

   739     case 93: arg9++; // 132 9 1

   740     case 96: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   741     case 97: arg11 = stack.pop() // 54 11

   742     case 99: stack.push(arg10); // 21 10

   743     case 101: stack.push(arg11); // 21 11

   744     case 103: if (stack.pop() != stack.pop()) { gt = 109; continue; } // 160 0 6

   745     case 106: gt = 71; continue; // 167 255 221

   746     case 109: stack.push(arg1); // 27

   747     case 110: if (stack.pop() == 0) { gt = 153; continue; } // 153 0 43

   748     case 113: stack.push(arg10); // 21 10

   749     case 115: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseCC(v0)); } // 184 1 105

   750     case 118: arg12 = stack.pop() // 54 12

   751     case 120: stack.push(arg11); // 21 11

   752     case 122: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseCC(v0)); } // 184 1 105

   753     case 125: arg13 = stack.pop() // 54 13

   754     case 127: stack.push(arg12); // 21 12

   755     case 129: stack.push(arg13); // 21 13

   756     case 131: if (stack.pop() != stack.pop()) { gt = 137; continue; } // 160 0 6

   757     case 134: gt = 71; continue; // 167 255 193

   758     case 137: stack.push(arg12); // 21 12

   759     case 139: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseCC(v0)); } // 184 1 104

   760     case 142: stack.push(arg13); // 21 13

   761     case 144: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseCC(v0)); } // 184 1 104

   762     case 147: if (stack.pop() != stack.pop()) { gt = 153; continue; } // 160 0 6

   763     case 150: gt = 71; continue; // 167 255 177

   764     case 153: stack.push(0); // 3

   765     case 154: return stack.pop(); // 172

   766     case 155: stack.push(1); // 4

   767     case 156: return stack.pop(); // 172

   768   }

   769 }

   770 function java_lang_String_startsWithZLjava_lang_StringI(arg0,arg1,arg2) {

   771   var arg3;

   772   var arg4;

   773   var arg5;

   774   var arg6;

   775   var arg7;

   776   var arg8;

   777 ;

   778   var stack = new Array(3);

   779   var gt = 0;

   780   for(;;) switch(gt) {

   781     case 0: stack.push(arg0); // 42

   782     case 1: stack.push(stack.pop().value); // 180 1 100

   783     case 4: arg3 = stack.pop(); // 78

   784     case 5: stack.push(arg0); // 42

   785     case 6: stack.push(stack.pop().offset); // 180 1 99

   786     case 9: stack.push(arg2); // 28

   787     case 10: stack.push(stack.pop() + stack.pop()); // 96

   788     case 11: arg4 = stack.pop() // 54 4

   789     case 13: stack.push(arg1); // 43

   790     case 14: stack.push(stack.pop().value); // 180 1 100

   791     case 17: arg5 = stack.pop() // 58 5

   792     case 19: stack.push(arg1); // 43

   793     case 20: stack.push(stack.pop().offset); // 180 1 99

   794     case 23: arg6 = stack.pop() // 54 6

   795     case 25: stack.push(arg1); // 43

   796     case 26: stack.push(stack.pop().count); // 180 1 97

   797     case 29: arg7 = stack.pop() // 54 7

   798     case 31: stack.push(arg2); // 28

   799     case 32: if (stack.pop() < 0) { gt = 46; continue; } // 155 0 14

   800     case 35: stack.push(arg2); // 28

   801     case 36: stack.push(arg0); // 42

   802     case 37: stack.push(stack.pop().count); // 180 1 97

   803     case 40: stack.push(arg7); // 21 7

   804     case 42: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   805     case 43: if (stack.pop() >= stack.pop()) { gt = 48; continue; } // 164 0 5

   806     case 46: stack.push(0); // 3

   807     case 47: return stack.pop(); // 172

   808     case 48: arg7 += 255; // 132 7 255

   809     case 51: stack.push(arg7); // 21 7

   810     case 53: if (stack.pop() < 0) { gt = 76; continue; } // 155 0 23

   811     case 56: stack.push(arg3); // 45

   812     case 57: stack.push(arg4); // 21 4

   813     case 59: arg4++; // 132 4 1

   814     case 62: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   815     case 63: stack.push(arg5); // 25 5

   816     case 65: stack.push(arg6); // 21 6

   817     case 67: arg6++; // 132 6 1

   818     case 70: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   819     case 71: if (stack.pop() == stack.pop()) { gt = 48; continue; } // 159 255 233

   820     case 74: stack.push(0); // 3

   821     case 75: return stack.pop(); // 172

   822     case 76: stack.push(1); // 4

   823     case 77: return stack.pop(); // 172

   824   }

   825 }

   826 function java_lang_String_startsWithZLjava_lang_String(arg0,arg1) {

   827   var arg2;

   828 ;

   829   var stack = new Array(3);

   830   var gt = 0;

   831   for(;;) switch(gt) {

   832     case 0: stack.push(arg0); // 42

   833     case 1: stack.push(arg1); // 43

   834     case 2: stack.push(0); // 3

   835     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.startsWithZLjava_lang_StringI(self, v0, v1)); } // 182 1 152

   836     case 6: return stack.pop(); // 172

   837   }

   838 }

   839 function java_lang_String_endsWithZLjava_lang_String(arg0,arg1) {

   840   var arg2;

   841 ;

   842   var stack = new Array(4);

   843   var gt = 0;

   844   for(;;) switch(gt) {

   845     case 0: stack.push(arg0); // 42

   846     case 1: stack.push(arg1); // 43

   847     case 2: stack.push(arg0); // 42

   848     case 3: stack.push(stack.pop().count); // 180 1 97

   849     case 6: stack.push(arg1); // 43

   850     case 7: stack.push(stack.pop().count); // 180 1 97

   851     case 10: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   852     case 11: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.startsWithZLjava_lang_StringI(self, v0, v1)); } // 182 1 152

   853     case 14: return stack.pop(); // 172

   854   }

   855 }

   856 function java_lang_String_hashCodeI(arg0) {

   857   var arg1;

   858   var arg2;

   859   var arg3;

   860   var arg4;

   861   var arg5;

   862   var arg6;

   863 ;

   864   var stack = new Array(3);

   865   var gt = 0;

   866   for(;;) switch(gt) {

   867     case 0: stack.push(arg0); // 42

   868     case 1: stack.push(stack.pop().hash); // 180 1 98

   869     case 4: arg1 = stack.pop(); // 60

   870     case 5: stack.push(arg0); // 42

   871     case 6: stack.push(stack.pop().count); // 180 1 97

   872     case 9: arg2 = stack.pop(); // 61

   873     case 10: stack.push(arg1); // 27

   874     case 11: if (stack.pop() != 0) { gt = 62; continue; } // 154 0 51

   875     case 14: stack.push(arg2); // 28

   876     case 15: if (stack.pop() <= 0) { gt = 62; continue; } // 158 0 47

   877     case 18: stack.push(arg0); // 42

   878     case 19: stack.push(stack.pop().offset); // 180 1 99

   879     case 22: arg3 = stack.pop(); // 62

   880     case 23: stack.push(arg0); // 42

   881     case 24: stack.push(stack.pop().value); // 180 1 100

   882     case 27: arg4 = stack.pop() // 58 4

   883     case 29: stack.push(0); // 3

   884     case 30: arg5 = stack.pop() // 54 5

   885     case 32: stack.push(arg5); // 21 5

   886     case 34: stack.push(arg2); // 28

   887     case 35: if (stack.pop() <= stack.pop()) { gt = 57; continue; } // 162 0 22

   888     case 38: stack.push(31); // 16 31

   889     case 40: stack.push(arg1); // 27

   890     case 41: stack.push(stack.pop() * stack.pop()); // 104

   891     case 42: stack.push(arg4); // 25 4

   892     case 44: stack.push(arg3); // 29

   893     case 45: arg3++; // 132 3 1

   894     case 48: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   895     case 49: stack.push(stack.pop() + stack.pop()); // 96

   896     case 50: arg1 = stack.pop(); // 60

   897     case 51: arg5++; // 132 5 1

   898     case 54: gt = 32; continue; // 167 255 234

   899     case 57: stack.push(arg0); // 42

   900     case 58: stack.push(arg1); // 27

   901     case 59: { var v = stack.pop(); stack.pop().hash = v; } // 181 1 98

   902     case 62: stack.push(arg1); // 27

   903     case 63: return stack.pop(); // 172

   904   }

   905 }

   906 function java_lang_String_lastIndexOfII(arg0,arg1) {

   907   var arg2;

   908 ;

   909   var stack = new Array(4);

   910   var gt = 0;

   911   for(;;) switch(gt) {

   912     case 0: stack.push(arg0); // 42

   913     case 1: stack.push(arg1); // 27

   914     case 2: stack.push(arg0); // 42

   915     case 3: stack.push(stack.pop().count); // 180 1 97

   916     case 6: stack.push(1); // 4

   917     case 7: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   918     case 8: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.lastIndexOfIII(self, v0, v1)); } // 182 1 136

   919     case 11: return stack.pop(); // 172

   920   }

   921 }

   922 function java_lang_String_lastIndexOfIII(arg0,arg1,arg2) {

   923   var arg3;

   924   var arg4;

   925   var arg5;

   926   var arg6;

   927   var arg7;

   928   var arg8;

   929 ;

   930   var stack = new Array(3);

   931   var gt = 0;

   932   for(;;) switch(gt) {

   933     case 0: stack.push(arg0); // 42

   934     case 1: stack.push(stack.pop().offset); // 180 1 99

   935     case 4: arg3 = stack.pop(); // 62

   936     case 5: stack.push(arg0); // 42

   937     case 6: stack.push(stack.pop().value); // 180 1 100

   938     case 9: arg4 = stack.pop() // 58 4

   939     case 11: stack.push(arg0); // 42

   940     case 12: stack.push(stack.pop().offset); // 180 1 99

   941     case 15: stack.push(arg2); // 28

   942     case 16: stack.push(arg0); // 42

   943     case 17: stack.push(stack.pop().count); // 180 1 97

   944     case 20: if (stack.pop() > stack.pop()) { gt = 32; continue; } // 161 0 12

   945     case 23: stack.push(arg0); // 42

   946     case 24: stack.push(stack.pop().count); // 180 1 97

   947     case 27: stack.push(1); // 4

   948     case 28: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   949     case 29: gt = 33; continue; // 167 0 4

   950     case 32: stack.push(arg2); // 28

   951     case 33: stack.push(stack.pop() + stack.pop()); // 96

   952     case 34: arg5 = stack.pop() // 54 5

   953     case 36: stack.push(arg1); // 27

   954     case 37: stack.push(65536); // 18 3

   955     case 39: if (stack.pop() <= stack.pop()) { gt = 73; continue; } // 162 0 34

   956     case 42: stack.push(arg5); // 21 5

   957     case 44: stack.push(arg3); // 29

   958     case 45: if (stack.pop() > stack.pop()) { gt = 71; continue; } // 161 0 26

   959     case 48: stack.push(arg4); // 25 4

   960     case 50: stack.push(arg5); // 21 5

   961     case 52: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   962     case 53: stack.push(arg1); // 27

   963     case 54: if (stack.pop() != stack.pop()) { gt = 65; continue; } // 160 0 11

   964     case 57: stack.push(arg5); // 21 5

   965     case 59: stack.push(arg0); // 42

   966     case 60: stack.push(stack.pop().offset); // 180 1 99

   967     case 63: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

   968     case 64: return stack.pop(); // 172

   969     case 65: arg5 += 255; // 132 5 255

   970     case 68: gt = 42; continue; // 167 255 230

   971     case 71:  // 2

   972     case 72: return stack.pop(); // 172

   973     case 73: stack.push(arg0); // 42

   974     case 74: stack.push(stack.pop().offset); // 180 1 99

   975     case 77: stack.push(arg0); // 42

   976     case 78: stack.push(stack.pop().count); // 180 1 97

   977     case 81: stack.push(stack.pop() + stack.pop()); // 96

   978     case 82: arg6 = stack.pop() // 54 6

   979     case 84: stack.push(arg1); // 27

   980     case 85: stack.push(1114111); // 18 4

   981     case 87: if (stack.pop() < stack.pop()) { gt = 154; continue; } // 163 0 67

   982     case 90: stack.push(arg1); // 27

   983     case 91: { var v0 = stack.pop(); stack.push(java_lang_Character_toCharsACI(v0)); } // 184 1 109

   984     case 94: arg7 = stack.pop() // 58 7

   985     case 96: stack.push(arg5); // 21 5

   986     case 98: stack.push(arg3); // 29

   987     case 99: if (stack.pop() > stack.pop()) { gt = 154; continue; } // 161 0 55

   988     case 102: stack.push(arg4); // 25 4

   989     case 104: stack.push(arg5); // 21 5

   990     case 106: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   991     case 107: stack.push(arg7); // 25 7

   992     case 109: stack.push(0); // 3

   993     case 110: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

   994     case 111: if (stack.pop() != stack.pop()) { gt = 148; continue; } // 160 0 37

   995     case 114: stack.push(arg5); // 21 5

   996     case 116: stack.push(1); // 4

   997     case 117: stack.push(stack.pop() + stack.pop()); // 96

   998     case 118: stack.push(arg6); // 21 6

   999     case 120: if (stack.pop() != stack.pop()) { gt = 126; continue; } // 160 0 6

  1000     case 123: gt = 154; continue; // 167 0 31

  1001     case 126: stack.push(arg4); // 25 4

  1002     case 128: stack.push(arg5); // 21 5

  1003     case 130: stack.push(1); // 4

  1004     case 131: stack.push(stack.pop() + stack.pop()); // 96

  1005     case 132: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1006     case 133: stack.push(arg7); // 25 7

  1007     case 135: stack.push(1); // 4

  1008     case 136: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1009     case 137: if (stack.pop() != stack.pop()) { gt = 148; continue; } // 160 0 11

  1010     case 140: stack.push(arg5); // 21 5

  1011     case 142: stack.push(arg0); // 42

  1012     case 143: stack.push(stack.pop().offset); // 180 1 99

  1013     case 146: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1014     case 147: return stack.pop(); // 172

  1015     case 148: arg5 += 255; // 132 5 255

  1016     case 151: gt = 96; continue; // 167 255 201

  1017     case 154:  // 2

  1018     case 155: return stack.pop(); // 172

  1019   }

  1020 }

  1021 function java_lang_String_indexOfILjava_lang_String(arg0,arg1) {

  1022   var arg2;

  1023 ;

  1024   var stack = new Array(3);

  1025   var gt = 0;

  1026   for(;;) switch(gt) {

  1027     case 0: stack.push(arg0); // 42

  1028     case 1: stack.push(arg1); // 43

  1029     case 2: stack.push(0); // 3

  1030     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.indexOfILjava_lang_StringI(self, v0, v1)); } // 182 1 150

  1031     case 6: return stack.pop(); // 172

  1032   }

  1033 }

  1034 function java_lang_String_indexOfILjava_lang_StringI(arg0,arg1,arg2) {

  1035   var arg3;

  1036 ;

  1037   var stack = new Array(7);

  1038   var gt = 0;

  1039   for(;;) switch(gt) {

  1040     case 0: stack.push(arg0); // 42

  1041     case 1: stack.push(stack.pop().value); // 180 1 100

  1042     case 4: stack.push(arg0); // 42

  1043     case 5: stack.push(stack.pop().offset); // 180 1 99

  1044     case 8: stack.push(arg0); // 42

  1045     case 9: stack.push(stack.pop().count); // 180 1 97

  1046     case 12: stack.push(arg1); // 43

  1047     case 13: stack.push(stack.pop().value); // 180 1 100

  1048     case 16: stack.push(arg1); // 43

  1049     case 17: stack.push(stack.pop().offset); // 180 1 99

  1050     case 20: stack.push(arg1); // 43

  1051     case 21: stack.push(stack.pop().count); // 180 1 97

  1052     case 24: stack.push(arg2); // 28

  1053     case 25: { var v6 = stack.pop(); var v5 = stack.pop(); var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_String_indexOfAIACAIAIACAIAIAI(v0, v1, v2, v3, v4, v5, v6)); } // 184 1 144

  1054     case 28: return stack.pop(); // 172

  1055   }

  1056 }

  1057 function java_lang_String_indexOfIACIIACIII(arg0,arg1,arg2,arg3,arg4,arg5,arg6) {

  1058   var arg7;

  1059   var arg8;

  1060   var arg9;

  1061   var arg10;

  1062   var arg11;

  1063   var arg12;

  1064   var stack = new Array();

  1065   var gt = 0;

  1066   for(;;) switch(gt) {

  1067     case 0: stack.push(arg6); // 21 6

  1068     case 2: stack.push(arg2); // 28

  1069     case 3: if (stack.pop() > stack.pop()) { gt = 17; continue; } // 161 0 14

  1070     case 6: stack.push(arg5); // 21 5

  1071     case 8: if (stack.pop() != 0) { gt = 15; continue; } // 154 0 7

  1072     case 11: stack.push(arg2); // 28

  1073     case 12: gt = 16; continue; // 167 0 4

  1074     case 15:  // 2

  1075     case 16: return stack.pop(); // 172

  1076     case 17: stack.push(arg6); // 21 6

  1077     case 19: if (stack.pop() >= 0) { gt = 25; continue; } // 156 0 6

  1078     case 22: stack.push(0); // 3

  1079     case 23: arg6 = stack.pop() // 54 6

  1080     case 25: stack.push(arg5); // 21 5

  1081     case 27: if (stack.pop() != 0) { gt = 33; continue; } // 154 0 6

  1082     case 30: stack.push(arg6); // 21 6

  1083     case 32: return stack.pop(); // 172

  1084     case 33: stack.push(arg3); // 45

  1085     case 34: stack.push(arg4); // 21 4

  1086     case 36: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1087     case 37: arg7 = stack.pop() // 54 7

  1088     case 39: stack.push(arg1); // 27

  1089     case 40: stack.push(arg2); // 28

  1090     case 41: stack.push(arg5); // 21 5

  1091     case 43: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1092     case 44: stack.push(stack.pop() + stack.pop()); // 96

  1093     case 45: arg8 = stack.pop() // 54 8

  1094     case 47: stack.push(arg1); // 27

  1095     case 48: stack.push(arg6); // 21 6

  1096     case 50: stack.push(stack.pop() + stack.pop()); // 96

  1097     case 51: arg9 = stack.pop() // 54 9

  1098     case 53: stack.push(arg9); // 21 9

  1099     case 55: stack.push(arg8); // 21 8

  1100     case 57: if (stack.pop() < stack.pop()) { gt = 164; continue; } // 163 0 107

  1101     case 60: stack.push(arg0); // 42

  1102     case 61: stack.push(arg9); // 21 9

  1103     case 63: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1104     case 64: stack.push(arg7); // 21 7

  1105     case 66: if (stack.pop() == stack.pop()) { gt = 91; continue; } // 159 0 25

  1106     case 69: arg9++; // 132 9 1

  1107     case 72: stack.push(arg9); // 21 9

  1108     case 74: stack.push(arg8); // 21 8

  1109     case 76: if (stack.pop() < stack.pop()) { gt = 91; continue; } // 163 0 15

  1110     case 79: stack.push(arg0); // 42

  1111     case 80: stack.push(arg9); // 21 9

  1112     case 82: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1113     case 83: stack.push(arg7); // 21 7

  1114     case 85: if (stack.pop() == stack.pop()) { gt = 91; continue; } // 159 0 6

  1115     case 88: gt = 69; continue; // 167 255 237

  1116     case 91: stack.push(arg9); // 21 9

  1117     case 93: stack.push(arg8); // 21 8

  1118     case 95: if (stack.pop() < stack.pop()) { gt = 158; continue; } // 163 0 63

  1119     case 98: stack.push(arg9); // 21 9

  1120     case 100: stack.push(1); // 4

  1121     case 101: stack.push(stack.pop() + stack.pop()); // 96

  1122     case 102: arg10 = stack.pop() // 54 10

  1123     case 104: stack.push(arg10); // 21 10

  1124     case 106: stack.push(arg5); // 21 5

  1125     case 108: stack.push(stack.pop() + stack.pop()); // 96

  1126     case 109: stack.push(1); // 4

  1127     case 110: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1128     case 111: arg11 = stack.pop() // 54 11

  1129     case 113: stack.push(arg4); // 21 4

  1130     case 115: stack.push(1); // 4

  1131     case 116: stack.push(stack.pop() + stack.pop()); // 96

  1132     case 117: arg12 = stack.pop() // 54 12

  1133     case 119: stack.push(arg10); // 21 10

  1134     case 121: stack.push(arg11); // 21 11

  1135     case 123: if (stack.pop() <= stack.pop()) { gt = 146; continue; } // 162 0 23

  1136     case 126: stack.push(arg0); // 42

  1137     case 127: stack.push(arg10); // 21 10

  1138     case 129: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1139     case 130: stack.push(arg3); // 45

  1140     case 131: stack.push(arg12); // 21 12

  1141     case 133: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1142     case 134: if (stack.pop() != stack.pop()) { gt = 146; continue; } // 160 0 12

  1143     case 137: arg10++; // 132 10 1

  1144     case 140: arg12++; // 132 12 1

  1145     case 143: gt = 119; continue; // 167 255 232

  1146     case 146: stack.push(arg10); // 21 10

  1147     case 148: stack.push(arg11); // 21 11

  1148     case 150: if (stack.pop() != stack.pop()) { gt = 158; continue; } // 160 0 8

  1149     case 153: stack.push(arg9); // 21 9

  1150     case 155: stack.push(arg1); // 27

  1151     case 156: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1152     case 157: return stack.pop(); // 172

  1153     case 158: arg9++; // 132 9 1

  1154     case 161: gt = 53; continue; // 167 255 148

  1155     case 164:  // 2

  1156     case 165: return stack.pop(); // 172

  1157   }

  1158 }

  1159 function java_lang_String_lastIndexOfILjava_lang_String(arg0,arg1) {

  1160   var arg2;

  1161 ;

  1162   var stack = new Array(3);

  1163   var gt = 0;

  1164   for(;;) switch(gt) {

  1165     case 0: stack.push(arg0); // 42

  1166     case 1: stack.push(arg1); // 43

  1167     case 2: stack.push(arg0); // 42

  1168     case 3: stack.push(stack.pop().count); // 180 1 97

  1169     case 6: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.lastIndexOfILjava_lang_StringI(self, v0, v1)); } // 182 1 151

  1170     case 9: return stack.pop(); // 172

  1171   }

  1172 }

  1173 function java_lang_String_lastIndexOfILjava_lang_StringI(arg0,arg1,arg2) {

  1174   var arg3;

  1175 ;

  1176   var stack = new Array(7);

  1177   var gt = 0;

  1178   for(;;) switch(gt) {

  1179     case 0: stack.push(arg0); // 42

  1180     case 1: stack.push(stack.pop().value); // 180 1 100

  1181     case 4: stack.push(arg0); // 42

  1182     case 5: stack.push(stack.pop().offset); // 180 1 99

  1183     case 8: stack.push(arg0); // 42

  1184     case 9: stack.push(stack.pop().count); // 180 1 97

  1185     case 12: stack.push(arg1); // 43

  1186     case 13: stack.push(stack.pop().value); // 180 1 100

  1187     case 16: stack.push(arg1); // 43

  1188     case 17: stack.push(stack.pop().offset); // 180 1 99

  1189     case 20: stack.push(arg1); // 43

  1190     case 21: stack.push(stack.pop().count); // 180 1 97

  1191     case 24: stack.push(arg2); // 28

  1192     case 25: { var v6 = stack.pop(); var v5 = stack.pop(); var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_String_lastIndexOfAIACAIAIACAIAIAI(v0, v1, v2, v3, v4, v5, v6)); } // 184 1 145

  1193     case 28: return stack.pop(); // 172

  1194   }

  1195 }

  1196 function java_lang_String_lastIndexOfIACIIACIII(arg0,arg1,arg2,arg3,arg4,arg5,arg6) {

  1197   var arg7;

  1198   var arg8;

  1199   var arg9;

  1200   var arg10;

  1201   var arg11;

  1202   var arg12;

  1203   var arg13;

  1204   var arg14;

  1205   var stack = new Array();

  1206   var gt = 0;

  1207   for(;;) switch(gt) {

  1208     case 0: stack.push(arg2); // 28

  1209     case 1: stack.push(arg5); // 21 5

  1210     case 3: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1211     case 4: arg7 = stack.pop() // 54 7

  1212     case 6: stack.push(arg6); // 21 6

  1213     case 8: if (stack.pop() >= 0) { gt = 13; continue; } // 156 0 5

  1214     case 11:  // 2

  1215     case 12: return stack.pop(); // 172

  1216     case 13: stack.push(arg6); // 21 6

  1217     case 15: stack.push(arg7); // 21 7

  1218     case 17: if (stack.pop() >= stack.pop()) { gt = 24; continue; } // 164 0 7

  1219     case 20: stack.push(arg7); // 21 7

  1220     case 22: arg6 = stack.pop() // 54 6

  1221     case 24: stack.push(arg5); // 21 5

  1222     case 26: if (stack.pop() != 0) { gt = 32; continue; } // 154 0 6

  1223     case 29: stack.push(arg6); // 21 6

  1224     case 31: return stack.pop(); // 172

  1225     case 32: stack.push(arg4); // 21 4

  1226     case 34: stack.push(arg5); // 21 5

  1227     case 36: stack.push(stack.pop() + stack.pop()); // 96

  1228     case 37: stack.push(1); // 4

  1229     case 38: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1230     case 39: arg8 = stack.pop() // 54 8

  1231     case 41: stack.push(arg3); // 45

  1232     case 42: stack.push(arg8); // 21 8

  1233     case 44: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1234     case 45: arg9 = stack.pop() // 54 9

  1235     case 47: stack.push(arg1); // 27

  1236     case 48: stack.push(arg5); // 21 5

  1237     case 50: stack.push(stack.pop() + stack.pop()); // 96

  1238     case 51: stack.push(1); // 4

  1239     case 52: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1240     case 53: arg10 = stack.pop() // 54 10

  1241     case 55: stack.push(arg10); // 21 10

  1242     case 57: stack.push(arg6); // 21 6

  1243     case 59: stack.push(stack.pop() + stack.pop()); // 96

  1244     case 60: arg11 = stack.pop() // 54 11

  1245     case 62: stack.push(arg11); // 21 11

  1246     case 64: stack.push(arg10); // 21 10

  1247     case 66: if (stack.pop() > stack.pop()) { gt = 84; continue; } // 161 0 18

  1248     case 69: stack.push(arg0); // 42

  1249     case 70: stack.push(arg11); // 21 11

  1250     case 72: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1251     case 73: stack.push(arg9); // 21 9

  1252     case 75: if (stack.pop() == stack.pop()) { gt = 84; continue; } // 159 0 9

  1253     case 78: arg11 += 255; // 132 11 255

  1254     case 81: gt = 62; continue; // 167 255 237

  1255     case 84: stack.push(arg11); // 21 11

  1256     case 86: stack.push(arg10); // 21 10

  1257     case 88: if (stack.pop() <= stack.pop()) { gt = 93; continue; } // 162 0 5

  1258     case 91:  // 2

  1259     case 92: return stack.pop(); // 172

  1260     case 93: stack.push(arg11); // 21 11

  1261     case 95: stack.push(1); // 4

  1262     case 96: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1263     case 97: arg12 = stack.pop() // 54 12

  1264     case 99: stack.push(arg12); // 21 12

  1265     case 101: stack.push(arg5); // 21 5

  1266     case 103: stack.push(1); // 4

  1267     case 104: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1268     case 105: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1269     case 106: arg13 = stack.pop() // 54 13

  1270     case 108: stack.push(arg8); // 21 8

  1271     case 110: stack.push(1); // 4

  1272     case 111: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1273     case 112: arg14 = stack.pop() // 54 14

  1274     case 114: stack.push(arg12); // 21 12

  1275     case 116: stack.push(arg13); // 21 13

  1276     case 118: if (stack.pop() >= stack.pop()) { gt = 144; continue; } // 164 0 26

  1277     case 121: stack.push(arg0); // 42

  1278     case 122: stack.push(arg12); // 21 12

  1279     case 124: arg12 += 255; // 132 12 255

  1280     case 127: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1281     case 128: stack.push(arg3); // 45

  1282     case 129: stack.push(arg14); // 21 14

  1283     case 131: arg14 += 255; // 132 14 255

  1284     case 134: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1285     case 135: if (stack.pop() == stack.pop()) { gt = 114; continue; } // 159 255 235

  1286     case 138: arg11 += 255; // 132 11 255

  1287     case 141: gt = 62; continue; // 167 255 177

  1288     case 144: stack.push(arg13); // 21 13

  1289     case 146: stack.push(arg1); // 27

  1290     case 147: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1291     case 148: stack.push(1); // 4

  1292     case 149: stack.push(stack.pop() + stack.pop()); // 96

  1293     case 150: return stack.pop(); // 172

  1294   }

  1295 }

  1296 */

  1297 function java_lang_String_substringLjava_lang_StringI(arg0,arg1) {

  1298     return arg0.toString().substring(arg1);

  1299 }

  1300 function java_lang_String_substringLjava_lang_StringII(arg0,arg1,arg2) {

  1301     return arg0.toString().substring(arg1, arg2);

  1302 }

  1304 function java_lang_String_replaceLjava_lang_StringCC(arg0,arg1,arg2) {

  1305     if (typeof arg1 === 'number') arg1 = String.fromCharCode(arg1);

  1306     if (typeof arg2 === 'number') arg2 = String.fromCharCode(arg2);

  1307     var s = arg0.toString();

  1308     for (;;) {

  1309         var ret = s.replace(arg1, arg2);

  1310         if (ret === s) {

  1311             return ret;

  1312         }

  1313         s = ret;

  1314     }

  1315 }

  1316 function java_lang_String_containsZLjava_lang_CharSequence(arg0,arg1) {

  1317     return arg0.toString().indexOf(arg1.toString()) >= 0;

  1318 }

  1320 /*

  1321 function java_lang_String_subSequenceLjava_lang_CharSequenceII(arg0,arg1,arg2) {

  1322   var arg3;

  1323 ;

  1324   var stack = new Array(3);

  1325   var gt = 0;

  1326   for(;;) switch(gt) {

  1327     case 0: stack.push(arg0); // 42

  1328     case 1: stack.push(arg1); // 27

  1329     case 2: stack.push(arg2); // 28

  1330     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.substringLjava_lang_StringII(self, v0, v1)); } // 182 1 147

  1331     case 6: return stack.pop(); // 176

  1332   }

  1333 }

  1334 function java_lang_String_concatLjava_lang_StringLjava_lang_String(arg0,arg1) {

  1335   var arg2;

  1336   var arg3;

  1337   var arg4;

  1338 ;

  1339   var stack = new Array(5);

  1340   var gt = 0;

  1341   for(;;) switch(gt) {

  1342     case 0: stack.push(arg1); // 43

  1343     case 1: { var self = stack.pop(); stack.push(self.lengthI(self)); } // 182 1 133

  1344     case 4: arg2 = stack.pop(); // 61

  1345     case 5: stack.push(arg2); // 28

  1346     case 6: if (stack.pop() != 0) { gt = 11; continue; } // 154 0 5

  1347     case 9: stack.push(arg0); // 42

  1348     case 10: return stack.pop(); // 176

  1349     case 11: stack.push(arg0); // 42

  1350     case 12: stack.push(stack.pop().count); // 180 1 97

  1351     case 15: stack.push(arg2); // 28

  1352     case 16: stack.push(stack.pop() + stack.pop()); // 96

  1353     case 17: stack.push(new Array(stack.pop())); // 188 5

  1354     case 19: arg3 = stack.pop(); // 78

  1355     case 20: stack.push(arg0); // 42

  1356     case 21: stack.push(0); // 3

  1357     case 22: stack.push(arg0); // 42

  1358     case 23: stack.push(stack.pop().count); // 180 1 97

  1359     case 26: stack.push(arg3); // 45

  1360     case 27: stack.push(0); // 3

  1361     case 28: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); self.getCharsVIIACAI(self, v0, v1, v2, v3); } // 182 1 138

  1362     case 31: stack.push(arg1); // 43

  1363     case 32: stack.push(0); // 3

  1364     case 33: stack.push(arg2); // 28

  1365     case 34: stack.push(arg3); // 45

  1366     case 35: stack.push(arg0); // 42

  1367     case 36: stack.push(stack.pop().count); // 180 1 97

  1368     case 39: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); self.getCharsVIIACAI(self, v0, v1, v2, v3); } // 182 1 138

  1369     case 42: stack.push(new java_lang_String); // 187 0 200

  1370     case 45: stack.push(stack[stack.length - 1]); // 89

  1371     case 46: stack.push(0); // 3

  1372     case 47: stack.push(arg0); // 42

  1373     case 48: stack.push(stack.pop().count); // 180 1 97

  1374     case 51: stack.push(arg2); // 28

  1375     case 52: stack.push(stack.pop() + stack.pop()); // 96

  1376     case 53: stack.push(arg3); // 45

  1377     case 54: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137

  1378     case 57: return stack.pop(); // 176

  1379   }

  1380 }

  1381 function java_lang_String_matchesZLjava_lang_String(arg0,arg1) {

  1382   var arg2;

  1383 ;

  1384   var stack = new Array(2);

  1385   var gt = 0;

  1386   for(;;) switch(gt) {

  1387     case 0: stack.push(arg1); // 43

  1388     case 1: stack.push(arg0); // 42

  1389     case 2: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_util_regex_Pattern_matchesZLjava_lang_StringLjava_lang_CharSequence(v0, v1)); } // 184 1 183

  1390     case 5: return stack.pop(); // 172

  1391   }

  1392 }

  1393 function java_lang_String_replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String(arg0,arg1,arg2) {

  1394   var arg3;

  1395 ;

  1396   var stack = new Array(2);

  1397   var gt = 0;

  1398   for(;;) switch(gt) {

  1399     case 0: stack.push(arg1); // 43

  1400     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186

  1401     case 4: stack.push(arg0); // 42

  1402     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185

  1403     case 8: stack.push(arg2); // 44

  1404     case 9: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceFirstLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 182

  1405     case 12: return stack.pop(); // 176

  1406   }

  1407 }

  1408 function java_lang_String_replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String(arg0,arg1,arg2) {

  1409   var arg3;

  1410 ;

  1411   var stack = new Array(2);

  1412   var gt = 0;

  1413   for(;;) switch(gt) {

  1414     case 0: stack.push(arg1); // 43

  1415     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186

  1416     case 4: stack.push(arg0); // 42

  1417     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185

  1418     case 8: stack.push(arg2); // 44

  1419     case 9: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceAllLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 181

  1420     case 12: return stack.pop(); // 176

  1421   }

  1422 }

  1423 function java_lang_String_replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence(arg0,arg1,arg2) {

  1424   var arg3;

  1425 ;

  1426   var stack = new Array(2);

  1427   var gt = 0;

  1428   for(;;) switch(gt) {

  1429     case 0: stack.push(arg1); // 43

  1430     case 1: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132

  1431     case 4: stack.push(16); // 16 16

  1432     case 6: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_StringI(v0, v1)); } // 184 1 187

  1433     case 9: stack.push(arg0); // 42

  1434     case 10: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185

  1435     case 13: stack.push(arg2); // 44

  1436     case 14: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132

  1437     case 17: { var v0 = stack.pop(); stack.push(java_util_regex_Matcher_quoteReplacementLjava_lang_StringLjava_lang_String(v0)); } // 184 1 180

  1438     case 20: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceAllLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 181

  1439     case 23: return stack.pop(); // 176

  1440   }

  1441 }

  1442 function java_lang_String_splitALjava_lang_StringLjava_lang_StringI(arg0,arg1,arg2) {

  1443   var arg3;

  1444 ;

  1445   var stack = new Array(3);

  1446   var gt = 0;

  1447   for(;;) switch(gt) {

  1448     case 0: stack.push(arg1); // 43

  1449     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186

  1450     case 4: stack.push(arg0); // 42

  1451     case 5: stack.push(arg2); // 28

  1452     case 6: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.splitALjava_lang_StringLjava_lang_CharSequenceI(self, v0, v1)); } // 182 1 184

  1453     case 9: return stack.pop(); // 176

  1454   }

  1455 }

  1456 function java_lang_String_splitALjava_lang_StringLjava_lang_String(arg0,arg1) {

  1457   var arg2;

  1458 ;

  1459   var stack = new Array(3);

  1460   var gt = 0;

  1461   for(;;) switch(gt) {

  1462     case 0: stack.push(arg0); // 42

  1463     case 1: stack.push(arg1); // 43

  1464     case 2: stack.push(0); // 3

  1465     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.splitALjava_lang_StringLjava_lang_StringI(self, v0, v1)); } // 182 1 157

  1466     case 6: return stack.pop(); // 176

  1467   }

  1468 }

  1469 function java_lang_String_toLowerCaseLjava_lang_StringLjava_util_Locale(arg0,arg1) {

  1470   var arg2;

  1471   var arg3;

  1472   var arg4;

  1473   var arg5;

  1474   var arg6;

  1475   var arg7;

  1476   var arg8;

  1477   var arg9;

  1478   var arg10;

  1479   var arg11;

  1480   var arg12;

  1481   var arg13;

  1482   var arg14;

  1483 ;

  1484   var stack = new Array(6);

  1485   var gt = 0;

  1486   for(;;) switch(gt) {

  1487     case 0: stack.push(arg1); // 43

  1488     case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11

  1489     case 4: stack.push(new java_lang_NullPointerException); // 187 0 198

  1490     case 7: stack.push(stack[stack.length - 1]); // 89

  1491     case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128

  1492     case 11:  // 191

  1493     case 12: stack.push(0); // 3

  1494     case 13: arg2 = stack.pop(); // 61

  1495     case 14: stack.push(arg2); // 28

  1496     case 15: stack.push(arg0); // 42

  1497     case 16: stack.push(stack.pop().count); // 180 1 97

  1498     case 19: if (stack.pop() <= stack.pop()) { gt = 94; continue; } // 162 0 75

  1499     case 22: stack.push(arg0); // 42

  1500     case 23: stack.push(stack.pop().value); // 180 1 100

  1501     case 26: stack.push(arg0); // 42

  1502     case 27: stack.push(stack.pop().offset); // 180 1 99

  1503     case 30: stack.push(arg2); // 28

  1504     case 31: stack.push(stack.pop() + stack.pop()); // 96

  1505     case 32: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1506     case 33: arg3 = stack.pop(); // 62

  1507     case 34: stack.push(arg3); // 29

  1508     case 35: stack.push(55296); // 18 1

  1509     case 37: if (stack.pop() > stack.pop()) { gt = 77; continue; } // 161 0 40

  1510     case 40: stack.push(arg3); // 29

  1511     case 41: stack.push(56319); // 18 2

  1512     case 43: if (stack.pop() < stack.pop()) { gt = 77; continue; } // 163 0 34

  1513     case 46: stack.push(arg0); // 42

  1514     case 47: stack.push(arg2); // 28

  1515     case 48: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

  1516     case 51: arg4 = stack.pop() // 54 4

  1517     case 53: stack.push(arg4); // 21 4

  1518     case 55: stack.push(arg4); // 21 4

  1519     case 57: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseII(v0)); } // 184 1 107

  1520     case 60: if (stack.pop() == stack.pop()) { gt = 66; continue; } // 159 0 6

  1521     case 63: gt = 96; continue; // 167 0 33

  1522     case 66: stack.push(arg2); // 28

  1523     case 67: stack.push(arg4); // 21 4

  1524     case 69: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

  1525     case 72: stack.push(stack.pop() + stack.pop()); // 96

  1526     case 73: arg2 = stack.pop(); // 61

  1527     case 74: gt = 91; continue; // 167 0 17

  1528     case 77: stack.push(arg3); // 29

  1529     case 78: stack.push(arg3); // 29

  1530     case 79: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseCC(v0)); } // 184 1 104

  1531     case 82: if (stack.pop() == stack.pop()) { gt = 88; continue; } // 159 0 6

  1532     case 85: gt = 96; continue; // 167 0 11

  1533     case 88: arg2++; // 132 2 1

  1534     case 91: gt = 14; continue; // 167 255 179

  1535     case 94: stack.push(arg0); // 42

  1536     case 95: return stack.pop(); // 176

  1537     case 96: stack.push(arg0); // 42

  1538     case 97: stack.push(stack.pop().count); // 180 1 97

  1539     case 100: stack.push(new Array(stack.pop())); // 188 5

  1540     case 102: arg3 = stack.pop(); // 78

  1541     case 103: stack.push(0); // 3

  1542     case 104: arg4 = stack.pop() // 54 4

  1543     case 106: stack.push(arg0); // 42

  1544     case 107: stack.push(stack.pop().value); // 180 1 100

  1545     case 110: stack.push(arg0); // 42

  1546     case 111: stack.push(stack.pop().offset); // 180 1 99

  1547     case 114: stack.push(arg3); // 45

  1548     case 115: stack.push(0); // 3

  1549     case 116: stack.push(arg2); // 28

  1550     case 117: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171

  1551     case 120: stack.push(arg1); // 43

  1552     case 121: { var self = stack.pop(); stack.push(self.getLanguageLjava_lang_String(self)); } // 182 1 178

  1553     case 124: arg5 = stack.pop() // 58 5

  1554     case 126: stack.push(arg5); // 25 5

  1555     case 128: stack.push("tr"); // 18 11

  1556     case 130:  // 165

  1557     case 131:  // 0

  1558     case 132: stack.push(6405); // 17 25 5

  1559     case 135: stack.push("az"); // 18 5

  1560     case 137:  // 165

  1561     case 138:  // 0

  1562     case 139: stack.push(1); // 10

  1563     case 140: stack.push(arg5); // 25 5

  1564     case 142: stack.push("lt"); // 18 9

  1565     case 144:  // 166

  1566     case 145:  // 0

  1567     case 146: stack.push(4); // 7

  1568     case 147: stack.push(1); // 4

  1569     case 148: gt = 152; continue; // 167 0 4

  1570     case 151: stack.push(0); // 3

  1571     case 152: arg6 = stack.pop() // 54 6

  1572     case 154: stack.push(arg2); // 28

  1573     case 155: arg11 = stack.pop() // 54 11

  1574     case 157: stack.push(arg11); // 21 11

  1575     case 159: stack.push(arg0); // 42

  1576     case 160: stack.push(stack.pop().count); // 180 1 97

  1577     case 163: if (stack.pop() <= stack.pop()) { gt = 419; continue; } // 162 1 0

  1578     case 166: stack.push(arg0); // 42

  1579     case 167: stack.push(stack.pop().value); // 180 1 100

  1580     case 170: stack.push(arg0); // 42

  1581     case 171: stack.push(stack.pop().offset); // 180 1 99

  1582     case 174: stack.push(arg11); // 21 11

  1583     case 176: stack.push(stack.pop() + stack.pop()); // 96

  1584     case 177: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1585     case 178: arg9 = stack.pop() // 54 9

  1586     case 180: stack.push(arg9); // 21 9

  1587     case 182: // number conversion  // 146

  1588     case 183: stack.push(55296); // 18 1

  1589     case 185: if (stack.pop() > stack.pop()) { gt = 214; continue; } // 161 0 29

  1590     case 188: stack.push(arg9); // 21 9

  1591     case 190: // number conversion  // 146

  1592     case 191: stack.push(56319); // 18 2

  1593     case 193: if (stack.pop() < stack.pop()) { gt = 214; continue; } // 163 0 21

  1594     case 196: stack.push(arg0); // 42

  1595     case 197: stack.push(arg11); // 21 11

  1596     case 199: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

  1597     case 202: arg9 = stack.pop() // 54 9

  1598     case 204: stack.push(arg9); // 21 9

  1599     case 206: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

  1600     case 209: arg10 = stack.pop() // 54 10

  1601     case 211: gt = 217; continue; // 167 0 6

  1602     case 214: stack.push(1); // 4

  1603     case 215: arg10 = stack.pop() // 54 10

  1604     case 217: stack.push(arg6); // 21 6

  1605     case 219: if (stack.pop() != 0) { gt = 230; continue; } // 154 0 11

  1606     case 222: stack.push(arg9); // 21 9

  1607     case 224: stack.push(931); // 17 3 163

  1608     case 227: if (stack.pop() != stack.pop()) { gt = 242; continue; } // 160 0 15

  1609     case 230: stack.push(arg0); // 42

  1610     case 231: stack.push(arg11); // 21 11

  1611     case 233: stack.push(arg1); // 43

  1612     case 234: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toLowerCaseExILjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 117

  1613     case 237: arg8 = stack.pop() // 54 8

  1614     case 239: gt = 249; continue; // 167 0 10

  1615     case 242: stack.push(arg9); // 21 9

  1616     case 244: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseII(v0)); } // 184 1 107

  1617     case 247: arg8 = stack.pop() // 54 8

  1618     case 249: stack.push(arg8); // 21 8

  1619     case 251:  // 2

  1620     case 252: if (stack.pop() == stack.pop()) { gt = 262; continue; } // 159 0 10

  1621     case 255: stack.push(arg8); // 21 8

  1622     case 257: stack.push(65536); // 18 3

  1623     case 259: if (stack.pop() > stack.pop()) { gt = 399; continue; } // 161 0 140

  1624     case 262: stack.push(arg8); // 21 8

  1625     case 264:  // 2

  1626     case 265: if (stack.pop() != stack.pop()) { gt = 280; continue; } // 160 0 15

  1627     case 268: stack.push(arg0); // 42

  1628     case 269: stack.push(arg11); // 21 11

  1629     case 271: stack.push(arg1); // 43

  1630     case 272: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toLowerCaseCharArrayACLjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 119

  1631     case 275: arg7 = stack.pop() // 58 7

  1632     case 277: gt = 315; continue; // 167 0 38

  1633     case 280: stack.push(arg10); // 21 10

  1634     case 282: stack.push(2); // 5

  1635     case 283: if (stack.pop() != stack.pop()) { gt = 308; continue; } // 160 0 25

  1636     case 286: stack.push(arg4); // 21 4

  1637     case 288: stack.push(arg8); // 21 8

  1638     case 290: stack.push(arg3); // 45

  1639     case 291: stack.push(arg11); // 21 11

  1640     case 293: stack.push(arg4); // 21 4

  1641     case 295: stack.push(stack.pop() + stack.pop()); // 96

  1642     case 296: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_toCharsAIIACAI(v0, v1, v2)); } // 184 1 111

  1643     case 299: stack.push(arg10); // 21 10

  1644     case 301: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1645     case 302: stack.push(stack.pop() + stack.pop()); // 96

  1646     case 303: arg4 = stack.pop() // 54 4

  1647     case 305: gt = 409; continue; // 167 0 104

  1648     case 308: stack.push(arg8); // 21 8

  1649     case 310: { var v0 = stack.pop(); stack.push(java_lang_Character_toCharsACI(v0)); } // 184 1 109

  1650     case 313: arg7 = stack.pop() // 58 7

  1651     case 315: stack.push(arg7); // 25 7

  1652     case 317: stack.push(stack.pop().length); // 190

  1653     case 318: arg12 = stack.pop() // 54 12

  1654     case 320: stack.push(arg12); // 21 12

  1655     case 322: stack.push(arg10); // 21 10

  1656     case 324: if (stack.pop() >= stack.pop()) { gt = 355; continue; } // 164 0 31

  1657     case 327: stack.push(arg3); // 45

  1658     case 328: stack.push(stack.pop().length); // 190

  1659     case 329: stack.push(arg12); // 21 12

  1660     case 331: stack.push(stack.pop() + stack.pop()); // 96

  1661     case 332: stack.push(arg10); // 21 10

  1662     case 334: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1663     case 335: stack.push(new Array(stack.pop())); // 188 5

  1664     case 337: arg13 = stack.pop() // 58 13

  1665     case 339: stack.push(arg3); // 45

  1666     case 340: stack.push(0); // 3

  1667     case 341: stack.push(arg13); // 25 13

  1668     case 343: stack.push(0); // 3

  1669     case 344: stack.push(arg11); // 21 11

  1670     case 346: stack.push(arg4); // 21 4

  1671     case 348: stack.push(stack.pop() + stack.pop()); // 96

  1672     case 349: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171

  1673     case 352: stack.push(arg13); // 25 13

  1674     case 354: arg3 = stack.pop(); // 78

  1675     case 355: stack.push(0); // 3

  1676     case 356: arg13 = stack.pop() // 54 13

  1677     case 358: stack.push(arg13); // 21 13

  1678     case 360: stack.push(arg12); // 21 12

  1679     case 362: if (stack.pop() <= stack.pop()) { gt = 386; continue; } // 162 0 24

  1680     case 365: stack.push(arg3); // 45

  1681     case 366: stack.push(arg11); // 21 11

  1682     case 368: stack.push(arg4); // 21 4

  1683     case 370: stack.push(stack.pop() + stack.pop()); // 96

  1684     case 371: stack.push(arg13); // 21 13

  1685     case 373: stack.push(stack.pop() + stack.pop()); // 96

  1686     case 374: stack.push(arg7); // 25 7

  1687     case 376: stack.push(arg13); // 21 13

  1688     case 378: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1689     case 379: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  1690     case 380: arg13++; // 132 13 1

  1691     case 383: gt = 358; continue; // 167 255 231

  1692     case 386: stack.push(arg4); // 21 4

  1693     case 388: stack.push(arg12); // 21 12

  1694     case 390: stack.push(arg10); // 21 10

  1695     case 392: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1696     case 393: stack.push(stack.pop() + stack.pop()); // 96

  1697     case 394: arg4 = stack.pop() // 54 4

  1698     case 396: gt = 409; continue; // 167 0 13

  1699     case 399: stack.push(arg3); // 45

  1700     case 400: stack.push(arg11); // 21 11

  1701     case 402: stack.push(arg4); // 21 4

  1702     case 404: stack.push(stack.pop() + stack.pop()); // 96

  1703     case 405: stack.push(arg8); // 21 8

  1704     case 407: // number conversion  // 146

  1705     case 408: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  1706     case 409: stack.push(arg11); // 21 11

  1707     case 411: stack.push(arg10); // 21 10

  1708     case 413: stack.push(stack.pop() + stack.pop()); // 96

  1709     case 414: arg11 = stack.pop() // 54 11

  1710     case 416: gt = 157; continue; // 167 254 253

  1711     case 419: stack.push(new java_lang_String); // 187 0 200

  1712     case 422: stack.push(stack[stack.length - 1]); // 89

  1713     case 423: stack.push(0); // 3

  1714     case 424: stack.push(arg0); // 42

  1715     case 425: stack.push(stack.pop().count); // 180 1 97

  1716     case 428: stack.push(arg4); // 21 4

  1717     case 430: stack.push(stack.pop() + stack.pop()); // 96

  1718     case 431: stack.push(arg3); // 45

  1719     case 432: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137

  1720     case 435: return stack.pop(); // 176

  1721   }

  1722 }

  1723 function java_lang_String_toLowerCaseLjava_lang_String(arg0) {

  1724   var arg1;

  1725 ;

  1726   var stack = new Array(2);

  1727   var gt = 0;

  1728   for(;;) switch(gt) {

  1729     case 0: stack.push(arg0); // 42

  1730     case 1: { stack.push(java_util_Locale_getDefaultLjava_util_Locale()); } // 184 1 179

  1731     case 4: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.toLowerCaseLjava_lang_StringLjava_util_Locale(self, v0)); } // 182 1 158

  1732     case 7: return stack.pop(); // 176

  1733   }

  1734 }

  1735 function java_lang_String_toUpperCaseLjava_lang_StringLjava_util_Locale(arg0,arg1) {

  1736   var arg2;

  1737   var arg3;

  1738   var arg4;

  1739   var arg5;

  1740   var arg6;

  1741   var arg7;

  1742   var arg8;

  1743   var arg9;

  1744   var arg10;

  1745   var arg11;

  1746   var arg12;

  1747   var arg13;

  1748   var arg14;

  1749 ;

  1750   var stack = new Array(6);

  1751   var gt = 0;

  1752   for(;;) switch(gt) {

  1753     case 0: stack.push(arg1); // 43

  1754     case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11

  1755     case 4: stack.push(new java_lang_NullPointerException); // 187 0 198

  1756     case 7: stack.push(stack[stack.length - 1]); // 89

  1757     case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128

  1758     case 11:  // 191

  1759     case 12: stack.push(0); // 3

  1760     case 13: arg2 = stack.pop(); // 61

  1761     case 14: stack.push(arg2); // 28

  1762     case 15: stack.push(arg0); // 42

  1763     case 16: stack.push(stack.pop().count); // 180 1 97

  1764     case 19: if (stack.pop() <= stack.pop()) { gt = 93; continue; } // 162 0 74

  1765     case 22: stack.push(arg0); // 42

  1766     case 23: stack.push(stack.pop().value); // 180 1 100

  1767     case 26: stack.push(arg0); // 42

  1768     case 27: stack.push(stack.pop().offset); // 180 1 99

  1769     case 30: stack.push(arg2); // 28

  1770     case 31: stack.push(stack.pop() + stack.pop()); // 96

  1771     case 32: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1772     case 33: arg3 = stack.pop(); // 62

  1773     case 34: stack.push(arg3); // 29

  1774     case 35: stack.push(55296); // 18 1

  1775     case 37: if (stack.pop() > stack.pop()) { gt = 61; continue; } // 161 0 24

  1776     case 40: stack.push(arg3); // 29

  1777     case 41: stack.push(56319); // 18 2

  1778     case 43: if (stack.pop() < stack.pop()) { gt = 61; continue; } // 163 0 18

  1779     case 46: stack.push(arg0); // 42

  1780     case 47: stack.push(arg2); // 28

  1781     case 48: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

  1782     case 51: arg3 = stack.pop(); // 62

  1783     case 52: stack.push(arg3); // 29

  1784     case 53: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

  1785     case 56: arg4 = stack.pop() // 54 4

  1786     case 58: gt = 64; continue; // 167 0 6

  1787     case 61: stack.push(1); // 4

  1788     case 62: arg4 = stack.pop() // 54 4

  1789     case 64: stack.push(arg3); // 29

  1790     case 65: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseExII(v0)); } // 184 1 108

  1791     case 68: arg5 = stack.pop() // 54 5

  1792     case 70: stack.push(arg5); // 21 5

  1793     case 72:  // 2

  1794     case 73: if (stack.pop() == stack.pop()) { gt = 95; continue; } // 159 0 22

  1795     case 76: stack.push(arg3); // 29

  1796     case 77: stack.push(arg5); // 21 5

  1797     case 79: if (stack.pop() == stack.pop()) { gt = 85; continue; } // 159 0 6

  1798     case 82: gt = 95; continue; // 167 0 13

  1799     case 85: stack.push(arg2); // 28

  1800     case 86: stack.push(arg4); // 21 4

  1801     case 88: stack.push(stack.pop() + stack.pop()); // 96

  1802     case 89: arg2 = stack.pop(); // 61

  1803     case 90: gt = 14; continue; // 167 255 180

  1804     case 93: stack.push(arg0); // 42

  1805     case 94: return stack.pop(); // 176

  1806     case 95: stack.push(arg0); // 42

  1807     case 96: stack.push(stack.pop().count); // 180 1 97

  1808     case 99: stack.push(new Array(stack.pop())); // 188 5

  1809     case 101: arg3 = stack.pop(); // 78

  1810     case 102: stack.push(0); // 3

  1811     case 103: arg4 = stack.pop() // 54 4

  1812     case 105: stack.push(arg0); // 42

  1813     case 106: stack.push(stack.pop().value); // 180 1 100

  1814     case 109: stack.push(arg0); // 42

  1815     case 110: stack.push(stack.pop().offset); // 180 1 99

  1816     case 113: stack.push(arg3); // 45

  1817     case 114: stack.push(0); // 3

  1818     case 115: stack.push(arg2); // 28

  1819     case 116: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171

  1820     case 119: stack.push(arg1); // 43

  1821     case 120: { var self = stack.pop(); stack.push(self.getLanguageLjava_lang_String(self)); } // 182 1 178

  1822     case 123: arg5 = stack.pop() // 58 5

  1823     case 125: stack.push(arg5); // 25 5

  1824     case 127: stack.push("tr"); // 18 11

  1825     case 129:  // 165

  1826     case 130:  // 0

  1827     case 131: stack.push(6405); // 17 25 5

  1828     case 134: stack.push("az"); // 18 5

  1829     case 136:  // 165

  1830     case 137:  // 0

  1831     case 138: stack.push(1); // 10

  1832     case 139: stack.push(arg5); // 25 5

  1833     case 141: stack.push("lt"); // 18 9

  1834     case 143:  // 166

  1835     case 144:  // 0

  1836     case 145: stack.push(4); // 7

  1837     case 146: stack.push(1); // 4

  1838     case 147: gt = 151; continue; // 167 0 4

  1839     case 150: stack.push(0); // 3

  1840     case 151: arg6 = stack.pop() // 54 6

  1841     case 153: stack.push(arg2); // 28

  1842     case 154: arg11 = stack.pop() // 54 11

  1843     case 156: stack.push(arg11); // 21 11

  1844     case 158: stack.push(arg0); // 42

  1845     case 159: stack.push(stack.pop().count); // 180 1 97

  1846     case 162: if (stack.pop() <= stack.pop()) { gt = 425; continue; } // 162 1 7

  1847     case 165: stack.push(arg0); // 42

  1848     case 166: stack.push(stack.pop().value); // 180 1 100

  1849     case 169: stack.push(arg0); // 42

  1850     case 170: stack.push(stack.pop().offset); // 180 1 99

  1851     case 173: stack.push(arg11); // 21 11

  1852     case 175: stack.push(stack.pop() + stack.pop()); // 96

  1853     case 176: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1854     case 177: arg9 = stack.pop() // 54 9

  1855     case 179: stack.push(arg9); // 21 9

  1856     case 181: // number conversion  // 146

  1857     case 182: stack.push(55296); // 18 1

  1858     case 184: if (stack.pop() > stack.pop()) { gt = 213; continue; } // 161 0 29

  1859     case 187: stack.push(arg9); // 21 9

  1860     case 189: // number conversion  // 146

  1861     case 190: stack.push(56319); // 18 2

  1862     case 192: if (stack.pop() < stack.pop()) { gt = 213; continue; } // 163 0 21

  1863     case 195: stack.push(arg0); // 42

  1864     case 196: stack.push(arg11); // 21 11

  1865     case 198: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

  1866     case 201: arg9 = stack.pop() // 54 9

  1867     case 203: stack.push(arg9); // 21 9

  1868     case 205: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

  1869     case 208: arg10 = stack.pop() // 54 10

  1870     case 210: gt = 216; continue; // 167 0 6

  1871     case 213: stack.push(1); // 4

  1872     case 214: arg10 = stack.pop() // 54 10

  1873     case 216: stack.push(arg6); // 21 6

  1874     case 218: if (stack.pop() == 0) { gt = 233; continue; } // 153 0 15

  1875     case 221: stack.push(arg0); // 42

  1876     case 222: stack.push(arg11); // 21 11

  1877     case 224: stack.push(arg1); // 43

  1878     case 225: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toUpperCaseExILjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 118

  1879     case 228: arg8 = stack.pop() // 54 8

  1880     case 230: gt = 240; continue; // 167 0 10

  1881     case 233: stack.push(arg9); // 21 9

  1882     case 235: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseExII(v0)); } // 184 1 108

  1883     case 238: arg8 = stack.pop() // 54 8

  1884     case 240: stack.push(arg8); // 21 8

  1885     case 242:  // 2

  1886     case 243: if (stack.pop() == stack.pop()) { gt = 253; continue; } // 159 0 10

  1887     case 246: stack.push(arg8); // 21 8

  1888     case 248: stack.push(65536); // 18 3

  1889     case 250: if (stack.pop() > stack.pop()) { gt = 405; continue; } // 161 0 155

  1890     case 253: stack.push(arg8); // 21 8

  1891     case 255:  // 2

  1892     case 256: if (stack.pop() != stack.pop()) { gt = 286; continue; } // 160 0 30

  1893     case 259: stack.push(arg6); // 21 6

  1894     case 261: if (stack.pop() == 0) { gt = 276; continue; } // 153 0 15

  1895     case 264: stack.push(arg0); // 42

  1896     case 265: stack.push(arg11); // 21 11

  1897     case 267: stack.push(arg1); // 43

  1898     case 268: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toUpperCaseCharArrayACLjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 120

  1899     case 271: arg7 = stack.pop() // 58 7

  1900     case 273: gt = 321; continue; // 167 0 48

  1901     case 276: stack.push(arg9); // 21 9

  1902     case 278: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseCharArrayACI(v0)); } // 184 1 110

  1903     case 281: arg7 = stack.pop() // 58 7

  1904     case 283: gt = 321; continue; // 167 0 38

  1905     case 286: stack.push(arg10); // 21 10

  1906     case 288: stack.push(2); // 5

  1907     case 289: if (stack.pop() != stack.pop()) { gt = 314; continue; } // 160 0 25

  1908     case 292: stack.push(arg4); // 21 4

  1909     case 294: stack.push(arg8); // 21 8

  1910     case 296: stack.push(arg3); // 45

  1911     case 297: stack.push(arg11); // 21 11

  1912     case 299: stack.push(arg4); // 21 4

  1913     case 301: stack.push(stack.pop() + stack.pop()); // 96

  1914     case 302: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_toCharsAIIACAI(v0, v1, v2)); } // 184 1 111

  1915     case 305: stack.push(arg10); // 21 10

  1916     case 307: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1917     case 308: stack.push(stack.pop() + stack.pop()); // 96

  1918     case 309: arg4 = stack.pop() // 54 4

  1919     case 311: gt = 415; continue; // 167 0 104

  1920     case 314: stack.push(arg8); // 21 8

  1921     case 316: { var v0 = stack.pop(); stack.push(java_lang_Character_toCharsACI(v0)); } // 184 1 109

  1922     case 319: arg7 = stack.pop() // 58 7

  1923     case 321: stack.push(arg7); // 25 7

  1924     case 323: stack.push(stack.pop().length); // 190

  1925     case 324: arg12 = stack.pop() // 54 12

  1926     case 326: stack.push(arg12); // 21 12

  1927     case 328: stack.push(arg10); // 21 10

  1928     case 330: if (stack.pop() >= stack.pop()) { gt = 361; continue; } // 164 0 31

  1929     case 333: stack.push(arg3); // 45

  1930     case 334: stack.push(stack.pop().length); // 190

  1931     case 335: stack.push(arg12); // 21 12

  1932     case 337: stack.push(stack.pop() + stack.pop()); // 96

  1933     case 338: stack.push(arg10); // 21 10

  1934     case 340: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1935     case 341: stack.push(new Array(stack.pop())); // 188 5

  1936     case 343: arg13 = stack.pop() // 58 13

  1937     case 345: stack.push(arg3); // 45

  1938     case 346: stack.push(0); // 3

  1939     case 347: stack.push(arg13); // 25 13

  1940     case 349: stack.push(0); // 3

  1941     case 350: stack.push(arg11); // 21 11

  1942     case 352: stack.push(arg4); // 21 4

  1943     case 354: stack.push(stack.pop() + stack.pop()); // 96

  1944     case 355: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171

  1945     case 358: stack.push(arg13); // 25 13

  1946     case 360: arg3 = stack.pop(); // 78

  1947     case 361: stack.push(0); // 3

  1948     case 362: arg13 = stack.pop() // 54 13

  1949     case 364: stack.push(arg13); // 21 13

  1950     case 366: stack.push(arg12); // 21 12

  1951     case 368: if (stack.pop() <= stack.pop()) { gt = 392; continue; } // 162 0 24

  1952     case 371: stack.push(arg3); // 45

  1953     case 372: stack.push(arg11); // 21 11

  1954     case 374: stack.push(arg4); // 21 4

  1955     case 376: stack.push(stack.pop() + stack.pop()); // 96

  1956     case 377: stack.push(arg13); // 21 13

  1957     case 379: stack.push(stack.pop() + stack.pop()); // 96

  1958     case 380: stack.push(arg7); // 25 7

  1959     case 382: stack.push(arg13); // 21 13

  1960     case 384: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1961     case 385: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  1962     case 386: arg13++; // 132 13 1

  1963     case 389: gt = 364; continue; // 167 255 231

  1964     case 392: stack.push(arg4); // 21 4

  1965     case 394: stack.push(arg12); // 21 12

  1966     case 396: stack.push(arg10); // 21 10

  1967     case 398: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1968     case 399: stack.push(stack.pop() + stack.pop()); // 96

  1969     case 400: arg4 = stack.pop() // 54 4

  1970     case 402: gt = 415; continue; // 167 0 13

  1971     case 405: stack.push(arg3); // 45

  1972     case 406: stack.push(arg11); // 21 11

  1973     case 408: stack.push(arg4); // 21 4

  1974     case 410: stack.push(stack.pop() + stack.pop()); // 96

  1975     case 411: stack.push(arg8); // 21 8

  1976     case 413: // number conversion  // 146

  1977     case 414: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  1978     case 415: stack.push(arg11); // 21 11

  1979     case 417: stack.push(arg10); // 21 10

  1980     case 419: stack.push(stack.pop() + stack.pop()); // 96

  1981     case 420: arg11 = stack.pop() // 54 11

  1982     case 422: gt = 156; continue; // 167 254 246

  1983     case 425: stack.push(new java_lang_String); // 187 0 200

  1984     case 428: stack.push(stack[stack.length - 1]); // 89

  1985     case 429: stack.push(0); // 3

  1986     case 430: stack.push(arg0); // 42

  1987     case 431: stack.push(stack.pop().count); // 180 1 97

  1988     case 434: stack.push(arg4); // 21 4

  1989     case 436: stack.push(stack.pop() + stack.pop()); // 96

  1990     case 437: stack.push(arg3); // 45

  1991     case 438: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137

  1992     case 441: return stack.pop(); // 176

  1993   }

  1994 }

  1995 function java_lang_String_toUpperCaseLjava_lang_String(arg0) {

  1996   var arg1;

  1997 ;

  1998   var stack = new Array(2);

  1999   var gt = 0;

  2000   for(;;) switch(gt) {

  2001     case 0: stack.push(arg0); // 42

  2002     case 1: { stack.push(java_util_Locale_getDefaultLjava_util_Locale()); } // 184 1 179

  2003     case 4: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.toUpperCaseLjava_lang_StringLjava_util_Locale(self, v0)); } // 182 1 159

  2004     case 7: return stack.pop(); // 176

  2005   }

  2006 }

  2007 function java_lang_String_trimLjava_lang_String(arg0) {

  2008   var arg1;

  2009   var arg2;

  2010   var arg3;

  2011   var arg4;

  2012   var arg5;

  2013 ;

  2014   var stack = new Array(3);

  2015   var gt = 0;

  2016   for(;;) switch(gt) {

  2017     case 0: stack.push(arg0); // 42

  2018     case 1: stack.push(stack.pop().count); // 180 1 97

  2019     case 4: arg1 = stack.pop(); // 60

  2020     case 5: stack.push(0); // 3

  2021     case 6: arg2 = stack.pop(); // 61

  2022     case 7: stack.push(arg0); // 42

  2023     case 8: stack.push(stack.pop().offset); // 180 1 99

  2024     case 11: arg3 = stack.pop(); // 62

  2025     case 12: stack.push(arg0); // 42

  2026     case 13: stack.push(stack.pop().value); // 180 1 100

  2027     case 16: arg4 = stack.pop() // 58 4

  2028     case 18: stack.push(arg2); // 28

  2029     case 19: stack.push(arg1); // 27

  2030     case 20: if (stack.pop() <= stack.pop()) { gt = 40; continue; } // 162 0 20

  2031     case 23: stack.push(arg4); // 25 4

  2032     case 25: stack.push(arg3); // 29

  2033     case 26: stack.push(arg2); // 28

  2034     case 27: stack.push(stack.pop() + stack.pop()); // 96

  2035     case 28: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2036     case 29: stack.push(32); // 16 32

  2037     case 31: if (stack.pop() < stack.pop()) { gt = 40; continue; } // 163 0 9

  2038     case 34: arg2++; // 132 2 1

  2039     case 37: gt = 18; continue; // 167 255 237

  2040     case 40: stack.push(arg2); // 28

  2041     case 41: stack.push(arg1); // 27

  2042     case 42: if (stack.pop() <= stack.pop()) { gt = 64; continue; } // 162 0 22

  2043     case 45: stack.push(arg4); // 25 4

  2044     case 47: stack.push(arg3); // 29

  2045     case 48: stack.push(arg1); // 27

  2046     case 49: stack.push(stack.pop() + stack.pop()); // 96

  2047     case 50: stack.push(1); // 4

  2048     case 51: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2049     case 52: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2050     case 53: stack.push(32); // 16 32

  2051     case 55: if (stack.pop() < stack.pop()) { gt = 64; continue; } // 163 0 9

  2052     case 58: arg1 += 255; // 132 1 255

  2053     case 61: gt = 40; continue; // 167 255 235

  2054     case 64: stack.push(arg2); // 28

  2055     case 65: if (stack.pop() > 0) { gt = 76; continue; } // 157 0 11

  2056     case 68: stack.push(arg1); // 27

  2057     case 69: stack.push(arg0); // 42

  2058     case 70: stack.push(stack.pop().count); // 180 1 97

  2059     case 73: if (stack.pop() <= stack.pop()) { gt = 85; continue; } // 162 0 12

  2060     case 76: stack.push(arg0); // 42

  2061     case 77: stack.push(arg2); // 28

  2062     case 78: stack.push(arg1); // 27

  2063     case 79: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.substringLjava_lang_StringII(self, v0, v1)); } // 182 1 147

  2064     case 82: gt = 86; continue; // 167 0 4

  2065     case 85: stack.push(arg0); // 42

  2066     case 86: return stack.pop(); // 176

  2067   }

  2068 }

  2069 */

  2070 function java_lang_String_toStringLjava_lang_String(arg0) {

  2071     return arg0.toString();

  2072 }

  2073 function java_lang_String_toCharArrayAC(arg0) {

  2074     return arg0.toString().split('');

  2075 }

  2076 /*

  2077 function java_lang_String_formatLjava_lang_StringLjava_lang_StringLjava_lang_Object(arg0,arg1) {

  2078   var stack = new Array();

  2079   var gt = 0;

  2080   for(;;) switch(gt) {

  2081     case 0: stack.push(new java_util_Formatter); // 187 0 211

  2082     case 3: stack.push(stack[stack.length - 1]); // 89

  2083     case 4: { java_util_Formatter_consV(stack.pop()); } // 183 1 174

  2084     case 7: stack.push(arg0); // 42

  2085     case 8: stack.push(arg1); // 43

  2086     case 9: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.formatALjava_util_FormatterLjava_lang_StringALjava_lang_Object(self, v0, v1)); } // 182 1 177

  2087     case 12: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 175

  2088     case 15: return stack.pop(); // 176

  2089   }

  2090 }

  2091 function java_lang_String_formatLjava_lang_StringLjava_util_LocaleLjava_lang_StringLjava_lang_Object(arg0,arg1,arg2) {

  2092   var stack = new Array();

  2093   var gt = 0;

  2094   for(;;) switch(gt) {

  2095     case 0: stack.push(new java_util_Formatter); // 187 0 211

  2096     case 3: stack.push(stack[stack.length - 1]); // 89

  2097     case 4: stack.push(arg0); // 42

  2098     case 5: { var v0 = stack.pop(); java_util_Formatter_consVLjava_util_Locale(stack.pop(), v0); } // 183 1 176

  2099     case 8: stack.push(arg1); // 43

  2100     case 9: stack.push(arg2); // 44

  2101     case 10: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.formatALjava_util_FormatterLjava_lang_StringALjava_lang_Object(self, v0, v1)); } // 182 1 177

  2102     case 13: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 175

  2103     case 16: return stack.pop(); // 176

  2104   }

  2105 }

  2106 function java_lang_String_valueOfLjava_lang_StringLjava_lang_Object(arg0) {

  2107   var stack = new Array();

  2108   var gt = 0;

  2109   for(;;) switch(gt) {

  2110     case 0: stack.push(arg0); // 42

  2111     case 1: if (stack.pop()) { gt = 9; continue; } // 199 0 8

  2112     case 4: stack.push("null"); // 18 10

  2113     case 6: gt = 13; continue; // 167 0 7

  2114     case 9: stack.push(arg0); // 42

  2115     case 10: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132

  2116     case 13: return stack.pop(); // 176

  2117   }

  2118 }

  2119 function java_lang_String_valueOfLjava_lang_StringAC(arg0) {

  2120   var stack = new Array();

  2121   var gt = 0;

  2122   for(;;) switch(gt) {

  2123     case 0: stack.push(new java_lang_String); // 187 0 200

  2124     case 3: stack.push(stack[stack.length - 1]); // 89

  2125     case 4: stack.push(arg0); // 42

  2126     case 5: { var v0 = stack.pop(); java_lang_String_consVAC(stack.pop(), v0); } // 183 1 142

  2127     case 8: return stack.pop(); // 176

  2128   }

  2129 }

  2130 function java_lang_String_valueOfLjava_lang_StringACII(arg0,arg1,arg2) {

  2131   var stack = new Array();

  2132   var gt = 0;

  2133   for(;;) switch(gt) {

  2134     case 0: stack.push(new java_lang_String); // 187 0 200

  2135     case 3: stack.push(stack[stack.length - 1]); // 89

  2136     case 4: stack.push(arg0); // 42

  2137     case 5: stack.push(arg1); // 27

  2138     case 6: stack.push(arg2); // 28

  2139     case 7: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVACAIAI(stack.pop(), v0, v1, v2); } // 183 1 143

  2140     case 10: return stack.pop(); // 176

  2141   }

  2142 }

  2143 function java_lang_String_copyValueOfLjava_lang_StringACII(arg0,arg1,arg2) {

  2144   var stack = new Array();

  2145   var gt = 0;

  2146   for(;;) switch(gt) {

  2147     case 0: stack.push(new java_lang_String); // 187 0 200

  2148     case 3: stack.push(stack[stack.length - 1]); // 89

  2149     case 4: stack.push(arg0); // 42

  2150     case 5: stack.push(arg1); // 27

  2151     case 6: stack.push(arg2); // 28

  2152     case 7: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVACAIAI(stack.pop(), v0, v1, v2); } // 183 1 143

  2153     case 10: return stack.pop(); // 176

  2154   }

  2155 }

  2156 function java_lang_String_copyValueOfLjava_lang_StringAC(arg0) {

  2157   var stack = new Array();

  2158   var gt = 0;

  2159   for(;;) switch(gt) {

  2160     case 0: stack.push(arg0); // 42

  2161     case 1: stack.push(0); // 3

  2162     case 2: stack.push(arg0); // 42

  2163     case 3: stack.push(stack.pop().length); // 190

  2164     case 4: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_String_copyValueOfALjava_lang_StringACAIAI(v0, v1, v2)); } // 184 1 155

  2165     case 7: return stack.pop(); // 176

  2166   }

  2167 }

  2168 function java_lang_String_valueOfLjava_lang_StringZ(arg0) {

  2169   var stack = new Array();

  2170   var gt = 0;

  2171   for(;;) switch(gt) {

  2172     case 0: stack.push(arg0); // 26

  2173     case 1: if (stack.pop() == 0) { gt = 9; continue; } // 153 0 8

  2174     case 4: stack.push("true"); // 18 12

  2175     case 6: gt = 11; continue; // 167 0 5

  2176     case 9: stack.push("false"); // 18 8

  2177     case 11: return stack.pop(); // 176

  2178   }

  2179 }

  2180 function java_lang_String_valueOfLjava_lang_StringC(arg0) {

  2181   var arg1;

  2182   var stack = new Array();

  2183   var gt = 0;

  2184   for(;;) switch(gt) {

  2185     case 0: stack.push(1); // 4

  2186     case 1: stack.push(new Array(stack.pop())); // 188 5

  2187     case 3: stack.push(stack[stack.length - 1]); // 89

  2188     case 4: stack.push(0); // 3

  2189     case 5: stack.push(arg0); // 26

  2190     case 6: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  2191     case 7: arg1 = stack.pop(); // 76

  2192     case 8: stack.push(new java_lang_String); // 187 0 200

  2193     case 11: stack.push(stack[stack.length - 1]); // 89

  2194     case 12: stack.push(0); // 3

  2195     case 13: stack.push(1); // 4

  2196     case 14: stack.push(arg1); // 43

  2197     case 15: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137

  2198     case 18: return stack.pop(); // 176

  2199   }

  2200 }

  2201 function java_lang_String_valueOfLjava_lang_StringJ(arg0) {

  2202   var arg1;

  2203   var stack = new Array();

  2204   var gt = 0;

  2205   for(;;) switch(gt) {

  2206     case 0: stack.push(arg0); // 30

  2207     case 1: stack.push(10); // 16 10

  2208     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Long_toStringLjava_lang_StringJI(v0, v1)); } // 184 1 126

  2209     case 6: return stack.pop(); // 176

  2210   }

  2211 }

  2212 function java_lang_String_valueOfLjava_lang_StringF(arg0) {

  2213   var stack = new Array();

  2214   var gt = 0;

  2215   for(;;) switch(gt) {

  2216     case 0: stack.push(arg0); // 34

  2217     case 1: { var v0 = stack.pop(); stack.push(java_lang_Float_toStringLjava_lang_StringF(v0)); } // 184 1 122

  2218     case 4: return stack.pop(); // 176

  2219   }

  2220 }

  2221 function java_lang_String_valueOfLjava_lang_StringD(arg0) {

  2222   var arg1;

  2223   var stack = new Array();

  2224   var gt = 0;

  2225   for(;;) switch(gt) {

  2226     case 0: stack.push(arg0); // 38

  2227     case 1: { var v0 = stack.pop(); stack.push(java_lang_Double_toStringLjava_lang_StringD(v0)); } // 184 1 121

  2228     case 4: return stack.pop(); // 176

  2229   }

  2230 }

  2231 function java_lang_String_internLjava_lang_String(arg0) {

  2232   // no code found for null

  2233 }

  2234 function java_lang_String_compareToILjava_lang_Object(arg0,arg1) {

  2235   var arg2;

  2236 ;

  2237   var stack = new Array(2);

  2238   var gt = 0;

  2239   for(;;) switch(gt) {

  2240     case 0: stack.push(arg0); // 42

  2241     case 1: stack.push(arg1); // 43

  2242     case 2: if(stack[stack.length - 1].$instOf_java_lang_String != 1) throw {}; // 192 0 200

  2243     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.compareToILjava_lang_String(self, v0)); } // 182 1 148

  2244     case 8: return stack.pop(); // 172

  2245   }

  2246 }

  2247 function java_lang_String_classV() {

  2248   var stack = new Array();

  2249   var gt = 0;

  2250   for(;;) switch(gt) {

  2251     case 0: stack.push(0); // 3

  2252     case 1: stack.push(new Array(stack.pop())); // 189 0 183

  2253     case 4: java_lang_String_serialPersistentFields = stack.pop(); // 179 1 101

  2254     case 7: stack.push(new java_lang_String$CaseInsensitiveComparator); // 187 0 202

  2255     case 10: stack.push(stack[stack.length - 1]); // 89

  2256     case 11:  // 1

  2257     case 12: { var v0 = stack.pop(); java_lang_String$CaseInsensitiveComparator_consVLjava_lang_String$1(stack.pop(), v0); } // 183 1 160

  2258     case 15: java_lang_String_CASE_INSENSITIVE_ORDER = stack.pop(); // 179 1 102

  2259     case 18: return; // 177

  2260   }

  2261 }

  2262 */

  2263 var java_lang_String_serialVersionUID = 0;

  2264 var java_lang_String_serialPersistentFields = 0;

  2265 var java_lang_String_CASE_INSENSITIVE_ORDER = 0;

  2266 function java_lang_String() {

  2267   /** the real value of this 'string' we delegate to */

  2268   this.r = '';

  2270   var self = this;

  2271     /*

  2272   this.value = 0;

  2273   this.offset = 0;

  2274   this.count = 0;

  2275   this.hash = 0;

  2276   */

  2277   this.toString = function() { return self.r; };

  2278 }

  2279 java_lang_String.prototype = new String;

  2280 //java_lang_String_classV();

  2282 /* new method for JavaScript String */

  2283 String.prototype.charAtCI = java_lang_String_charAtCI;

  2284 String.prototype.lengthI = java_lang_String_lengthI;

  2285 String.prototype.isEmptyZ = java_lang_String_isEmptyZ;

  2286 String.prototype.getCharsVIIACI = java_lang_String_getCharsVIIACAI;

  2287 String.prototype.getCharsVACI = java_lang_String_getCharsVACI;

  2288 String.prototype.toStringLjava_lang_String = java_lang_String_toStringLjava_lang_String;

  2289 String.prototype.substringLjava_lang_StringI = java_lang_String_substringLjava_lang_StringI;

  2290 String.prototype.substringLjava_lang_StringII = java_lang_String_substringLjava_lang_StringII;

  2291 String.prototype.replaceLjava_lang_StringCC = java_lang_String_replaceLjava_lang_StringCC;

  2292 String.prototype.containsZLjava_lang_CharSequence = java_lang_String_containsZLjava_lang_CharSequence;

  2293 String.prototype.equalsZLjava_lang_Object = java_lang_String_equalsZLjava_lang_Object;

  2294 String.prototype.toCharArrayAC = java_lang_String_toCharArrayAC;

  2295 String.prototype.valueOfLjava_lang_StringI=java_lang_String_valueOfLjava_lang_StringI;

  2296 String.prototype.startsWithZLjava_lang_StringI = java_lang_String_startsWithZLjava_lang_StringI;

  2297 String.prototype.startsWithZLjava_lang_String=java_lang_String_startsWithZLjava_lang_String;

  2298 String.prototype.endsWithZLjava_lang_String=java_lang_String_endsWithZLjava_lang_String;

  2299 String.prototype.indexOfII=java_lang_String_indexOfII;

  2300 String.prototype.indexOfIII=java_lang_String_indexOfIII;

  2302 String.prototype.$instOf_java_lang_String = true;

  2303 String.prototype.$instOf_java_io_Serializable = true;

  2304 String.prototype.$instOf_java_lang_Comparable = true;

  2305 String.prototype.$instOf_java_lang_CharSequence = true;

  2307 /*

  2308   this.lengthI = java_lang_String_lengthI;

  2309   this.isEmptyZ = java_lang_String_isEmptyZ;

  2310   this.charAtCI = java_lang_String_charAtCI;

  2311   this.codePointAtII = java_lang_String_codePointAtII;

  2312   this.codePointBeforeII = java_lang_String_codePointBeforeII;

  2313   this.codePointCountIII = java_lang_String_codePointCountIII;

  2314   this.offsetByCodePointsIII = java_lang_String_offsetByCodePointsIII;

  2315   this.getCharsVACI = java_lang_String_getCharsVACI;

  2316   this.getCharsVIIACI = java_lang_String_getCharsVIIACI;

  2317   this.getBytesVIIABI = java_lang_String_getBytesVIIABI;

  2318   this.getBytesABLjava_lang_String = java_lang_String_getBytesABLjava_lang_String;

  2319   this.getBytesABLjava_nio_charset_Charset = java_lang_String_getBytesABLjava_nio_charset_Charset;

  2320   this.getBytesAB = java_lang_String_getBytesAB;

  2321   this.equalsZLjava_lang_Object = java_lang_String_equalsZLjava_lang_Object;

  2322   this.contentEqualsZLjava_lang_StringBuffer = java_lang_String_contentEqualsZLjava_lang_StringBuffer;

  2323   this.contentEqualsZLjava_lang_CharSequence = java_lang_String_contentEqualsZLjava_lang_CharSequence;

  2324   this.equalsIgnoreCaseZLjava_lang_String = java_lang_String_equalsIgnoreCaseZLjava_lang_String;

  2325   this.compareToILjava_lang_String = java_lang_String_compareToILjava_lang_String;

  2326   this.compareToIgnoreCaseILjava_lang_String = java_lang_String_compareToIgnoreCaseILjava_lang_String;

  2327   this.regionMatchesZILjava_lang_StringII = java_lang_String_regionMatchesZILjava_lang_StringII;

  2328   this.regionMatchesZZILjava_lang_StringII = java_lang_String_regionMatchesZZILjava_lang_StringII;

  2329   this.startsWithZLjava_lang_StringI = java_lang_String_startsWithZLjava_lang_StringI;

  2330   this.startsWithZLjava_lang_String = java_lang_String_startsWithZLjava_lang_String;

  2331   this.endsWithZLjava_lang_String = java_lang_String_endsWithZLjava_lang_String;

  2332   this.hashCodeI = java_lang_String_hashCodeI;

  2333   this.indexOfII = java_lang_String_indexOfII;

  2334   this.indexOfIII = java_lang_String_indexOfIII;

  2335   this.lastIndexOfII = java_lang_String_lastIndexOfII;

  2336   this.lastIndexOfIII = java_lang_String_lastIndexOfIII;

  2337   this.indexOfILjava_lang_String = java_lang_String_indexOfILjava_lang_String;

  2338   this.indexOfILjava_lang_StringI = java_lang_String_indexOfILjava_lang_StringI;

  2339   this.lastIndexOfILjava_lang_String = java_lang_String_lastIndexOfILjava_lang_String;

  2340   this.lastIndexOfILjava_lang_StringI = java_lang_String_lastIndexOfILjava_lang_StringI;

  2341   this.substringLjava_lang_StringI = java_lang_String_substringLjava_lang_StringI;

  2342   this.substringLjava_lang_StringII = java_lang_String_substringLjava_lang_StringII;

  2343   this.subSequenceLjava_lang_CharSequenceII = java_lang_String_subSequenceLjava_lang_CharSequenceII;

  2344   this.concatLjava_lang_StringLjava_lang_String = java_lang_String_concatLjava_lang_StringLjava_lang_String;

  2345   this.replaceLjava_lang_StringCC = java_lang_String_replaceLjava_lang_StringCC;

  2346   this.matchesZLjava_lang_String = java_lang_String_matchesZLjava_lang_String;

  2347   this.containsZLjava_lang_CharSequence = java_lang_String_containsZLjava_lang_CharSequence;

  2348   this.replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String = java_lang_String_replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String;

  2349   this.replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String = java_lang_String_replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String;

  2350   this.replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence = java_lang_String_replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence;

  2351   this.splitALjava_lang_StringLjava_lang_StringI = java_lang_String_splitALjava_lang_StringLjava_lang_StringI;

  2352   this.splitALjava_lang_StringLjava_lang_String = java_lang_String_splitALjava_lang_StringLjava_lang_String;

  2353   this.toLowerCaseLjava_lang_StringLjava_util_Locale = java_lang_String_toLowerCaseLjava_lang_StringLjava_util_Locale;

  2354   this.toLowerCaseLjava_lang_String = java_lang_String_toLowerCaseLjava_lang_String;

  2355   this.toUpperCaseLjava_lang_StringLjava_util_Locale = java_lang_String_toUpperCaseLjava_lang_StringLjava_util_Locale;

  2356   this.toUpperCaseLjava_lang_String = java_lang_String_toUpperCaseLjava_lang_String;

  2357   this.trimLjava_lang_String = java_lang_String_trimLjava_lang_String;

  2358   this.toStringLjava_lang_String = java_lang_String_toStringLjava_lang_String;

  2359   this.internLjava_lang_String = java_lang_String_internLjava_lang_String;

  2360   this.compareToILjava_lang_Object = java_lang_String_compareToILjava_lang_Object;

  2361  */

author	Jaroslav Tulach <jaroslav.tulach@apidesign.org>
	Sun, 18 Nov 2012 16:45:50 +0100
branch	javap
changeset 184	03be8510007c
parent 183	1d6ca19d7174
child 190	6060d43a323a
permissions	-rw-r--r--