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().charAt(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 /*

    50 function java_lang_String_codePointAtII(arg0,arg1) {

    51   var arg2;

    52 ;

    53   var stack = new Array(4);

    54   var gt = 0;

    55   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

    66     case 20:  // 191

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

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

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

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

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

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

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

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

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

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

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

    78     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

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

    80   }

    81 }

    82 function java_lang_String_codePointBeforeII(arg0,arg1) {

    83   var arg2;

    84   var arg3;

    85 ;

    86   var stack = new Array(3);

    87   var gt = 0;

    88   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   103     case 24:  // 191

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

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

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

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

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

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

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

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

   112     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

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

   114   }

   115 }

   116 function java_lang_String_codePointCountIII(arg0,arg1,arg2) {

   117   var arg3;

   118 ;

   119   var stack = new Array(4);

   120   var gt = 0;

   121   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

   134     case 24:  // 191

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

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

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

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

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

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

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

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

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

   144     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

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

   146   }

   147 }

   148 function java_lang_String_offsetByCodePointsIII(arg0,arg1,arg2) {

   149   var arg3;

   150 ;

   151   var stack = new Array(5);

   152   var gt = 0;

   153   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

   163     case 19:  // 191

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

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

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

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

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

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

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

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

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

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

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

   175     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

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

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

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

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

   180   }

   181 }

   182 */

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

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

   186     var s = arg0.toString();

   187     while (arg1 < arg2) {

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

   189     }

   190 }

   192 /*

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

   194   var arg5;

   195   var arg6;

   196   var arg7;

   197   var arg8;

   198   var arg9;

   199 ;

   200   var stack = new Array(4);

   201   var gt = 0;

   202   for(;;) switch(gt) {

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

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

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

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

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

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

   209     case 12:  // 191

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

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

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

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

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

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

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

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

   218     case 29:  // 191

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

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

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

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

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

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

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

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

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

   228     case 45:  // 191

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   254     case 93: // number conversion  // 145

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

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

   257     case 98: return; // 177

   258   }

   259 }

   260 function java_lang_String_getBytesABLjava_lang_String(arg0,arg1) {

   261   var arg2;

   262 ;

   263   var stack = new Array(4);

   264   var gt = 0;

   265   for(;;) switch(gt) {

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

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

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

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

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

   271     case 11:  // 191

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

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

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

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

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

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

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

   279     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

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

   281   }

   282 }

   283 function java_lang_String_getBytesABLjava_nio_charset_Charset(arg0,arg1) {

   284   var arg2;

   285 ;

   286   var stack = new Array(4);

   287   var gt = 0;

   288   for(;;) switch(gt) {

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

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

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

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

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

   294     case 11:  // 191

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

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

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

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

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

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

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

   302     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

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

   304   }

   305 }

   306 function java_lang_String_getBytesAB(arg0) {

   307   var arg1;

   308 ;

   309   var stack = new Array(3);

   310   var gt = 0;

   311   for(;;) switch(gt) {

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

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

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

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

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

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

   318     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

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

   320   }

   321 }

   322 */

   323 function java_lang_String_equalsZLjava_lang_Object(arg0,arg1) {

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

   325 }

   326 /*

   327 function java_lang_String_contentEqualsZLjava_lang_StringBuffer(arg0,arg1) {

   328   var arg2;

   329   var arg3;

   330   var arg4;

   331 ;

   332   var stack = new Array(2);

   333   var gt = 0;

   334   for(;;) switch(gt) {

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

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

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

   338     case 3:  // 194

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

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

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

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

   343     case 10:  // 195

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

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

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

   347     case 14:  // 195

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

   349     case 16:  // 191

   350   }

   351 }

   352 function java_lang_String_contentEqualsZLjava_lang_CharSequence(arg0,arg1) {

   353   var arg2;

   354   var arg3;

   355   var arg4;

   356   var arg5;

   357   var arg6;

   358   var arg7;

   359 ;

   360   var stack = new Array(3);

   361   var gt = 0;

   362   for(;;) switch(gt) {

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

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

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

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

   367     case 8:  // 1

   368     case 9:  // 0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   432     case 129:  // 2

   433     case 130:  // 0

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

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

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

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

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

   439   }

   440 }

   441 function java_lang_String_equalsIgnoreCaseZLjava_lang_String(arg0,arg1) {

   442   var arg2;

   443 ;

   444   var stack = new Array(6);

   445   var gt = 0;

   446   for(;;) switch(gt) {

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

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

   449     case 2:  // 166

   450     case 3:  // 0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   468     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

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

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

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

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

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

   474   }

   475 }

   476 function java_lang_String_compareToILjava_lang_String(arg0,arg1) {

   477   var arg2;

   478   var arg3;

   479   var arg4;

   480   var arg5;

   481   var arg6;

   482   var arg7;

   483   var arg8;

   484   var arg9;

   485   var arg10;

   486   var arg11;

   487   var arg12;

   488   var arg13;

   489 ;

   490   var stack = new Array(2);

   491   var gt = 0;

   492   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   570   }

   571 }

   572 function java_lang_String_compareToIgnoreCaseILjava_lang_String(arg0,arg1) {

   573   var arg2;

   574 ;

   575   var stack = new Array(3);

   576   var gt = 0;

   577   for(;;) switch(gt) {

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

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

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

   581     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

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

   583     case 9:  // 0

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

   585   }

   586 }

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

   588   var arg5;

   589   var arg6;

   590   var arg7;

   591   var arg8;

   592   var arg9;

   593 ;

   594   var stack = new Array(6);

   595   var gt = 0;

   596   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   618     case 37: // number conversion  // 133

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

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

   621     case 42: // number conversion  // 133

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

   623     case 45: // number conversion  // 133

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

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

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

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

   628     case 52: // number conversion  // 133

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

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

   631     case 57: // number conversion  // 133

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

   633     case 60: // number conversion  // 133

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   655   }

   656 }

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

   658   var arg6;

   659   var arg7;

   660   var arg8;

   661   var arg9;

   662   var arg10;

   663   var arg11;

   664   var arg12;

   665   var arg13;

   666   var arg14;

   667 ;

   668   var stack = new Array(6);

   669   var gt = 0;

   670   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   692     case 39: // number conversion  // 133

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

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

   695     case 44: // number conversion  // 133

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

   697     case 47: // number conversion  // 133

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

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

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

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

   702     case 55: // number conversion  // 133

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

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

   705     case 60: // number conversion  // 133

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

   707     case 63: // number conversion  // 133

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   752   }

   753 }

   754 function java_lang_String_startsWithZLjava_lang_StringI(arg0,arg1,arg2) {

   755   var arg3;

   756   var arg4;

   757   var arg5;

   758   var arg6;

   759   var arg7;

   760   var arg8;

   761 ;

   762   var stack = new Array(3);

   763   var gt = 0;

   764   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   808   }

   809 }

   810 function java_lang_String_startsWithZLjava_lang_String(arg0,arg1) {

   811   var arg2;

   812 ;

   813   var stack = new Array(3);

   814   var gt = 0;

   815   for(;;) switch(gt) {

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

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

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

   819     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

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

   821   }

   822 }

   823 function java_lang_String_endsWithZLjava_lang_String(arg0,arg1) {

   824   var arg2;

   825 ;

   826   var stack = new Array(4);

   827   var gt = 0;

   828   for(;;) switch(gt) {

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

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

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

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

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

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

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

   836     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

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

   838   }

   839 }

   840 function java_lang_String_hashCodeI(arg0) {

   841   var arg1;

   842   var arg2;

   843   var arg3;

   844   var arg4;

   845   var arg5;

   846   var arg6;

   847 ;

   848   var stack = new Array(3);

   849   var gt = 0;

   850   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   888   }

   889 }

   890 function java_lang_String_indexOfII(arg0,arg1) {

   891   var arg2;

   892 ;

   893   var stack = new Array(3);

   894   var gt = 0;

   895   for(;;) switch(gt) {

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

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

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

   899     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.indexOfIII(self, v0, v1)); } // 182 1 135

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

   901   }

   902 }

   903 function java_lang_String_indexOfIII(arg0,arg1,arg2) {

   904   var arg3;

   905   var arg4;

   906   var arg5;

   907   var arg6;

   908   var arg7;

   909 ;

   910   var stack = new Array(3);

   911   var gt = 0;

   912   for(;;) switch(gt) {

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

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

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

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

   917     case 8: stack.push(stack.pop() + stack.pop()); // 96

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

   919     case 10: stack.push(arg0); // 42

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

   921     case 14: arg4 = stack.pop() // 58 4

   922     case 16: stack.push(arg2); // 28

   923     case 17: if (stack.pop() >= 0) { gt = 25; continue; } // 156 0 8

   924     case 20: stack.push(0); // 3

   925     case 21: arg2 = stack.pop(); // 61

   926     case 22: gt = 35; continue; // 167 0 13

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

   928     case 26: stack.push(arg0); // 42

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

   930     case 30: if (stack.pop() > stack.pop()) { gt = 35; continue; } // 161 0 5

   931     case 33:  // 2

   932     case 34: return stack.pop(); // 172

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

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

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

   936     case 40: stack.push(stack.pop() + stack.pop()); // 96

   937     case 41: arg5 = stack.pop() // 54 5

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

   939     case 44: stack.push(65536); // 18 3

   940     case 46: if (stack.pop() <= stack.pop()) { gt = 80; continue; } // 162 0 34

   941     case 49: stack.push(arg5); // 21 5

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

   943     case 52: if (stack.pop() <= stack.pop()) { gt = 78; continue; } // 162 0 26

   944     case 55: stack.push(arg4); // 25 4

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

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

   947     case 60: stack.push(arg1); // 27

   948     case 61: if (stack.pop() != stack.pop()) { gt = 72; continue; } // 160 0 11

   949     case 64: stack.push(arg5); // 21 5

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

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

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

   953     case 71: return stack.pop(); // 172

   954     case 72: arg5++; // 132 5 1

   955     case 75: gt = 49; continue; // 167 255 230

   956     case 78:  // 2

   957     case 79: return stack.pop(); // 172

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

   959     case 81: stack.push(1114111); // 18 4

   960     case 83: if (stack.pop() < stack.pop()) { gt = 149; continue; } // 163 0 66

   961     case 86: stack.push(arg1); // 27

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

   963     case 90: arg6 = stack.pop() // 58 6

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

   965     case 94: stack.push(arg3); // 29

   966     case 95: if (stack.pop() <= stack.pop()) { gt = 149; continue; } // 162 0 54

   967     case 98: stack.push(arg4); // 25 4

   968     case 100: stack.push(arg5); // 21 5

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

   970     case 103: stack.push(arg6); // 25 6

   971     case 105: stack.push(0); // 3

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

   973     case 107: if (stack.pop() != stack.pop()) { gt = 143; continue; } // 160 0 36

   974     case 110: stack.push(arg5); // 21 5

   975     case 112: stack.push(1); // 4

   976     case 113: stack.push(stack.pop() + stack.pop()); // 96

   977     case 114: stack.push(arg3); // 29

   978     case 115: if (stack.pop() != stack.pop()) { gt = 121; continue; } // 160 0 6

   979     case 118: gt = 149; continue; // 167 0 31

   980     case 121: stack.push(arg4); // 25 4

   981     case 123: stack.push(arg5); // 21 5

   982     case 125: stack.push(1); // 4

   983     case 126: stack.push(stack.pop() + stack.pop()); // 96

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

   985     case 128: stack.push(arg6); // 25 6

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

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

   988     case 132: if (stack.pop() != stack.pop()) { gt = 143; continue; } // 160 0 11

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

   990     case 137: stack.push(arg0); // 42

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

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

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

   994     case 143: arg5++; // 132 5 1

   995     case 146: gt = 92; continue; // 167 255 202

   996     case 149:  // 2

   997     case 150: return stack.pop(); // 172

   998   }

   999 }

  1000 function java_lang_String_lastIndexOfII(arg0,arg1) {

  1001   var arg2;

  1002 ;

  1003   var stack = new Array(4);

  1004   var gt = 0;

  1005   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

  1014   }

  1015 }

  1016 function java_lang_String_lastIndexOfIII(arg0,arg1,arg2) {

  1017   var arg3;

  1018   var arg4;

  1019   var arg5;

  1020   var arg6;

  1021   var arg7;

  1022   var arg8;

  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(stack.pop().offset); // 180 1 99

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1065     case 71:  // 2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1111     case 154:  // 2

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

  1113   }

  1114 }

  1115 function java_lang_String_indexOfILjava_lang_String(arg0,arg1) {

  1116   var arg2;

  1117 ;

  1118   var stack = new Array(3);

  1119   var gt = 0;

  1120   for(;;) switch(gt) {

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

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

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

  1124     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

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

  1126   }

  1127 }

  1128 function java_lang_String_indexOfILjava_lang_StringI(arg0,arg1,arg2) {

  1129   var arg3;

  1130 ;

  1131   var stack = new Array(7);

  1132   var gt = 0;

  1133   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

  1147     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

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

  1149   }

  1150 }

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

  1152   var arg7;

  1153   var arg8;

  1154   var arg9;

  1155   var arg10;

  1156   var arg11;

  1157   var arg12;

  1158   var stack = new Array();

  1159   var gt = 0;

  1160   for(;;) switch(gt) {

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

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

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

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

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

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

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

  1168     case 15:  // 2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1229     case 123: if (stack.pop() <= stack.pop()) { gt = 146; continue; } // 162 0 23

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

  1231     case 127: stack.push(arg10); // 21 10

  1232     case 129: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1233     case 130: stack.push(arg3); // 45

  1234     case 131: stack.push(arg12); // 21 12

  1235     case 133: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1236     case 134: if (stack.pop() != stack.pop()) { gt = 146; continue; } // 160 0 12

  1237     case 137: arg10++; // 132 10 1

  1238     case 140: arg12++; // 132 12 1

  1239     case 143: gt = 119; continue; // 167 255 232

  1240     case 146: stack.push(arg10); // 21 10

  1241     case 148: stack.push(arg11); // 21 11

  1242     case 150: if (stack.pop() != stack.pop()) { gt = 158; continue; } // 160 0 8

  1243     case 153: stack.push(arg9); // 21 9

  1244     case 155: stack.push(arg1); // 27

  1245     case 156: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1246     case 157: return stack.pop(); // 172

  1247     case 158: arg9++; // 132 9 1

  1248     case 161: gt = 53; continue; // 167 255 148

  1249     case 164:  // 2

  1250     case 165: return stack.pop(); // 172

  1251   }

  1252 }

  1253 function java_lang_String_lastIndexOfILjava_lang_String(arg0,arg1) {

  1254   var arg2;

  1255 ;

  1256   var stack = new Array(3);

  1257   var gt = 0;

  1258   for(;;) switch(gt) {

  1259     case 0: stack.push(arg0); // 42

  1260     case 1: stack.push(arg1); // 43

  1261     case 2: stack.push(arg0); // 42

  1262     case 3: stack.push(stack.pop().count); // 180 1 97

  1263     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

  1264     case 9: return stack.pop(); // 172

  1265   }

  1266 }

  1267 function java_lang_String_lastIndexOfILjava_lang_StringI(arg0,arg1,arg2) {

  1268   var arg3;

  1269 ;

  1270   var stack = new Array(7);

  1271   var gt = 0;

  1272   for(;;) switch(gt) {

  1273     case 0: stack.push(arg0); // 42

  1274     case 1: stack.push(stack.pop().value); // 180 1 100

  1275     case 4: stack.push(arg0); // 42

  1276     case 5: stack.push(stack.pop().offset); // 180 1 99

  1277     case 8: stack.push(arg0); // 42

  1278     case 9: stack.push(stack.pop().count); // 180 1 97

  1279     case 12: stack.push(arg1); // 43

  1280     case 13: stack.push(stack.pop().value); // 180 1 100

  1281     case 16: stack.push(arg1); // 43

  1282     case 17: stack.push(stack.pop().offset); // 180 1 99

  1283     case 20: stack.push(arg1); // 43

  1284     case 21: stack.push(stack.pop().count); // 180 1 97

  1285     case 24: stack.push(arg2); // 28

  1286     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

  1287     case 28: return stack.pop(); // 172

  1288   }

  1289 }

  1290 function java_lang_String_lastIndexOfIACIIACIII(arg0,arg1,arg2,arg3,arg4,arg5,arg6) {

  1291   var arg7;

  1292   var arg8;

  1293   var arg9;

  1294   var arg10;

  1295   var arg11;

  1296   var arg12;

  1297   var arg13;

  1298   var arg14;

  1299   var stack = new Array();

  1300   var gt = 0;

  1301   for(;;) switch(gt) {

  1302     case 0: stack.push(arg2); // 28

  1303     case 1: stack.push(arg5); // 21 5

  1304     case 3: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1305     case 4: arg7 = stack.pop() // 54 7

  1306     case 6: stack.push(arg6); // 21 6

  1307     case 8: if (stack.pop() >= 0) { gt = 13; continue; } // 156 0 5

  1308     case 11:  // 2

  1309     case 12: return stack.pop(); // 172

  1310     case 13: stack.push(arg6); // 21 6

  1311     case 15: stack.push(arg7); // 21 7

  1312     case 17: if (stack.pop() >= stack.pop()) { gt = 24; continue; } // 164 0 7

  1313     case 20: stack.push(arg7); // 21 7

  1314     case 22: arg6 = stack.pop() // 54 6

  1315     case 24: stack.push(arg5); // 21 5

  1316     case 26: if (stack.pop() != 0) { gt = 32; continue; } // 154 0 6

  1317     case 29: stack.push(arg6); // 21 6

  1318     case 31: return stack.pop(); // 172

  1319     case 32: stack.push(arg4); // 21 4

  1320     case 34: stack.push(arg5); // 21 5

  1321     case 36: stack.push(stack.pop() + stack.pop()); // 96

  1322     case 37: stack.push(1); // 4

  1323     case 38: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1324     case 39: arg8 = stack.pop() // 54 8

  1325     case 41: stack.push(arg3); // 45

  1326     case 42: stack.push(arg8); // 21 8

  1327     case 44: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1328     case 45: arg9 = stack.pop() // 54 9

  1329     case 47: stack.push(arg1); // 27

  1330     case 48: stack.push(arg5); // 21 5

  1331     case 50: stack.push(stack.pop() + stack.pop()); // 96

  1332     case 51: stack.push(1); // 4

  1333     case 52: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1334     case 53: arg10 = stack.pop() // 54 10

  1335     case 55: stack.push(arg10); // 21 10

  1336     case 57: stack.push(arg6); // 21 6

  1337     case 59: stack.push(stack.pop() + stack.pop()); // 96

  1338     case 60: arg11 = stack.pop() // 54 11

  1339     case 62: stack.push(arg11); // 21 11

  1340     case 64: stack.push(arg10); // 21 10

  1341     case 66: if (stack.pop() > stack.pop()) { gt = 84; continue; } // 161 0 18

  1342     case 69: stack.push(arg0); // 42

  1343     case 70: stack.push(arg11); // 21 11

  1344     case 72: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1345     case 73: stack.push(arg9); // 21 9

  1346     case 75: if (stack.pop() == stack.pop()) { gt = 84; continue; } // 159 0 9

  1347     case 78: arg11 += 255; // 132 11 255

  1348     case 81: gt = 62; continue; // 167 255 237

  1349     case 84: stack.push(arg11); // 21 11

  1350     case 86: stack.push(arg10); // 21 10

  1351     case 88: if (stack.pop() <= stack.pop()) { gt = 93; continue; } // 162 0 5

  1352     case 91:  // 2

  1353     case 92: return stack.pop(); // 172

  1354     case 93: stack.push(arg11); // 21 11

  1355     case 95: stack.push(1); // 4

  1356     case 96: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1357     case 97: arg12 = stack.pop() // 54 12

  1358     case 99: stack.push(arg12); // 21 12

  1359     case 101: stack.push(arg5); // 21 5

  1360     case 103: stack.push(1); // 4

  1361     case 104: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1362     case 105: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1363     case 106: arg13 = stack.pop() // 54 13

  1364     case 108: stack.push(arg8); // 21 8

  1365     case 110: stack.push(1); // 4

  1366     case 111: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1367     case 112: arg14 = stack.pop() // 54 14

  1368     case 114: stack.push(arg12); // 21 12

  1369     case 116: stack.push(arg13); // 21 13

  1370     case 118: if (stack.pop() >= stack.pop()) { gt = 144; continue; } // 164 0 26

  1371     case 121: stack.push(arg0); // 42

  1372     case 122: stack.push(arg12); // 21 12

  1373     case 124: arg12 += 255; // 132 12 255

  1374     case 127: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1375     case 128: stack.push(arg3); // 45

  1376     case 129: stack.push(arg14); // 21 14

  1377     case 131: arg14 += 255; // 132 14 255

  1378     case 134: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1379     case 135: if (stack.pop() == stack.pop()) { gt = 114; continue; } // 159 255 235

  1380     case 138: arg11 += 255; // 132 11 255

  1381     case 141: gt = 62; continue; // 167 255 177

  1382     case 144: stack.push(arg13); // 21 13

  1383     case 146: stack.push(arg1); // 27

  1384     case 147: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1385     case 148: stack.push(1); // 4

  1386     case 149: stack.push(stack.pop() + stack.pop()); // 96

  1387     case 150: return stack.pop(); // 172

  1388   }

  1389 }

  1390 */

  1391 function java_lang_String_substringLjava_lang_StringI(arg0,arg1) {

  1392     return arg0.toString().substring(arg1);

  1393 }

  1394 function java_lang_String_substringLjava_lang_StringII(arg0,arg1,arg2) {

  1395     return arg0.toString().substring(arg1, arg2);

  1396 }

  1398 function java_lang_String_replaceLjava_lang_StringCC(arg0,arg1,arg2) {

  1399     return arg0.toString().replace(arg1, arg2);

  1400 }

  1401 function java_lang_String_containsZLjava_lang_CharSequence(arg0,arg1) {

  1402     return arg0.toString().indexOf(arg1.toString()) >= 0;

  1403 }

  1405 /*

  1406 function java_lang_String_subSequenceLjava_lang_CharSequenceII(arg0,arg1,arg2) {

  1407   var arg3;

  1408 ;

  1409   var stack = new Array(3);

  1410   var gt = 0;

  1411   for(;;) switch(gt) {

  1412     case 0: stack.push(arg0); // 42

  1413     case 1: stack.push(arg1); // 27

  1414     case 2: stack.push(arg2); // 28

  1415     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

  1416     case 6: return stack.pop(); // 176

  1417   }

  1418 }

  1419 function java_lang_String_concatLjava_lang_StringLjava_lang_String(arg0,arg1) {

  1420   var arg2;

  1421   var arg3;

  1422   var arg4;

  1423 ;

  1424   var stack = new Array(5);

  1425   var gt = 0;

  1426   for(;;) switch(gt) {

  1427     case 0: stack.push(arg1); // 43

  1428     case 1: { var self = stack.pop(); stack.push(self.lengthI(self)); } // 182 1 133

  1429     case 4: arg2 = stack.pop(); // 61

  1430     case 5: stack.push(arg2); // 28

  1431     case 6: if (stack.pop() != 0) { gt = 11; continue; } // 154 0 5

  1432     case 9: stack.push(arg0); // 42

  1433     case 10: return stack.pop(); // 176

  1434     case 11: stack.push(arg0); // 42

  1435     case 12: stack.push(stack.pop().count); // 180 1 97

  1436     case 15: stack.push(arg2); // 28

  1437     case 16: stack.push(stack.pop() + stack.pop()); // 96

  1438     case 17: stack.push(new Array(stack.pop())); // 188 5

  1439     case 19: arg3 = stack.pop(); // 78

  1440     case 20: stack.push(arg0); // 42

  1441     case 21: stack.push(0); // 3

  1442     case 22: stack.push(arg0); // 42

  1443     case 23: stack.push(stack.pop().count); // 180 1 97

  1444     case 26: stack.push(arg3); // 45

  1445     case 27: stack.push(0); // 3

  1446     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

  1447     case 31: stack.push(arg1); // 43

  1448     case 32: stack.push(0); // 3

  1449     case 33: stack.push(arg2); // 28

  1450     case 34: stack.push(arg3); // 45

  1451     case 35: stack.push(arg0); // 42

  1452     case 36: stack.push(stack.pop().count); // 180 1 97

  1453     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

  1454     case 42: stack.push(new java_lang_String); // 187 0 200

  1455     case 45: stack.push(stack[stack.length - 1]); // 89

  1456     case 46: stack.push(0); // 3

  1457     case 47: stack.push(arg0); // 42

  1458     case 48: stack.push(stack.pop().count); // 180 1 97

  1459     case 51: stack.push(arg2); // 28

  1460     case 52: stack.push(stack.pop() + stack.pop()); // 96

  1461     case 53: stack.push(arg3); // 45

  1462     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

  1463     case 57: return stack.pop(); // 176

  1464   }

  1465 }

  1466 function java_lang_String_matchesZLjava_lang_String(arg0,arg1) {

  1467   var arg2;

  1468 ;

  1469   var stack = new Array(2);

  1470   var gt = 0;

  1471   for(;;) switch(gt) {

  1472     case 0: stack.push(arg1); // 43

  1473     case 1: stack.push(arg0); // 42

  1474     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

  1475     case 5: return stack.pop(); // 172

  1476   }

  1477 }

  1478 function java_lang_String_replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String(arg0,arg1,arg2) {

  1479   var arg3;

  1480 ;

  1481   var stack = new Array(2);

  1482   var gt = 0;

  1483   for(;;) switch(gt) {

  1484     case 0: stack.push(arg1); // 43

  1485     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186

  1486     case 4: stack.push(arg0); // 42

  1487     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185

  1488     case 8: stack.push(arg2); // 44

  1489     case 9: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceFirstLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 182

  1490     case 12: return stack.pop(); // 176

  1491   }

  1492 }

  1493 function java_lang_String_replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String(arg0,arg1,arg2) {

  1494   var arg3;

  1495 ;

  1496   var stack = new Array(2);

  1497   var gt = 0;

  1498   for(;;) switch(gt) {

  1499     case 0: stack.push(arg1); // 43

  1500     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186

  1501     case 4: stack.push(arg0); // 42

  1502     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185

  1503     case 8: stack.push(arg2); // 44

  1504     case 9: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceAllLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 181

  1505     case 12: return stack.pop(); // 176

  1506   }

  1507 }

  1508 function java_lang_String_replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence(arg0,arg1,arg2) {

  1509   var arg3;

  1510 ;

  1511   var stack = new Array(2);

  1512   var gt = 0;

  1513   for(;;) switch(gt) {

  1514     case 0: stack.push(arg1); // 43

  1515     case 1: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132

  1516     case 4: stack.push(16); // 16 16

  1517     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

  1518     case 9: stack.push(arg0); // 42

  1519     case 10: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185

  1520     case 13: stack.push(arg2); // 44

  1521     case 14: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132

  1522     case 17: { var v0 = stack.pop(); stack.push(java_util_regex_Matcher_quoteReplacementLjava_lang_StringLjava_lang_String(v0)); } // 184 1 180

  1523     case 20: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceAllLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 181

  1524     case 23: return stack.pop(); // 176

  1525   }

  1526 }

  1527 function java_lang_String_splitALjava_lang_StringLjava_lang_StringI(arg0,arg1,arg2) {

  1528   var arg3;

  1529 ;

  1530   var stack = new Array(3);

  1531   var gt = 0;

  1532   for(;;) switch(gt) {

  1533     case 0: stack.push(arg1); // 43

  1534     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186

  1535     case 4: stack.push(arg0); // 42

  1536     case 5: stack.push(arg2); // 28

  1537     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

  1538     case 9: return stack.pop(); // 176

  1539   }

  1540 }

  1541 function java_lang_String_splitALjava_lang_StringLjava_lang_String(arg0,arg1) {

  1542   var arg2;

  1543 ;

  1544   var stack = new Array(3);

  1545   var gt = 0;

  1546   for(;;) switch(gt) {

  1547     case 0: stack.push(arg0); // 42

  1548     case 1: stack.push(arg1); // 43

  1549     case 2: stack.push(0); // 3

  1550     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

  1551     case 6: return stack.pop(); // 176

  1552   }

  1553 }

  1554 function java_lang_String_toLowerCaseLjava_lang_StringLjava_util_Locale(arg0,arg1) {

  1555   var arg2;

  1556   var arg3;

  1557   var arg4;

  1558   var arg5;

  1559   var arg6;

  1560   var arg7;

  1561   var arg8;

  1562   var arg9;

  1563   var arg10;

  1564   var arg11;

  1565   var arg12;

  1566   var arg13;

  1567   var arg14;

  1568 ;

  1569   var stack = new Array(6);

  1570   var gt = 0;

  1571   for(;;) switch(gt) {

  1572     case 0: stack.push(arg1); // 43

  1573     case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11

  1574     case 4: stack.push(new java_lang_NullPointerException); // 187 0 198

  1575     case 7: stack.push(stack[stack.length - 1]); // 89

  1576     case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128

  1577     case 11:  // 191

  1578     case 12: stack.push(0); // 3

  1579     case 13: arg2 = stack.pop(); // 61

  1580     case 14: stack.push(arg2); // 28

  1581     case 15: stack.push(arg0); // 42

  1582     case 16: stack.push(stack.pop().count); // 180 1 97

  1583     case 19: if (stack.pop() <= stack.pop()) { gt = 94; continue; } // 162 0 75

  1584     case 22: stack.push(arg0); // 42

  1585     case 23: stack.push(stack.pop().value); // 180 1 100

  1586     case 26: stack.push(arg0); // 42

  1587     case 27: stack.push(stack.pop().offset); // 180 1 99

  1588     case 30: stack.push(arg2); // 28

  1589     case 31: stack.push(stack.pop() + stack.pop()); // 96

  1590     case 32: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1591     case 33: arg3 = stack.pop(); // 62

  1592     case 34: stack.push(arg3); // 29

  1593     case 35: stack.push(55296); // 18 1

  1594     case 37: if (stack.pop() > stack.pop()) { gt = 77; continue; } // 161 0 40

  1595     case 40: stack.push(arg3); // 29

  1596     case 41: stack.push(56319); // 18 2

  1597     case 43: if (stack.pop() < stack.pop()) { gt = 77; continue; } // 163 0 34

  1598     case 46: stack.push(arg0); // 42

  1599     case 47: stack.push(arg2); // 28

  1600     case 48: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

  1601     case 51: arg4 = stack.pop() // 54 4

  1602     case 53: stack.push(arg4); // 21 4

  1603     case 55: stack.push(arg4); // 21 4

  1604     case 57: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseII(v0)); } // 184 1 107

  1605     case 60: if (stack.pop() == stack.pop()) { gt = 66; continue; } // 159 0 6

  1606     case 63: gt = 96; continue; // 167 0 33

  1607     case 66: stack.push(arg2); // 28

  1608     case 67: stack.push(arg4); // 21 4

  1609     case 69: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

  1610     case 72: stack.push(stack.pop() + stack.pop()); // 96

  1611     case 73: arg2 = stack.pop(); // 61

  1612     case 74: gt = 91; continue; // 167 0 17

  1613     case 77: stack.push(arg3); // 29

  1614     case 78: stack.push(arg3); // 29

  1615     case 79: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseCC(v0)); } // 184 1 104

  1616     case 82: if (stack.pop() == stack.pop()) { gt = 88; continue; } // 159 0 6

  1617     case 85: gt = 96; continue; // 167 0 11

  1618     case 88: arg2++; // 132 2 1

  1619     case 91: gt = 14; continue; // 167 255 179

  1620     case 94: stack.push(arg0); // 42

  1621     case 95: return stack.pop(); // 176

  1622     case 96: stack.push(arg0); // 42

  1623     case 97: stack.push(stack.pop().count); // 180 1 97

  1624     case 100: stack.push(new Array(stack.pop())); // 188 5

  1625     case 102: arg3 = stack.pop(); // 78

  1626     case 103: stack.push(0); // 3

  1627     case 104: arg4 = stack.pop() // 54 4

  1628     case 106: stack.push(arg0); // 42

  1629     case 107: stack.push(stack.pop().value); // 180 1 100

  1630     case 110: stack.push(arg0); // 42

  1631     case 111: stack.push(stack.pop().offset); // 180 1 99

  1632     case 114: stack.push(arg3); // 45

  1633     case 115: stack.push(0); // 3

  1634     case 116: stack.push(arg2); // 28

  1635     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

  1636     case 120: stack.push(arg1); // 43

  1637     case 121: { var self = stack.pop(); stack.push(self.getLanguageLjava_lang_String(self)); } // 182 1 178

  1638     case 124: arg5 = stack.pop() // 58 5

  1639     case 126: stack.push(arg5); // 25 5

  1640     case 128: stack.push("tr"); // 18 11

  1641     case 130:  // 165

  1642     case 131:  // 0

  1643     case 132: stack.push(6405); // 17 25 5

  1644     case 135: stack.push("az"); // 18 5

  1645     case 137:  // 165

  1646     case 138:  // 0

  1647     case 139: stack.push(1); // 10

  1648     case 140: stack.push(arg5); // 25 5

  1649     case 142: stack.push("lt"); // 18 9

  1650     case 144:  // 166

  1651     case 145:  // 0

  1652     case 146: stack.push(4); // 7

  1653     case 147: stack.push(1); // 4

  1654     case 148: gt = 152; continue; // 167 0 4

  1655     case 151: stack.push(0); // 3

  1656     case 152: arg6 = stack.pop() // 54 6

  1657     case 154: stack.push(arg2); // 28

  1658     case 155: arg11 = stack.pop() // 54 11

  1659     case 157: stack.push(arg11); // 21 11

  1660     case 159: stack.push(arg0); // 42

  1661     case 160: stack.push(stack.pop().count); // 180 1 97

  1662     case 163: if (stack.pop() <= stack.pop()) { gt = 419; continue; } // 162 1 0

  1663     case 166: stack.push(arg0); // 42

  1664     case 167: stack.push(stack.pop().value); // 180 1 100

  1665     case 170: stack.push(arg0); // 42

  1666     case 171: stack.push(stack.pop().offset); // 180 1 99

  1667     case 174: stack.push(arg11); // 21 11

  1668     case 176: stack.push(stack.pop() + stack.pop()); // 96

  1669     case 177: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1670     case 178: arg9 = stack.pop() // 54 9

  1671     case 180: stack.push(arg9); // 21 9

  1672     case 182: // number conversion  // 146

  1673     case 183: stack.push(55296); // 18 1

  1674     case 185: if (stack.pop() > stack.pop()) { gt = 214; continue; } // 161 0 29

  1675     case 188: stack.push(arg9); // 21 9

  1676     case 190: // number conversion  // 146

  1677     case 191: stack.push(56319); // 18 2

  1678     case 193: if (stack.pop() < stack.pop()) { gt = 214; continue; } // 163 0 21

  1679     case 196: stack.push(arg0); // 42

  1680     case 197: stack.push(arg11); // 21 11

  1681     case 199: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

  1682     case 202: arg9 = stack.pop() // 54 9

  1683     case 204: stack.push(arg9); // 21 9

  1684     case 206: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

  1685     case 209: arg10 = stack.pop() // 54 10

  1686     case 211: gt = 217; continue; // 167 0 6

  1687     case 214: stack.push(1); // 4

  1688     case 215: arg10 = stack.pop() // 54 10

  1689     case 217: stack.push(arg6); // 21 6

  1690     case 219: if (stack.pop() != 0) { gt = 230; continue; } // 154 0 11

  1691     case 222: stack.push(arg9); // 21 9

  1692     case 224: stack.push(931); // 17 3 163

  1693     case 227: if (stack.pop() != stack.pop()) { gt = 242; continue; } // 160 0 15

  1694     case 230: stack.push(arg0); // 42

  1695     case 231: stack.push(arg11); // 21 11

  1696     case 233: stack.push(arg1); // 43

  1697     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

  1698     case 237: arg8 = stack.pop() // 54 8

  1699     case 239: gt = 249; continue; // 167 0 10

  1700     case 242: stack.push(arg9); // 21 9

  1701     case 244: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseII(v0)); } // 184 1 107

  1702     case 247: arg8 = stack.pop() // 54 8

  1703     case 249: stack.push(arg8); // 21 8

  1704     case 251:  // 2

  1705     case 252: if (stack.pop() == stack.pop()) { gt = 262; continue; } // 159 0 10

  1706     case 255: stack.push(arg8); // 21 8

  1707     case 257: stack.push(65536); // 18 3

  1708     case 259: if (stack.pop() > stack.pop()) { gt = 399; continue; } // 161 0 140

  1709     case 262: stack.push(arg8); // 21 8

  1710     case 264:  // 2

  1711     case 265: if (stack.pop() != stack.pop()) { gt = 280; continue; } // 160 0 15

  1712     case 268: stack.push(arg0); // 42

  1713     case 269: stack.push(arg11); // 21 11

  1714     case 271: stack.push(arg1); // 43

  1715     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

  1716     case 275: arg7 = stack.pop() // 58 7

  1717     case 277: gt = 315; continue; // 167 0 38

  1718     case 280: stack.push(arg10); // 21 10

  1719     case 282: stack.push(2); // 5

  1720     case 283: if (stack.pop() != stack.pop()) { gt = 308; continue; } // 160 0 25

  1721     case 286: stack.push(arg4); // 21 4

  1722     case 288: stack.push(arg8); // 21 8

  1723     case 290: stack.push(arg3); // 45

  1724     case 291: stack.push(arg11); // 21 11

  1725     case 293: stack.push(arg4); // 21 4

  1726     case 295: stack.push(stack.pop() + stack.pop()); // 96

  1727     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

  1728     case 299: stack.push(arg10); // 21 10

  1729     case 301: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1730     case 302: stack.push(stack.pop() + stack.pop()); // 96

  1731     case 303: arg4 = stack.pop() // 54 4

  1732     case 305: gt = 409; continue; // 167 0 104

  1733     case 308: stack.push(arg8); // 21 8

  1734     case 310: { var v0 = stack.pop(); stack.push(java_lang_Character_toCharsACI(v0)); } // 184 1 109

  1735     case 313: arg7 = stack.pop() // 58 7

  1736     case 315: stack.push(arg7); // 25 7

  1737     case 317: stack.push(stack.pop().length); // 190

  1738     case 318: arg12 = stack.pop() // 54 12

  1739     case 320: stack.push(arg12); // 21 12

  1740     case 322: stack.push(arg10); // 21 10

  1741     case 324: if (stack.pop() >= stack.pop()) { gt = 355; continue; } // 164 0 31

  1742     case 327: stack.push(arg3); // 45

  1743     case 328: stack.push(stack.pop().length); // 190

  1744     case 329: stack.push(arg12); // 21 12

  1745     case 331: stack.push(stack.pop() + stack.pop()); // 96

  1746     case 332: stack.push(arg10); // 21 10

  1747     case 334: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1748     case 335: stack.push(new Array(stack.pop())); // 188 5

  1749     case 337: arg13 = stack.pop() // 58 13

  1750     case 339: stack.push(arg3); // 45

  1751     case 340: stack.push(0); // 3

  1752     case 341: stack.push(arg13); // 25 13

  1753     case 343: stack.push(0); // 3

  1754     case 344: stack.push(arg11); // 21 11

  1755     case 346: stack.push(arg4); // 21 4

  1756     case 348: stack.push(stack.pop() + stack.pop()); // 96

  1757     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

  1758     case 352: stack.push(arg13); // 25 13

  1759     case 354: arg3 = stack.pop(); // 78

  1760     case 355: stack.push(0); // 3

  1761     case 356: arg13 = stack.pop() // 54 13

  1762     case 358: stack.push(arg13); // 21 13

  1763     case 360: stack.push(arg12); // 21 12

  1764     case 362: if (stack.pop() <= stack.pop()) { gt = 386; continue; } // 162 0 24

  1765     case 365: stack.push(arg3); // 45

  1766     case 366: stack.push(arg11); // 21 11

  1767     case 368: stack.push(arg4); // 21 4

  1768     case 370: stack.push(stack.pop() + stack.pop()); // 96

  1769     case 371: stack.push(arg13); // 21 13

  1770     case 373: stack.push(stack.pop() + stack.pop()); // 96

  1771     case 374: stack.push(arg7); // 25 7

  1772     case 376: stack.push(arg13); // 21 13

  1773     case 378: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1774     case 379: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  1775     case 380: arg13++; // 132 13 1

  1776     case 383: gt = 358; continue; // 167 255 231

  1777     case 386: stack.push(arg4); // 21 4

  1778     case 388: stack.push(arg12); // 21 12

  1779     case 390: stack.push(arg10); // 21 10

  1780     case 392: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  1781     case 393: stack.push(stack.pop() + stack.pop()); // 96

  1782     case 394: arg4 = stack.pop() // 54 4

  1783     case 396: gt = 409; continue; // 167 0 13

  1784     case 399: stack.push(arg3); // 45

  1785     case 400: stack.push(arg11); // 21 11

  1786     case 402: stack.push(arg4); // 21 4

  1787     case 404: stack.push(stack.pop() + stack.pop()); // 96

  1788     case 405: stack.push(arg8); // 21 8

  1789     case 407: // number conversion  // 146

  1790     case 408: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  1791     case 409: stack.push(arg11); // 21 11

  1792     case 411: stack.push(arg10); // 21 10

  1793     case 413: stack.push(stack.pop() + stack.pop()); // 96

  1794     case 414: arg11 = stack.pop() // 54 11

  1795     case 416: gt = 157; continue; // 167 254 253

  1796     case 419: stack.push(new java_lang_String); // 187 0 200

  1797     case 422: stack.push(stack[stack.length - 1]); // 89

  1798     case 423: stack.push(0); // 3

  1799     case 424: stack.push(arg0); // 42

  1800     case 425: stack.push(stack.pop().count); // 180 1 97

  1801     case 428: stack.push(arg4); // 21 4

  1802     case 430: stack.push(stack.pop() + stack.pop()); // 96

  1803     case 431: stack.push(arg3); // 45

  1804     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

  1805     case 435: return stack.pop(); // 176

  1806   }

  1807 }

  1808 function java_lang_String_toLowerCaseLjava_lang_String(arg0) {

  1809   var arg1;

  1810 ;

  1811   var stack = new Array(2);

  1812   var gt = 0;

  1813   for(;;) switch(gt) {

  1814     case 0: stack.push(arg0); // 42

  1815     case 1: { stack.push(java_util_Locale_getDefaultLjava_util_Locale()); } // 184 1 179

  1816     case 4: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.toLowerCaseLjava_lang_StringLjava_util_Locale(self, v0)); } // 182 1 158

  1817     case 7: return stack.pop(); // 176

  1818   }

  1819 }

  1820 function java_lang_String_toUpperCaseLjava_lang_StringLjava_util_Locale(arg0,arg1) {

  1821   var arg2;

  1822   var arg3;

  1823   var arg4;

  1824   var arg5;

  1825   var arg6;

  1826   var arg7;

  1827   var arg8;

  1828   var arg9;

  1829   var arg10;

  1830   var arg11;

  1831   var arg12;

  1832   var arg13;

  1833   var arg14;

  1834 ;

  1835   var stack = new Array(6);

  1836   var gt = 0;

  1837   for(;;) switch(gt) {

  1838     case 0: stack.push(arg1); // 43

  1839     case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11

  1840     case 4: stack.push(new java_lang_NullPointerException); // 187 0 198

  1841     case 7: stack.push(stack[stack.length - 1]); // 89

  1842     case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128

  1843     case 11:  // 191

  1844     case 12: stack.push(0); // 3

  1845     case 13: arg2 = stack.pop(); // 61

  1846     case 14: stack.push(arg2); // 28

  1847     case 15: stack.push(arg0); // 42

  1848     case 16: stack.push(stack.pop().count); // 180 1 97

  1849     case 19: if (stack.pop() <= stack.pop()) { gt = 93; continue; } // 162 0 74

  1850     case 22: stack.push(arg0); // 42

  1851     case 23: stack.push(stack.pop().value); // 180 1 100

  1852     case 26: stack.push(arg0); // 42

  1853     case 27: stack.push(stack.pop().offset); // 180 1 99

  1854     case 30: stack.push(arg2); // 28

  1855     case 31: stack.push(stack.pop() + stack.pop()); // 96

  1856     case 32: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1857     case 33: arg3 = stack.pop(); // 62

  1858     case 34: stack.push(arg3); // 29

  1859     case 35: stack.push(55296); // 18 1

  1860     case 37: if (stack.pop() > stack.pop()) { gt = 61; continue; } // 161 0 24

  1861     case 40: stack.push(arg3); // 29

  1862     case 41: stack.push(56319); // 18 2

  1863     case 43: if (stack.pop() < stack.pop()) { gt = 61; continue; } // 163 0 18

  1864     case 46: stack.push(arg0); // 42

  1865     case 47: stack.push(arg2); // 28

  1866     case 48: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

  1867     case 51: arg3 = stack.pop(); // 62

  1868     case 52: stack.push(arg3); // 29

  1869     case 53: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

  1870     case 56: arg4 = stack.pop() // 54 4

  1871     case 58: gt = 64; continue; // 167 0 6

  1872     case 61: stack.push(1); // 4

  1873     case 62: arg4 = stack.pop() // 54 4

  1874     case 64: stack.push(arg3); // 29

  1875     case 65: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseExII(v0)); } // 184 1 108

  1876     case 68: arg5 = stack.pop() // 54 5

  1877     case 70: stack.push(arg5); // 21 5

  1878     case 72:  // 2

  1879     case 73: if (stack.pop() == stack.pop()) { gt = 95; continue; } // 159 0 22

  1880     case 76: stack.push(arg3); // 29

  1881     case 77: stack.push(arg5); // 21 5

  1882     case 79: if (stack.pop() == stack.pop()) { gt = 85; continue; } // 159 0 6

  1883     case 82: gt = 95; continue; // 167 0 13

  1884     case 85: stack.push(arg2); // 28

  1885     case 86: stack.push(arg4); // 21 4

  1886     case 88: stack.push(stack.pop() + stack.pop()); // 96

  1887     case 89: arg2 = stack.pop(); // 61

  1888     case 90: gt = 14; continue; // 167 255 180

  1889     case 93: stack.push(arg0); // 42

  1890     case 94: return stack.pop(); // 176

  1891     case 95: stack.push(arg0); // 42

  1892     case 96: stack.push(stack.pop().count); // 180 1 97

  1893     case 99: stack.push(new Array(stack.pop())); // 188 5

  1894     case 101: arg3 = stack.pop(); // 78

  1895     case 102: stack.push(0); // 3

  1896     case 103: arg4 = stack.pop() // 54 4

  1897     case 105: stack.push(arg0); // 42

  1898     case 106: stack.push(stack.pop().value); // 180 1 100

  1899     case 109: stack.push(arg0); // 42

  1900     case 110: stack.push(stack.pop().offset); // 180 1 99

  1901     case 113: stack.push(arg3); // 45

  1902     case 114: stack.push(0); // 3

  1903     case 115: stack.push(arg2); // 28

  1904     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

  1905     case 119: stack.push(arg1); // 43

  1906     case 120: { var self = stack.pop(); stack.push(self.getLanguageLjava_lang_String(self)); } // 182 1 178

  1907     case 123: arg5 = stack.pop() // 58 5

  1908     case 125: stack.push(arg5); // 25 5

  1909     case 127: stack.push("tr"); // 18 11

  1910     case 129:  // 165

  1911     case 130:  // 0

  1912     case 131: stack.push(6405); // 17 25 5

  1913     case 134: stack.push("az"); // 18 5

  1914     case 136:  // 165

  1915     case 137:  // 0

  1916     case 138: stack.push(1); // 10

  1917     case 139: stack.push(arg5); // 25 5

  1918     case 141: stack.push("lt"); // 18 9

  1919     case 143:  // 166

  1920     case 144:  // 0

  1921     case 145: stack.push(4); // 7

  1922     case 146: stack.push(1); // 4

  1923     case 147: gt = 151; continue; // 167 0 4

  1924     case 150: stack.push(0); // 3

  1925     case 151: arg6 = stack.pop() // 54 6

  1926     case 153: stack.push(arg2); // 28

  1927     case 154: arg11 = stack.pop() // 54 11

  1928     case 156: stack.push(arg11); // 21 11

  1929     case 158: stack.push(arg0); // 42

  1930     case 159: stack.push(stack.pop().count); // 180 1 97

  1931     case 162: if (stack.pop() <= stack.pop()) { gt = 425; continue; } // 162 1 7

  1932     case 165: stack.push(arg0); // 42

  1933     case 166: stack.push(stack.pop().value); // 180 1 100

  1934     case 169: stack.push(arg0); // 42

  1935     case 170: stack.push(stack.pop().offset); // 180 1 99

  1936     case 173: stack.push(arg11); // 21 11

  1937     case 175: stack.push(stack.pop() + stack.pop()); // 96

  1938     case 176: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  1939     case 177: arg9 = stack.pop() // 54 9

  1940     case 179: stack.push(arg9); // 21 9

  1941     case 181: // number conversion  // 146

  1942     case 182: stack.push(55296); // 18 1

  1943     case 184: if (stack.pop() > stack.pop()) { gt = 213; continue; } // 161 0 29

  1944     case 187: stack.push(arg9); // 21 9

  1945     case 189: // number conversion  // 146

  1946     case 190: stack.push(56319); // 18 2

  1947     case 192: if (stack.pop() < stack.pop()) { gt = 213; continue; } // 163 0 21

  1948     case 195: stack.push(arg0); // 42

  1949     case 196: stack.push(arg11); // 21 11

  1950     case 198: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

  1951     case 201: arg9 = stack.pop() // 54 9

  1952     case 203: stack.push(arg9); // 21 9

  1953     case 205: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

  1954     case 208: arg10 = stack.pop() // 54 10

  1955     case 210: gt = 216; continue; // 167 0 6

  1956     case 213: stack.push(1); // 4

  1957     case 214: arg10 = stack.pop() // 54 10

  1958     case 216: stack.push(arg6); // 21 6

  1959     case 218: if (stack.pop() == 0) { gt = 233; continue; } // 153 0 15

  1960     case 221: stack.push(arg0); // 42

  1961     case 222: stack.push(arg11); // 21 11

  1962     case 224: stack.push(arg1); // 43

  1963     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

  1964     case 228: arg8 = stack.pop() // 54 8

  1965     case 230: gt = 240; continue; // 167 0 10

  1966     case 233: stack.push(arg9); // 21 9

  1967     case 235: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseExII(v0)); } // 184 1 108

  1968     case 238: arg8 = stack.pop() // 54 8

  1969     case 240: stack.push(arg8); // 21 8

  1970     case 242:  // 2

  1971     case 243: if (stack.pop() == stack.pop()) { gt = 253; continue; } // 159 0 10

  1972     case 246: stack.push(arg8); // 21 8

  1973     case 248: stack.push(65536); // 18 3

  1974     case 250: if (stack.pop() > stack.pop()) { gt = 405; continue; } // 161 0 155

  1975     case 253: stack.push(arg8); // 21 8

  1976     case 255:  // 2

  1977     case 256: if (stack.pop() != stack.pop()) { gt = 286; continue; } // 160 0 30

  1978     case 259: stack.push(arg6); // 21 6

  1979     case 261: if (stack.pop() == 0) { gt = 276; continue; } // 153 0 15

  1980     case 264: stack.push(arg0); // 42

  1981     case 265: stack.push(arg11); // 21 11

  1982     case 267: stack.push(arg1); // 43

  1983     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

  1984     case 271: arg7 = stack.pop() // 58 7

  1985     case 273: gt = 321; continue; // 167 0 48

  1986     case 276: stack.push(arg9); // 21 9

  1987     case 278: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseCharArrayACI(v0)); } // 184 1 110

  1988     case 281: arg7 = stack.pop() // 58 7

  1989     case 283: gt = 321; continue; // 167 0 38

  1990     case 286: stack.push(arg10); // 21 10

  1991     case 288: stack.push(2); // 5

  1992     case 289: if (stack.pop() != stack.pop()) { gt = 314; continue; } // 160 0 25

  1993     case 292: stack.push(arg4); // 21 4

  1994     case 294: stack.push(arg8); // 21 8

  1995     case 296: stack.push(arg3); // 45

  1996     case 297: stack.push(arg11); // 21 11

  1997     case 299: stack.push(arg4); // 21 4

  1998     case 301: stack.push(stack.pop() + stack.pop()); // 96

  1999     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

  2000     case 305: stack.push(arg10); // 21 10

  2001     case 307: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2002     case 308: stack.push(stack.pop() + stack.pop()); // 96

  2003     case 309: arg4 = stack.pop() // 54 4

  2004     case 311: gt = 415; continue; // 167 0 104

  2005     case 314: stack.push(arg8); // 21 8

  2006     case 316: { var v0 = stack.pop(); stack.push(java_lang_Character_toCharsACI(v0)); } // 184 1 109

  2007     case 319: arg7 = stack.pop() // 58 7

  2008     case 321: stack.push(arg7); // 25 7

  2009     case 323: stack.push(stack.pop().length); // 190

  2010     case 324: arg12 = stack.pop() // 54 12

  2011     case 326: stack.push(arg12); // 21 12

  2012     case 328: stack.push(arg10); // 21 10

  2013     case 330: if (stack.pop() >= stack.pop()) { gt = 361; continue; } // 164 0 31

  2014     case 333: stack.push(arg3); // 45

  2015     case 334: stack.push(stack.pop().length); // 190

  2016     case 335: stack.push(arg12); // 21 12

  2017     case 337: stack.push(stack.pop() + stack.pop()); // 96

  2018     case 338: stack.push(arg10); // 21 10

  2019     case 340: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2020     case 341: stack.push(new Array(stack.pop())); // 188 5

  2021     case 343: arg13 = stack.pop() // 58 13

  2022     case 345: stack.push(arg3); // 45

  2023     case 346: stack.push(0); // 3

  2024     case 347: stack.push(arg13); // 25 13

  2025     case 349: stack.push(0); // 3

  2026     case 350: stack.push(arg11); // 21 11

  2027     case 352: stack.push(arg4); // 21 4

  2028     case 354: stack.push(stack.pop() + stack.pop()); // 96

  2029     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

  2030     case 358: stack.push(arg13); // 25 13

  2031     case 360: arg3 = stack.pop(); // 78

  2032     case 361: stack.push(0); // 3

  2033     case 362: arg13 = stack.pop() // 54 13

  2034     case 364: stack.push(arg13); // 21 13

  2035     case 366: stack.push(arg12); // 21 12

  2036     case 368: if (stack.pop() <= stack.pop()) { gt = 392; continue; } // 162 0 24

  2037     case 371: stack.push(arg3); // 45

  2038     case 372: stack.push(arg11); // 21 11

  2039     case 374: stack.push(arg4); // 21 4

  2040     case 376: stack.push(stack.pop() + stack.pop()); // 96

  2041     case 377: stack.push(arg13); // 21 13

  2042     case 379: stack.push(stack.pop() + stack.pop()); // 96

  2043     case 380: stack.push(arg7); // 25 7

  2044     case 382: stack.push(arg13); // 21 13

  2045     case 384: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2046     case 385: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  2047     case 386: arg13++; // 132 13 1

  2048     case 389: gt = 364; continue; // 167 255 231

  2049     case 392: stack.push(arg4); // 21 4

  2050     case 394: stack.push(arg12); // 21 12

  2051     case 396: stack.push(arg10); // 21 10

  2052     case 398: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2053     case 399: stack.push(stack.pop() + stack.pop()); // 96

  2054     case 400: arg4 = stack.pop() // 54 4

  2055     case 402: gt = 415; continue; // 167 0 13

  2056     case 405: stack.push(arg3); // 45

  2057     case 406: stack.push(arg11); // 21 11

  2058     case 408: stack.push(arg4); // 21 4

  2059     case 410: stack.push(stack.pop() + stack.pop()); // 96

  2060     case 411: stack.push(arg8); // 21 8

  2061     case 413: // number conversion  // 146

  2062     case 414: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  2063     case 415: stack.push(arg11); // 21 11

  2064     case 417: stack.push(arg10); // 21 10

  2065     case 419: stack.push(stack.pop() + stack.pop()); // 96

  2066     case 420: arg11 = stack.pop() // 54 11

  2067     case 422: gt = 156; continue; // 167 254 246

  2068     case 425: stack.push(new java_lang_String); // 187 0 200

  2069     case 428: stack.push(stack[stack.length - 1]); // 89

  2070     case 429: stack.push(0); // 3

  2071     case 430: stack.push(arg0); // 42

  2072     case 431: stack.push(stack.pop().count); // 180 1 97

  2073     case 434: stack.push(arg4); // 21 4

  2074     case 436: stack.push(stack.pop() + stack.pop()); // 96

  2075     case 437: stack.push(arg3); // 45

  2076     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

  2077     case 441: return stack.pop(); // 176

  2078   }

  2079 }

  2080 function java_lang_String_toUpperCaseLjava_lang_String(arg0) {

  2081   var arg1;

  2082 ;

  2083   var stack = new Array(2);

  2084   var gt = 0;

  2085   for(;;) switch(gt) {

  2086     case 0: stack.push(arg0); // 42

  2087     case 1: { stack.push(java_util_Locale_getDefaultLjava_util_Locale()); } // 184 1 179

  2088     case 4: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.toUpperCaseLjava_lang_StringLjava_util_Locale(self, v0)); } // 182 1 159

  2089     case 7: return stack.pop(); // 176

  2090   }

  2091 }

  2092 function java_lang_String_trimLjava_lang_String(arg0) {

  2093   var arg1;

  2094   var arg2;

  2095   var arg3;

  2096   var arg4;

  2097   var arg5;

  2098 ;

  2099   var stack = new Array(3);

  2100   var gt = 0;

  2101   for(;;) switch(gt) {

  2102     case 0: stack.push(arg0); // 42

  2103     case 1: stack.push(stack.pop().count); // 180 1 97

  2104     case 4: arg1 = stack.pop(); // 60

  2105     case 5: stack.push(0); // 3

  2106     case 6: arg2 = stack.pop(); // 61

  2107     case 7: stack.push(arg0); // 42

  2108     case 8: stack.push(stack.pop().offset); // 180 1 99

  2109     case 11: arg3 = stack.pop(); // 62

  2110     case 12: stack.push(arg0); // 42

  2111     case 13: stack.push(stack.pop().value); // 180 1 100

  2112     case 16: arg4 = stack.pop() // 58 4

  2113     case 18: stack.push(arg2); // 28

  2114     case 19: stack.push(arg1); // 27

  2115     case 20: if (stack.pop() <= stack.pop()) { gt = 40; continue; } // 162 0 20

  2116     case 23: stack.push(arg4); // 25 4

  2117     case 25: stack.push(arg3); // 29

  2118     case 26: stack.push(arg2); // 28

  2119     case 27: stack.push(stack.pop() + stack.pop()); // 96

  2120     case 28: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2121     case 29: stack.push(32); // 16 32

  2122     case 31: if (stack.pop() < stack.pop()) { gt = 40; continue; } // 163 0 9

  2123     case 34: arg2++; // 132 2 1

  2124     case 37: gt = 18; continue; // 167 255 237

  2125     case 40: stack.push(arg2); // 28

  2126     case 41: stack.push(arg1); // 27

  2127     case 42: if (stack.pop() <= stack.pop()) { gt = 64; continue; } // 162 0 22

  2128     case 45: stack.push(arg4); // 25 4

  2129     case 47: stack.push(arg3); // 29

  2130     case 48: stack.push(arg1); // 27

  2131     case 49: stack.push(stack.pop() + stack.pop()); // 96

  2132     case 50: stack.push(1); // 4

  2133     case 51: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2134     case 52: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2135     case 53: stack.push(32); // 16 32

  2136     case 55: if (stack.pop() < stack.pop()) { gt = 64; continue; } // 163 0 9

  2137     case 58: arg1 += 255; // 132 1 255

  2138     case 61: gt = 40; continue; // 167 255 235

  2139     case 64: stack.push(arg2); // 28

  2140     case 65: if (stack.pop() > 0) { gt = 76; continue; } // 157 0 11

  2141     case 68: stack.push(arg1); // 27

  2142     case 69: stack.push(arg0); // 42

  2143     case 70: stack.push(stack.pop().count); // 180 1 97

  2144     case 73: if (stack.pop() <= stack.pop()) { gt = 85; continue; } // 162 0 12

  2145     case 76: stack.push(arg0); // 42

  2146     case 77: stack.push(arg2); // 28

  2147     case 78: stack.push(arg1); // 27

  2148     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

  2149     case 82: gt = 86; continue; // 167 0 4

  2150     case 85: stack.push(arg0); // 42

  2151     case 86: return stack.pop(); // 176

  2152   }

  2153 }

  2154 */

  2155 function java_lang_String_toStringLjava_lang_String(arg0) {

  2156     return arg0.toString();

  2157 }

  2158 function java_lang_String_toCharArrayAC(arg0) {

  2159     return arg0.toString().split('');

  2160 }

  2161 /*

  2162 function java_lang_String_formatLjava_lang_StringLjava_lang_StringLjava_lang_Object(arg0,arg1) {

  2163   var stack = new Array();

  2164   var gt = 0;

  2165   for(;;) switch(gt) {

  2166     case 0: stack.push(new java_util_Formatter); // 187 0 211

  2167     case 3: stack.push(stack[stack.length - 1]); // 89

  2168     case 4: { java_util_Formatter_consV(stack.pop()); } // 183 1 174

  2169     case 7: stack.push(arg0); // 42

  2170     case 8: stack.push(arg1); // 43

  2171     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

  2172     case 12: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 175

  2173     case 15: return stack.pop(); // 176

  2174   }

  2175 }

  2176 function java_lang_String_formatLjava_lang_StringLjava_util_LocaleLjava_lang_StringLjava_lang_Object(arg0,arg1,arg2) {

  2177   var stack = new Array();

  2178   var gt = 0;

  2179   for(;;) switch(gt) {

  2180     case 0: stack.push(new java_util_Formatter); // 187 0 211

  2181     case 3: stack.push(stack[stack.length - 1]); // 89

  2182     case 4: stack.push(arg0); // 42

  2183     case 5: { var v0 = stack.pop(); java_util_Formatter_consVLjava_util_Locale(stack.pop(), v0); } // 183 1 176

  2184     case 8: stack.push(arg1); // 43

  2185     case 9: stack.push(arg2); // 44

  2186     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

  2187     case 13: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 175

  2188     case 16: return stack.pop(); // 176

  2189   }

  2190 }

  2191 function java_lang_String_valueOfLjava_lang_StringLjava_lang_Object(arg0) {

  2192   var stack = new Array();

  2193   var gt = 0;

  2194   for(;;) switch(gt) {

  2195     case 0: stack.push(arg0); // 42

  2196     case 1: if (stack.pop()) { gt = 9; continue; } // 199 0 8

  2197     case 4: stack.push("null"); // 18 10

  2198     case 6: gt = 13; continue; // 167 0 7

  2199     case 9: stack.push(arg0); // 42

  2200     case 10: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132

  2201     case 13: return stack.pop(); // 176

  2202   }

  2203 }

  2204 function java_lang_String_valueOfLjava_lang_StringAC(arg0) {

  2205   var stack = new Array();

  2206   var gt = 0;

  2207   for(;;) switch(gt) {

  2208     case 0: stack.push(new java_lang_String); // 187 0 200

  2209     case 3: stack.push(stack[stack.length - 1]); // 89

  2210     case 4: stack.push(arg0); // 42

  2211     case 5: { var v0 = stack.pop(); java_lang_String_consVAC(stack.pop(), v0); } // 183 1 142

  2212     case 8: return stack.pop(); // 176

  2213   }

  2214 }

  2215 function java_lang_String_valueOfLjava_lang_StringACII(arg0,arg1,arg2) {

  2216   var stack = new Array();

  2217   var gt = 0;

  2218   for(;;) switch(gt) {

  2219     case 0: stack.push(new java_lang_String); // 187 0 200

  2220     case 3: stack.push(stack[stack.length - 1]); // 89

  2221     case 4: stack.push(arg0); // 42

  2222     case 5: stack.push(arg1); // 27

  2223     case 6: stack.push(arg2); // 28

  2224     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

  2225     case 10: return stack.pop(); // 176

  2226   }

  2227 }

  2228 function java_lang_String_copyValueOfLjava_lang_StringACII(arg0,arg1,arg2) {

  2229   var stack = new Array();

  2230   var gt = 0;

  2231   for(;;) switch(gt) {

  2232     case 0: stack.push(new java_lang_String); // 187 0 200

  2233     case 3: stack.push(stack[stack.length - 1]); // 89

  2234     case 4: stack.push(arg0); // 42

  2235     case 5: stack.push(arg1); // 27

  2236     case 6: stack.push(arg2); // 28

  2237     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

  2238     case 10: return stack.pop(); // 176

  2239   }

  2240 }

  2241 function java_lang_String_copyValueOfLjava_lang_StringAC(arg0) {

  2242   var stack = new Array();

  2243   var gt = 0;

  2244   for(;;) switch(gt) {

  2245     case 0: stack.push(arg0); // 42

  2246     case 1: stack.push(0); // 3

  2247     case 2: stack.push(arg0); // 42

  2248     case 3: stack.push(stack.pop().length); // 190

  2249     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

  2250     case 7: return stack.pop(); // 176

  2251   }

  2252 }

  2253 function java_lang_String_valueOfLjava_lang_StringZ(arg0) {

  2254   var stack = new Array();

  2255   var gt = 0;

  2256   for(;;) switch(gt) {

  2257     case 0: stack.push(arg0); // 26

  2258     case 1: if (stack.pop() == 0) { gt = 9; continue; } // 153 0 8

  2259     case 4: stack.push("true"); // 18 12

  2260     case 6: gt = 11; continue; // 167 0 5

  2261     case 9: stack.push("false"); // 18 8

  2262     case 11: return stack.pop(); // 176

  2263   }

  2264 }

  2265 function java_lang_String_valueOfLjava_lang_StringC(arg0) {

  2266   var arg1;

  2267   var stack = new Array();

  2268   var gt = 0;

  2269   for(;;) switch(gt) {

  2270     case 0: stack.push(1); // 4

  2271     case 1: stack.push(new Array(stack.pop())); // 188 5

  2272     case 3: stack.push(stack[stack.length - 1]); // 89

  2273     case 4: stack.push(0); // 3

  2274     case 5: stack.push(arg0); // 26

  2275     case 6: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  2276     case 7: arg1 = stack.pop(); // 76

  2277     case 8: stack.push(new java_lang_String); // 187 0 200

  2278     case 11: stack.push(stack[stack.length - 1]); // 89

  2279     case 12: stack.push(0); // 3

  2280     case 13: stack.push(1); // 4

  2281     case 14: stack.push(arg1); // 43

  2282     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

  2283     case 18: return stack.pop(); // 176

  2284   }

  2285 }

  2286 function java_lang_String_valueOfLjava_lang_StringJ(arg0) {

  2287   var arg1;

  2288   var stack = new Array();

  2289   var gt = 0;

  2290   for(;;) switch(gt) {

  2291     case 0: stack.push(arg0); // 30

  2292     case 1: stack.push(10); // 16 10

  2293     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Long_toStringLjava_lang_StringJI(v0, v1)); } // 184 1 126

  2294     case 6: return stack.pop(); // 176

  2295   }

  2296 }

  2297 function java_lang_String_valueOfLjava_lang_StringF(arg0) {

  2298   var stack = new Array();

  2299   var gt = 0;

  2300   for(;;) switch(gt) {

  2301     case 0: stack.push(arg0); // 34

  2302     case 1: { var v0 = stack.pop(); stack.push(java_lang_Float_toStringLjava_lang_StringF(v0)); } // 184 1 122

  2303     case 4: return stack.pop(); // 176

  2304   }

  2305 }

  2306 function java_lang_String_valueOfLjava_lang_StringD(arg0) {

  2307   var arg1;

  2308   var stack = new Array();

  2309   var gt = 0;

  2310   for(;;) switch(gt) {

  2311     case 0: stack.push(arg0); // 38

  2312     case 1: { var v0 = stack.pop(); stack.push(java_lang_Double_toStringLjava_lang_StringD(v0)); } // 184 1 121

  2313     case 4: return stack.pop(); // 176

  2314   }

  2315 }

  2316 function java_lang_String_internLjava_lang_String(arg0) {

  2317   // no code found for null

  2318 }

  2319 function java_lang_String_compareToILjava_lang_Object(arg0,arg1) {

  2320   var arg2;

  2321 ;

  2322   var stack = new Array(2);

  2323   var gt = 0;

  2324   for(;;) switch(gt) {

  2325     case 0: stack.push(arg0); // 42

  2326     case 1: stack.push(arg1); // 43

  2327     case 2: if(stack[stack.length - 1].$instOf_java_lang_String != 1) throw {}; // 192 0 200

  2328     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.compareToILjava_lang_String(self, v0)); } // 182 1 148

  2329     case 8: return stack.pop(); // 172

  2330   }

  2331 }

  2332 function java_lang_String_classV() {

  2333   var stack = new Array();

  2334   var gt = 0;

  2335   for(;;) switch(gt) {

  2336     case 0: stack.push(0); // 3

  2337     case 1: stack.push(new Array(stack.pop())); // 189 0 183

  2338     case 4: java_lang_String_serialPersistentFields = stack.pop(); // 179 1 101

  2339     case 7: stack.push(new java_lang_String$CaseInsensitiveComparator); // 187 0 202

  2340     case 10: stack.push(stack[stack.length - 1]); // 89

  2341     case 11:  // 1

  2342     case 12: { var v0 = stack.pop(); java_lang_String$CaseInsensitiveComparator_consVLjava_lang_String$1(stack.pop(), v0); } // 183 1 160

  2343     case 15: java_lang_String_CASE_INSENSITIVE_ORDER = stack.pop(); // 179 1 102

  2344     case 18: return; // 177

  2345   }

  2346 }

  2347 */

  2348 var java_lang_String_serialVersionUID = 0;

  2349 var java_lang_String_serialPersistentFields = 0;

  2350 var java_lang_String_CASE_INSENSITIVE_ORDER = 0;

  2351 function java_lang_String() {

  2352   /** the real value of this 'string' we delegate to */

  2353   this.r = '';

  2355   var self = this;

  2356     /*

  2357   this.value = 0;

  2358   this.offset = 0;

  2359   this.count = 0;

  2360   this.hash = 0;

  2361   */

  2362   this.toString = function() { return self.r; };

  2363 }

  2364 java_lang_String.prototype = new String;

  2365 //java_lang_String_classV();

  2367 /* new method for JavaScript String */

  2368 String.prototype.charAtCI = java_lang_String_charAtCI;

  2369 String.prototype.lengthI = java_lang_String_lengthI;

  2370 String.prototype.isEmptyZ = java_lang_String_isEmptyZ;

  2371 String.prototype.getCharsVIIACI = java_lang_String_getCharsVIIACAI;

  2372 String.prototype.toStringLjava_lang_String = java_lang_String_toStringLjava_lang_String;

  2373 String.prototype.substringLjava_lang_StringI = java_lang_String_substringLjava_lang_StringI;

  2374 String.prototype.substringLjava_lang_StringII = java_lang_String_substringLjava_lang_StringII;

  2375 String.prototype.replaceLjava_lang_StringCC = java_lang_String_replaceLjava_lang_StringCC;

  2376 String.prototype.containsZLjava_lang_CharSequence = java_lang_String_containsZLjava_lang_CharSequence;

  2377 String.prototype.equalsZLjava_lang_Object = java_lang_String_equalsZLjava_lang_Object;

  2378 String.prototype.toCharArrayAC = java_lang_String_toCharArrayAC;

  2379 String.prototype.valueOfLjava_lang_StringI=java_lang_String_valueOfLjava_lang_StringI;

  2380 String.prototype.startsWithZLjava_lang_StringI = java_lang_String_startsWithZLjava_lang_StringI;

  2381 String.prototype.startsWithZLjava_lang_String=java_lang_String_startsWithZLjava_lang_String;

  2382 String.prototype.endsWithZLjava_lang_String=java_lang_String_endsWithZLjava_lang_String;

  2384 String.prototype.$instOf_java_lang_String = true;

  2385 String.prototype.$instOf_java_io_Serializable = true;

  2386 String.prototype.$instOf_java_lang_Comparable = true;

  2387 String.prototype.$instOf_java_lang_CharSequence = true;

  2389 /*

  2390   this.lengthI = java_lang_String_lengthI;

  2391   this.isEmptyZ = java_lang_String_isEmptyZ;

  2392   this.charAtCI = java_lang_String_charAtCI;

  2393   this.codePointAtII = java_lang_String_codePointAtII;

  2394   this.codePointBeforeII = java_lang_String_codePointBeforeII;

  2395   this.codePointCountIII = java_lang_String_codePointCountIII;

  2396   this.offsetByCodePointsIII = java_lang_String_offsetByCodePointsIII;

  2397   this.getCharsVACI = java_lang_String_getCharsVACI;

  2398   this.getCharsVIIACI = java_lang_String_getCharsVIIACI;

  2399   this.getBytesVIIABI = java_lang_String_getBytesVIIABI;

  2400   this.getBytesABLjava_lang_String = java_lang_String_getBytesABLjava_lang_String;

  2401   this.getBytesABLjava_nio_charset_Charset = java_lang_String_getBytesABLjava_nio_charset_Charset;

  2402   this.getBytesAB = java_lang_String_getBytesAB;

  2403   this.equalsZLjava_lang_Object = java_lang_String_equalsZLjava_lang_Object;

  2404   this.contentEqualsZLjava_lang_StringBuffer = java_lang_String_contentEqualsZLjava_lang_StringBuffer;

  2405   this.contentEqualsZLjava_lang_CharSequence = java_lang_String_contentEqualsZLjava_lang_CharSequence;

  2406   this.equalsIgnoreCaseZLjava_lang_String = java_lang_String_equalsIgnoreCaseZLjava_lang_String;

  2407   this.compareToILjava_lang_String = java_lang_String_compareToILjava_lang_String;

  2408   this.compareToIgnoreCaseILjava_lang_String = java_lang_String_compareToIgnoreCaseILjava_lang_String;

  2409   this.regionMatchesZILjava_lang_StringII = java_lang_String_regionMatchesZILjava_lang_StringII;

  2410   this.regionMatchesZZILjava_lang_StringII = java_lang_String_regionMatchesZZILjava_lang_StringII;

  2411   this.startsWithZLjava_lang_StringI = java_lang_String_startsWithZLjava_lang_StringI;

  2412   this.startsWithZLjava_lang_String = java_lang_String_startsWithZLjava_lang_String;

  2413   this.endsWithZLjava_lang_String = java_lang_String_endsWithZLjava_lang_String;

  2414   this.hashCodeI = java_lang_String_hashCodeI;

  2415   this.indexOfII = java_lang_String_indexOfII;

  2416   this.indexOfIII = java_lang_String_indexOfIII;

  2417   this.lastIndexOfII = java_lang_String_lastIndexOfII;

  2418   this.lastIndexOfIII = java_lang_String_lastIndexOfIII;

  2419   this.indexOfILjava_lang_String = java_lang_String_indexOfILjava_lang_String;

  2420   this.indexOfILjava_lang_StringI = java_lang_String_indexOfILjava_lang_StringI;

  2421   this.lastIndexOfILjava_lang_String = java_lang_String_lastIndexOfILjava_lang_String;

  2422   this.lastIndexOfILjava_lang_StringI = java_lang_String_lastIndexOfILjava_lang_StringI;

  2423   this.substringLjava_lang_StringI = java_lang_String_substringLjava_lang_StringI;

  2424   this.substringLjava_lang_StringII = java_lang_String_substringLjava_lang_StringII;

  2425   this.subSequenceLjava_lang_CharSequenceII = java_lang_String_subSequenceLjava_lang_CharSequenceII;

  2426   this.concatLjava_lang_StringLjava_lang_String = java_lang_String_concatLjava_lang_StringLjava_lang_String;

  2427   this.replaceLjava_lang_StringCC = java_lang_String_replaceLjava_lang_StringCC;

  2428   this.matchesZLjava_lang_String = java_lang_String_matchesZLjava_lang_String;

  2429   this.containsZLjava_lang_CharSequence = java_lang_String_containsZLjava_lang_CharSequence;

  2430   this.replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String = java_lang_String_replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String;

  2431   this.replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String = java_lang_String_replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String;

  2432   this.replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence = java_lang_String_replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence;

  2433   this.splitALjava_lang_StringLjava_lang_StringI = java_lang_String_splitALjava_lang_StringLjava_lang_StringI;

  2434   this.splitALjava_lang_StringLjava_lang_String = java_lang_String_splitALjava_lang_StringLjava_lang_String;

  2435   this.toLowerCaseLjava_lang_StringLjava_util_Locale = java_lang_String_toLowerCaseLjava_lang_StringLjava_util_Locale;

  2436   this.toLowerCaseLjava_lang_String = java_lang_String_toLowerCaseLjava_lang_String;

  2437   this.toUpperCaseLjava_lang_StringLjava_util_Locale = java_lang_String_toUpperCaseLjava_lang_StringLjava_util_Locale;

  2438   this.toUpperCaseLjava_lang_String = java_lang_String_toUpperCaseLjava_lang_String;

  2439   this.trimLjava_lang_String = java_lang_String_trimLjava_lang_String;

  2440   this.toStringLjava_lang_String = java_lang_String_toStringLjava_lang_String;

  2441   this.internLjava_lang_String = java_lang_String_internLjava_lang_String;

  2442   this.compareToILjava_lang_Object = java_lang_String_compareToILjava_lang_Object;

  2443  */

author	Jaroslav Tulach <jaroslav.tulach@apidesign.org>
	Sun, 18 Nov 2012 14:39:55 +0100
branch	javap
changeset 182	e75412365c87
parent 177	0bda47eab728
child 183	1d6ca19d7174
permissions	-rw-r--r--