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

     1 /**

     2  * Back 2 Browser Bytecode Translator

     3  * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>

     4  *

     5  * This program is free software: you can redistribute it and/or modify

     6  * it under the terms of the GNU General Public License as published by

     7  * the Free Software Foundation, version 2 of the License.

     8  *

     9  * This program is distributed in the hope that it will be useful,

    10  * but WITHOUT ANY WARRANTY; without even the implied warranty of

    11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

    12  * GNU General Public License for more details.

    13  *

    14  * You should have received a copy of the GNU General Public License

    15  * along with this program. Look for COPYING file in the top folder.

    16  * If not, see http://opensource.org/licenses/GPL-2.0.

    17  */

    20 function java_lang_String_consVAC(self,charArr) {

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

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

    23     }

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

    25 }

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

    28     var up = off + cnt;

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

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

    31     }

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

    33 }

    35 function java_lang_String_charAtCI(arg0,arg1) {

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

    37 }

    38 function java_lang_String_lengthI(arg0) {

    39     return arg0.toString().length;

    40 }

    41 function java_lang_String_isEmptyZ(arg0) {

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

    43 }

    44 function java_lang_String_valueOfLjava_lang_StringI(n) {

    45     return n.toString();

    46 }

    48 function java_lang_String_startsWithZLjava_lang_StringI(self,find,from) {

    49     find = find.toString();

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

    51 }

    52 function java_lang_String_startsWithZLjava_lang_String(self,find) {

    53     find = find.toString();

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

    55 }

    56 function java_lang_String_endsWithZLjava_lang_String(self,find) {

    57     self = self.toString();

    58     find = find.toString();

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

    60         return false;

    61     }

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

    63 }

    65 function java_lang_String_indexOfII(arg0,ch) {

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

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

    68 }

    69 function java_lang_String_indexOfIII(arg0,ch,from) {

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

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

    72 }

    74 function java_lang_String_getCharsVACI(self, arr, to) {

    75     var s = self.toString();

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

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

    78     }

    79 }

    81 /*

    82 function java_lang_String_codePointAtII(arg0,arg1) {

    83   var arg2;

    84 ;

    85   var stack = new Array(4);

    86   var gt = 0;

    87   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

    98     case 20:  // 191

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

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

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

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

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

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

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

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

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

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

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

   110     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

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

   112   }

   113 }

   114 function java_lang_String_codePointBeforeII(arg0,arg1) {

   115   var arg2;

   116   var arg3;

   117 ;

   118   var stack = new Array(3);

   119   var gt = 0;

   120   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   135     case 24:  // 191

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

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

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

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

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

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

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

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

   144     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

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

   146   }

   147 }

   148 function java_lang_String_codePointCountIII(arg0,arg1,arg2) {

   149   var arg3;

   150 ;

   151   var stack = new Array(4);

   152   var gt = 0;

   153   for(;;) switch(gt) {

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

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

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

   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 = 17; continue; } // 163 0 8

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

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

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

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

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

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

   166     case 24:  // 191

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

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

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

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

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

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

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

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

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

   176     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

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

   178   }

   179 }

   180 function java_lang_String_offsetByCodePointsIII(arg0,arg1,arg2) {

   181   var arg3;

   182 ;

   183   var stack = new Array(5);

   184   var gt = 0;

   185   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

   195     case 19:  // 191

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

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

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

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

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

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

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

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

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

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

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

   207     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

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

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

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

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

   212   }

   213 }

   214 */

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

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

   218     var s = arg0.toString();

   219     while (arg1 < arg2) {

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

   221     }

   222 }

   224 /*

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

   226   var arg5;

   227   var arg6;

   228   var arg7;

   229   var arg8;

   230   var arg9;

   231 ;

   232   var stack = new Array(4);

   233   var gt = 0;

   234   for(;;) switch(gt) {

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

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

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

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

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

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

   241     case 12:  // 191

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

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

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

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

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

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

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

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

   250     case 29:  // 191

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

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

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

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

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

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

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

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

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

   260     case 45:  // 191

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   286     case 93: // number conversion  // 145

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

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

   289     case 98: return; // 177

   290   }

   291 }

   292 function java_lang_String_getBytesABLjava_lang_String(arg0,arg1) {

   293   var arg2;

   294 ;

   295   var stack = new Array(4);

   296   var gt = 0;

   297   for(;;) switch(gt) {

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

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

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

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

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

   303     case 11:  // 191

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

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

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

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

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

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

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

   311     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

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

   313   }

   314 }

   315 function java_lang_String_getBytesABLjava_nio_charset_Charset(arg0,arg1) {

   316   var arg2;

   317 ;

   318   var stack = new Array(4);

   319   var gt = 0;

   320   for(;;) switch(gt) {

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

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

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

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

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

   326     case 11:  // 191

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

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

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

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

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

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

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

   334     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

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

   336   }

   337 }

   338 function java_lang_String_getBytesAB(arg0) {

   339   var arg1;

   340 ;

   341   var stack = new Array(3);

   342   var gt = 0;

   343   for(;;) switch(gt) {

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

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

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

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

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

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

   350     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

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

   352   }

   353 }

   354 */

   355 function java_lang_String_equalsZLjava_lang_Object(arg0,arg1) {

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

   357 }

   359 function java_lang_String_hashCodeI(self) {

   360     var h = 0;

   361     var s = self.toString();

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

   363         var high = (h >> 16) & 0xffff, low = h & 0xffff;

   364         h = (((((31 * high) & 0xffff) << 16) >>> 0) + (31 * low) + s.charCodeAt(i)) & 0xffffffff;

   365     }

   366     return h;

   367 }

   369 function java_lang_String_substringLjava_lang_StringI(arg0,arg1) {

   370     return arg0.toString().substring(arg1);

   371 }

   372 function java_lang_String_substringLjava_lang_StringII(arg0,arg1,arg2) {

   373     return arg0.toString().substring(arg1, arg2);

   374 }

   376 function java_lang_String_replaceLjava_lang_StringCC(arg0,arg1,arg2) {

   377     if (typeof arg1 === 'number') arg1 = String.fromCharCode(arg1);

   378     if (typeof arg2 === 'number') arg2 = String.fromCharCode(arg2);

   379     var s = arg0.toString();

   380     for (;;) {

   381         var ret = s.replace(arg1, arg2);

   382         if (ret === s) {

   383             return ret;

   384         }

   385         s = ret;

   386     }

   387 }

   388 function java_lang_String_containsZLjava_lang_CharSequence(arg0,arg1) {

   389     return arg0.toString().indexOf(arg1.toString()) >= 0;

   390 }

   392 function java_lang_String_toStringLjava_lang_String(arg0) {

   393     return arg0.toString();

   394 }

   395 function java_lang_String_toCharArrayAC(arg0) {

   396     return arg0.toString().split('');

   397 }

   398 var java_lang_String_serialVersionUID = 0;

   399 var java_lang_String_serialPersistentFields = 0;

   400 var java_lang_String_CASE_INSENSITIVE_ORDER = 0;

   401 function java_lang_String() {

   402     if (arguments.length === 0) {

   403         /** the real value of this 'string' we delegate to */

   404         this.r = '';

   405         return this;

   406     } else {

   407         return new java_lang_String;

   408     }

   409 }

   410 java_lang_String.prototype = new String;

   411 java_lang_String.prototype.toString = function() { return this.r; };;

   412 java_lang_String.prototype.valueOf = function() { return this.toString().valueOf(); };;

   413 //java_lang_String_classV();

   415 /* new method for JavaScript String */

   416 String.prototype.consVAC = java_lang_String_consVAC;

   417 String.prototype.consVACII = java_lang_String_consVACII;

   418 String.prototype.charAtCI = java_lang_String_charAtCI;

   419 String.prototype.lengthI = java_lang_String_lengthI;

   420 String.prototype.isEmptyZ = java_lang_String_isEmptyZ;

   421 String.prototype.getCharsVIIACI = java_lang_String_getCharsVIIACAI;

   422 String.prototype.getCharsVACI = java_lang_String_getCharsVACI;

   423 String.prototype.toStringLjava_lang_String = java_lang_String_toStringLjava_lang_String;

   424 String.prototype.substringLjava_lang_StringI = java_lang_String_substringLjava_lang_StringI;

   425 String.prototype.substringLjava_lang_StringII = java_lang_String_substringLjava_lang_StringII;

   426 String.prototype.replaceLjava_lang_StringCC = java_lang_String_replaceLjava_lang_StringCC;

   427 String.prototype.containsZLjava_lang_CharSequence = java_lang_String_containsZLjava_lang_CharSequence;

   428 String.prototype.equalsZLjava_lang_Object = java_lang_String_equalsZLjava_lang_Object;

   429 String.prototype.hashCodeI = java_lang_String_hashCodeI;

   430 String.prototype.toCharArrayAC = java_lang_String_toCharArrayAC;

   431 String.prototype.valueOfLjava_lang_StringI=java_lang_String_valueOfLjava_lang_StringI;

   432 String.prototype.startsWithZLjava_lang_StringI = java_lang_String_startsWithZLjava_lang_StringI;

   433 String.prototype.startsWithZLjava_lang_String=java_lang_String_startsWithZLjava_lang_String;

   434 String.prototype.endsWithZLjava_lang_String=java_lang_String_endsWithZLjava_lang_String;

   435 String.prototype.indexOfII=java_lang_String_indexOfII;

   436 String.prototype.indexOfIII=java_lang_String_indexOfIII;

   438 String.prototype.$instOf_java_lang_String = true;

   439 String.prototype.$instOf_java_io_Serializable = true;

   440 String.prototype.$instOf_java_lang_Comparable = true;

   441 String.prototype.$instOf_java_lang_CharSequence = true;

   443 /*

   444 function java_lang_String_subSequenceLjava_lang_CharSequenceII(arg0,arg1,arg2) {

   445   var arg3;

   446 ;

   447   var stack = new Array(3);

   448   var gt = 0;

   449   for(;;) switch(gt) {

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

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

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

   453     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

   454     case 6: return stack.pop(); // 176

   455   }

   456 }

   457 function java_lang_String_concatLjava_lang_StringLjava_lang_String(arg0,arg1) {

   458   var arg2;

   459   var arg3;

   460   var arg4;

   461 ;

   462   var stack = new Array(5);

   463   var gt = 0;

   464   for(;;) switch(gt) {

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

   466     case 1: { var self = stack.pop(); stack.push(self.lengthI(self)); } // 182 1 133

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

   468     case 5: stack.push(arg2); // 28

   469     case 6: if (stack.pop() != 0) { gt = 11; continue; } // 154 0 5

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

   471     case 10: return stack.pop(); // 176

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

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

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

   475     case 16: stack.push(stack.pop() + stack.pop()); // 96

   476     case 17: stack.push(new Array(stack.pop())); // 188 5

   477     case 19: arg3 = stack.pop(); // 78

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

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

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

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

   482     case 26: stack.push(arg3); // 45

   483     case 27: stack.push(0); // 3

   484     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

   485     case 31: stack.push(arg1); // 43

   486     case 32: stack.push(0); // 3

   487     case 33: stack.push(arg2); // 28

   488     case 34: stack.push(arg3); // 45

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

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

   491     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

   492     case 42: stack.push(new java_lang_String); // 187 0 200

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

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

   495     case 47: stack.push(arg0); // 42

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

   497     case 51: stack.push(arg2); // 28

   498     case 52: stack.push(stack.pop() + stack.pop()); // 96

   499     case 53: stack.push(arg3); // 45

   500     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

   501     case 57: return stack.pop(); // 176

   502   }

   503 }

   504 function java_lang_String_matchesZLjava_lang_String(arg0,arg1) {

   505   var arg2;

   506 ;

   507   var stack = new Array(2);

   508   var gt = 0;

   509   for(;;) switch(gt) {

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

   511     case 1: stack.push(arg0); // 42

   512     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

   513     case 5: return stack.pop(); // 172

   514   }

   515 }

   516 function java_lang_String_replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String(arg0,arg1,arg2) {

   517   var arg3;

   518 ;

   519   var stack = new Array(2);

   520   var gt = 0;

   521   for(;;) switch(gt) {

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

   523     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186

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

   525     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185

   526     case 8: stack.push(arg2); // 44

   527     case 9: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceFirstLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 182

   528     case 12: return stack.pop(); // 176

   529   }

   530 }

   531 function java_lang_String_replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String(arg0,arg1,arg2) {

   532   var arg3;

   533 ;

   534   var stack = new Array(2);

   535   var gt = 0;

   536   for(;;) switch(gt) {

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

   538     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186

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

   540     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185

   541     case 8: stack.push(arg2); // 44

   542     case 9: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceAllLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 181

   543     case 12: return stack.pop(); // 176

   544   }

   545 }

   546 function java_lang_String_replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence(arg0,arg1,arg2) {

   547   var arg3;

   548 ;

   549   var stack = new Array(2);

   550   var gt = 0;

   551   for(;;) switch(gt) {

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

   553     case 1: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132

   554     case 4: stack.push(16); // 16 16

   555     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

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

   557     case 10: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185

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

   559     case 14: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132

   560     case 17: { var v0 = stack.pop(); stack.push(java_util_regex_Matcher_quoteReplacementLjava_lang_StringLjava_lang_String(v0)); } // 184 1 180

   561     case 20: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceAllLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 181

   562     case 23: return stack.pop(); // 176

   563   }

   564 }

   565 function java_lang_String_splitALjava_lang_StringLjava_lang_StringI(arg0,arg1,arg2) {

   566   var arg3;

   567 ;

   568   var stack = new Array(3);

   569   var gt = 0;

   570   for(;;) switch(gt) {

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

   572     case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186

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

   574     case 5: stack.push(arg2); // 28

   575     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

   576     case 9: return stack.pop(); // 176

   577   }

   578 }

   579 function java_lang_String_splitALjava_lang_StringLjava_lang_String(arg0,arg1) {

   580   var arg2;

   581 ;

   582   var stack = new Array(3);

   583   var gt = 0;

   584   for(;;) switch(gt) {

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

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

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

   588     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

   589     case 6: return stack.pop(); // 176

   590   }

   591 }

   592 function java_lang_String_toLowerCaseLjava_lang_StringLjava_util_Locale(arg0,arg1) {

   593   var arg2;

   594   var arg3;

   595   var arg4;

   596   var arg5;

   597   var arg6;

   598   var arg7;

   599   var arg8;

   600   var arg9;

   601   var arg10;

   602   var arg11;

   603   var arg12;

   604   var arg13;

   605   var arg14;

   606 ;

   607   var stack = new Array(6);

   608   var gt = 0;

   609   for(;;) switch(gt) {

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

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

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

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

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

   615     case 11:  // 191

   616     case 12: stack.push(0); // 3

   617     case 13: arg2 = stack.pop(); // 61

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

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

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

   621     case 19: if (stack.pop() <= stack.pop()) { gt = 94; continue; } // 162 0 75

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

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

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

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

   626     case 30: stack.push(arg2); // 28

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

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

   629     case 33: arg3 = stack.pop(); // 62

   630     case 34: stack.push(arg3); // 29

   631     case 35: stack.push(55296); // 18 1

   632     case 37: if (stack.pop() > stack.pop()) { gt = 77; continue; } // 161 0 40

   633     case 40: stack.push(arg3); // 29

   634     case 41: stack.push(56319); // 18 2

   635     case 43: if (stack.pop() < stack.pop()) { gt = 77; continue; } // 163 0 34

   636     case 46: stack.push(arg0); // 42

   637     case 47: stack.push(arg2); // 28

   638     case 48: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

   639     case 51: arg4 = stack.pop() // 54 4

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

   641     case 55: stack.push(arg4); // 21 4

   642     case 57: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseII(v0)); } // 184 1 107

   643     case 60: if (stack.pop() == stack.pop()) { gt = 66; continue; } // 159 0 6

   644     case 63: gt = 96; continue; // 167 0 33

   645     case 66: stack.push(arg2); // 28

   646     case 67: stack.push(arg4); // 21 4

   647     case 69: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

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

   649     case 73: arg2 = stack.pop(); // 61

   650     case 74: gt = 91; continue; // 167 0 17

   651     case 77: stack.push(arg3); // 29

   652     case 78: stack.push(arg3); // 29

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

   654     case 82: if (stack.pop() == stack.pop()) { gt = 88; continue; } // 159 0 6

   655     case 85: gt = 96; continue; // 167 0 11

   656     case 88: arg2++; // 132 2 1

   657     case 91: gt = 14; continue; // 167 255 179

   658     case 94: stack.push(arg0); // 42

   659     case 95: return stack.pop(); // 176

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

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

   662     case 100: stack.push(new Array(stack.pop())); // 188 5

   663     case 102: arg3 = stack.pop(); // 78

   664     case 103: stack.push(0); // 3

   665     case 104: arg4 = stack.pop() // 54 4

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

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

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

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

   670     case 114: stack.push(arg3); // 45

   671     case 115: stack.push(0); // 3

   672     case 116: stack.push(arg2); // 28

   673     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

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

   675     case 121: { var self = stack.pop(); stack.push(self.getLanguageLjava_lang_String(self)); } // 182 1 178

   676     case 124: arg5 = stack.pop() // 58 5

   677     case 126: stack.push(arg5); // 25 5

   678     case 128: stack.push("tr"); // 18 11

   679     case 130:  // 165

   680     case 131:  // 0

   681     case 132: stack.push(6405); // 17 25 5

   682     case 135: stack.push("az"); // 18 5

   683     case 137:  // 165

   684     case 138:  // 0

   685     case 139: stack.push(1); // 10

   686     case 140: stack.push(arg5); // 25 5

   687     case 142: stack.push("lt"); // 18 9

   688     case 144:  // 166

   689     case 145:  // 0

   690     case 146: stack.push(4); // 7

   691     case 147: stack.push(1); // 4

   692     case 148: gt = 152; continue; // 167 0 4

   693     case 151: stack.push(0); // 3

   694     case 152: arg6 = stack.pop() // 54 6

   695     case 154: stack.push(arg2); // 28

   696     case 155: arg11 = stack.pop() // 54 11

   697     case 157: stack.push(arg11); // 21 11

   698     case 159: stack.push(arg0); // 42

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

   700     case 163: if (stack.pop() <= stack.pop()) { gt = 419; continue; } // 162 1 0

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

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

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

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

   705     case 174: stack.push(arg11); // 21 11

   706     case 176: stack.push(stack.pop() + stack.pop()); // 96

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

   708     case 178: arg9 = stack.pop() // 54 9

   709     case 180: stack.push(arg9); // 21 9

   710     case 182: // number conversion  // 146

   711     case 183: stack.push(55296); // 18 1

   712     case 185: if (stack.pop() > stack.pop()) { gt = 214; continue; } // 161 0 29

   713     case 188: stack.push(arg9); // 21 9

   714     case 190: // number conversion  // 146

   715     case 191: stack.push(56319); // 18 2

   716     case 193: if (stack.pop() < stack.pop()) { gt = 214; continue; } // 163 0 21

   717     case 196: stack.push(arg0); // 42

   718     case 197: stack.push(arg11); // 21 11

   719     case 199: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

   720     case 202: arg9 = stack.pop() // 54 9

   721     case 204: stack.push(arg9); // 21 9

   722     case 206: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

   723     case 209: arg10 = stack.pop() // 54 10

   724     case 211: gt = 217; continue; // 167 0 6

   725     case 214: stack.push(1); // 4

   726     case 215: arg10 = stack.pop() // 54 10

   727     case 217: stack.push(arg6); // 21 6

   728     case 219: if (stack.pop() != 0) { gt = 230; continue; } // 154 0 11

   729     case 222: stack.push(arg9); // 21 9

   730     case 224: stack.push(931); // 17 3 163

   731     case 227: if (stack.pop() != stack.pop()) { gt = 242; continue; } // 160 0 15

   732     case 230: stack.push(arg0); // 42

   733     case 231: stack.push(arg11); // 21 11

   734     case 233: stack.push(arg1); // 43

   735     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

   736     case 237: arg8 = stack.pop() // 54 8

   737     case 239: gt = 249; continue; // 167 0 10

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

   739     case 244: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseII(v0)); } // 184 1 107

   740     case 247: arg8 = stack.pop() // 54 8

   741     case 249: stack.push(arg8); // 21 8

   742     case 251:  // 2

   743     case 252: if (stack.pop() == stack.pop()) { gt = 262; continue; } // 159 0 10

   744     case 255: stack.push(arg8); // 21 8

   745     case 257: stack.push(65536); // 18 3

   746     case 259: if (stack.pop() > stack.pop()) { gt = 399; continue; } // 161 0 140

   747     case 262: stack.push(arg8); // 21 8

   748     case 264:  // 2

   749     case 265: if (stack.pop() != stack.pop()) { gt = 280; continue; } // 160 0 15

   750     case 268: stack.push(arg0); // 42

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

   752     case 271: stack.push(arg1); // 43

   753     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

   754     case 275: arg7 = stack.pop() // 58 7

   755     case 277: gt = 315; continue; // 167 0 38

   756     case 280: stack.push(arg10); // 21 10

   757     case 282: stack.push(2); // 5

   758     case 283: if (stack.pop() != stack.pop()) { gt = 308; continue; } // 160 0 25

   759     case 286: stack.push(arg4); // 21 4

   760     case 288: stack.push(arg8); // 21 8

   761     case 290: stack.push(arg3); // 45

   762     case 291: stack.push(arg11); // 21 11

   763     case 293: stack.push(arg4); // 21 4

   764     case 295: stack.push(stack.pop() + stack.pop()); // 96

   765     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

   766     case 299: stack.push(arg10); // 21 10

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

   768     case 302: stack.push(stack.pop() + stack.pop()); // 96

   769     case 303: arg4 = stack.pop() // 54 4

   770     case 305: gt = 409; continue; // 167 0 104

   771     case 308: stack.push(arg8); // 21 8

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

   773     case 313: arg7 = stack.pop() // 58 7

   774     case 315: stack.push(arg7); // 25 7

   775     case 317: stack.push(stack.pop().length); // 190

   776     case 318: arg12 = stack.pop() // 54 12

   777     case 320: stack.push(arg12); // 21 12

   778     case 322: stack.push(arg10); // 21 10

   779     case 324: if (stack.pop() >= stack.pop()) { gt = 355; continue; } // 164 0 31

   780     case 327: stack.push(arg3); // 45

   781     case 328: stack.push(stack.pop().length); // 190

   782     case 329: stack.push(arg12); // 21 12

   783     case 331: stack.push(stack.pop() + stack.pop()); // 96

   784     case 332: stack.push(arg10); // 21 10

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

   786     case 335: stack.push(new Array(stack.pop())); // 188 5

   787     case 337: arg13 = stack.pop() // 58 13

   788     case 339: stack.push(arg3); // 45

   789     case 340: stack.push(0); // 3

   790     case 341: stack.push(arg13); // 25 13

   791     case 343: stack.push(0); // 3

   792     case 344: stack.push(arg11); // 21 11

   793     case 346: stack.push(arg4); // 21 4

   794     case 348: stack.push(stack.pop() + stack.pop()); // 96

   795     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

   796     case 352: stack.push(arg13); // 25 13

   797     case 354: arg3 = stack.pop(); // 78

   798     case 355: stack.push(0); // 3

   799     case 356: arg13 = stack.pop() // 54 13

   800     case 358: stack.push(arg13); // 21 13

   801     case 360: stack.push(arg12); // 21 12

   802     case 362: if (stack.pop() <= stack.pop()) { gt = 386; continue; } // 162 0 24

   803     case 365: stack.push(arg3); // 45

   804     case 366: stack.push(arg11); // 21 11

   805     case 368: stack.push(arg4); // 21 4

   806     case 370: stack.push(stack.pop() + stack.pop()); // 96

   807     case 371: stack.push(arg13); // 21 13

   808     case 373: stack.push(stack.pop() + stack.pop()); // 96

   809     case 374: stack.push(arg7); // 25 7

   810     case 376: stack.push(arg13); // 21 13

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

   812     case 379: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

   813     case 380: arg13++; // 132 13 1

   814     case 383: gt = 358; continue; // 167 255 231

   815     case 386: stack.push(arg4); // 21 4

   816     case 388: stack.push(arg12); // 21 12

   817     case 390: stack.push(arg10); // 21 10

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

   819     case 393: stack.push(stack.pop() + stack.pop()); // 96

   820     case 394: arg4 = stack.pop() // 54 4

   821     case 396: gt = 409; continue; // 167 0 13

   822     case 399: stack.push(arg3); // 45

   823     case 400: stack.push(arg11); // 21 11

   824     case 402: stack.push(arg4); // 21 4

   825     case 404: stack.push(stack.pop() + stack.pop()); // 96

   826     case 405: stack.push(arg8); // 21 8

   827     case 407: // number conversion  // 146

   828     case 408: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

   829     case 409: stack.push(arg11); // 21 11

   830     case 411: stack.push(arg10); // 21 10

   831     case 413: stack.push(stack.pop() + stack.pop()); // 96

   832     case 414: arg11 = stack.pop() // 54 11

   833     case 416: gt = 157; continue; // 167 254 253

   834     case 419: stack.push(new java_lang_String); // 187 0 200

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

   836     case 423: stack.push(0); // 3

   837     case 424: stack.push(arg0); // 42

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

   839     case 428: stack.push(arg4); // 21 4

   840     case 430: stack.push(stack.pop() + stack.pop()); // 96

   841     case 431: stack.push(arg3); // 45

   842     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

   843     case 435: return stack.pop(); // 176

   844   }

   845 }

   846 function java_lang_String_toLowerCaseLjava_lang_String(arg0) {

   847   var arg1;

   848 ;

   849   var stack = new Array(2);

   850   var gt = 0;

   851   for(;;) switch(gt) {

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

   853     case 1: { stack.push(java_util_Locale_getDefaultLjava_util_Locale()); } // 184 1 179

   854     case 4: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.toLowerCaseLjava_lang_StringLjava_util_Locale(self, v0)); } // 182 1 158

   855     case 7: return stack.pop(); // 176

   856   }

   857 }

   858 function java_lang_String_toUpperCaseLjava_lang_StringLjava_util_Locale(arg0,arg1) {

   859   var arg2;

   860   var arg3;

   861   var arg4;

   862   var arg5;

   863   var arg6;

   864   var arg7;

   865   var arg8;

   866   var arg9;

   867   var arg10;

   868   var arg11;

   869   var arg12;

   870   var arg13;

   871   var arg14;

   872 ;

   873   var stack = new Array(6);

   874   var gt = 0;

   875   for(;;) switch(gt) {

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

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

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

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

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

   881     case 11:  // 191

   882     case 12: stack.push(0); // 3

   883     case 13: arg2 = stack.pop(); // 61

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

   885     case 15: stack.push(arg0); // 42

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

   887     case 19: if (stack.pop() <= stack.pop()) { gt = 93; continue; } // 162 0 74

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

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

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

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

   892     case 30: stack.push(arg2); // 28

   893     case 31: stack.push(stack.pop() + stack.pop()); // 96

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

   895     case 33: arg3 = stack.pop(); // 62

   896     case 34: stack.push(arg3); // 29

   897     case 35: stack.push(55296); // 18 1

   898     case 37: if (stack.pop() > stack.pop()) { gt = 61; continue; } // 161 0 24

   899     case 40: stack.push(arg3); // 29

   900     case 41: stack.push(56319); // 18 2

   901     case 43: if (stack.pop() < stack.pop()) { gt = 61; continue; } // 163 0 18

   902     case 46: stack.push(arg0); // 42

   903     case 47: stack.push(arg2); // 28

   904     case 48: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

   905     case 51: arg3 = stack.pop(); // 62

   906     case 52: stack.push(arg3); // 29

   907     case 53: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

   908     case 56: arg4 = stack.pop() // 54 4

   909     case 58: gt = 64; continue; // 167 0 6

   910     case 61: stack.push(1); // 4

   911     case 62: arg4 = stack.pop() // 54 4

   912     case 64: stack.push(arg3); // 29

   913     case 65: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseExII(v0)); } // 184 1 108

   914     case 68: arg5 = stack.pop() // 54 5

   915     case 70: stack.push(arg5); // 21 5

   916     case 72:  // 2

   917     case 73: if (stack.pop() == stack.pop()) { gt = 95; continue; } // 159 0 22

   918     case 76: stack.push(arg3); // 29

   919     case 77: stack.push(arg5); // 21 5

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

   921     case 82: gt = 95; continue; // 167 0 13

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

   923     case 86: stack.push(arg4); // 21 4

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

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

   926     case 90: gt = 14; continue; // 167 255 180

   927     case 93: stack.push(arg0); // 42

   928     case 94: return stack.pop(); // 176

   929     case 95: stack.push(arg0); // 42

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

   931     case 99: stack.push(new Array(stack.pop())); // 188 5

   932     case 101: arg3 = stack.pop(); // 78

   933     case 102: stack.push(0); // 3

   934     case 103: arg4 = stack.pop() // 54 4

   935     case 105: stack.push(arg0); // 42

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

   937     case 109: stack.push(arg0); // 42

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

   939     case 113: stack.push(arg3); // 45

   940     case 114: stack.push(0); // 3

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

   942     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

   943     case 119: stack.push(arg1); // 43

   944     case 120: { var self = stack.pop(); stack.push(self.getLanguageLjava_lang_String(self)); } // 182 1 178

   945     case 123: arg5 = stack.pop() // 58 5

   946     case 125: stack.push(arg5); // 25 5

   947     case 127: stack.push("tr"); // 18 11

   948     case 129:  // 165

   949     case 130:  // 0

   950     case 131: stack.push(6405); // 17 25 5

   951     case 134: stack.push("az"); // 18 5

   952     case 136:  // 165

   953     case 137:  // 0

   954     case 138: stack.push(1); // 10

   955     case 139: stack.push(arg5); // 25 5

   956     case 141: stack.push("lt"); // 18 9

   957     case 143:  // 166

   958     case 144:  // 0

   959     case 145: stack.push(4); // 7

   960     case 146: stack.push(1); // 4

   961     case 147: gt = 151; continue; // 167 0 4

   962     case 150: stack.push(0); // 3

   963     case 151: arg6 = stack.pop() // 54 6

   964     case 153: stack.push(arg2); // 28

   965     case 154: arg11 = stack.pop() // 54 11

   966     case 156: stack.push(arg11); // 21 11

   967     case 158: stack.push(arg0); // 42

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

   969     case 162: if (stack.pop() <= stack.pop()) { gt = 425; continue; } // 162 1 7

   970     case 165: stack.push(arg0); // 42

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

   972     case 169: stack.push(arg0); // 42

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

   974     case 173: stack.push(arg11); // 21 11

   975     case 175: stack.push(stack.pop() + stack.pop()); // 96

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

   977     case 177: arg9 = stack.pop() // 54 9

   978     case 179: stack.push(arg9); // 21 9

   979     case 181: // number conversion  // 146

   980     case 182: stack.push(55296); // 18 1

   981     case 184: if (stack.pop() > stack.pop()) { gt = 213; continue; } // 161 0 29

   982     case 187: stack.push(arg9); // 21 9

   983     case 189: // number conversion  // 146

   984     case 190: stack.push(56319); // 18 2

   985     case 192: if (stack.pop() < stack.pop()) { gt = 213; continue; } // 163 0 21

   986     case 195: stack.push(arg0); // 42

   987     case 196: stack.push(arg11); // 21 11

   988     case 198: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134

   989     case 201: arg9 = stack.pop() // 54 9

   990     case 203: stack.push(arg9); // 21 9

   991     case 205: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106

   992     case 208: arg10 = stack.pop() // 54 10

   993     case 210: gt = 216; continue; // 167 0 6

   994     case 213: stack.push(1); // 4

   995     case 214: arg10 = stack.pop() // 54 10

   996     case 216: stack.push(arg6); // 21 6

   997     case 218: if (stack.pop() == 0) { gt = 233; continue; } // 153 0 15

   998     case 221: stack.push(arg0); // 42

   999     case 222: stack.push(arg11); // 21 11

  1000     case 224: stack.push(arg1); // 43

  1001     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

  1002     case 228: arg8 = stack.pop() // 54 8

  1003     case 230: gt = 240; continue; // 167 0 10

  1004     case 233: stack.push(arg9); // 21 9

  1005     case 235: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseExII(v0)); } // 184 1 108

  1006     case 238: arg8 = stack.pop() // 54 8

  1007     case 240: stack.push(arg8); // 21 8

  1008     case 242:  // 2

  1009     case 243: if (stack.pop() == stack.pop()) { gt = 253; continue; } // 159 0 10

  1010     case 246: stack.push(arg8); // 21 8

  1011     case 248: stack.push(65536); // 18 3

  1012     case 250: if (stack.pop() > stack.pop()) { gt = 405; continue; } // 161 0 155

  1013     case 253: stack.push(arg8); // 21 8

  1014     case 255:  // 2

  1015     case 256: if (stack.pop() != stack.pop()) { gt = 286; continue; } // 160 0 30

  1016     case 259: stack.push(arg6); // 21 6

  1017     case 261: if (stack.pop() == 0) { gt = 276; continue; } // 153 0 15

  1018     case 264: stack.push(arg0); // 42

  1019     case 265: stack.push(arg11); // 21 11

  1020     case 267: stack.push(arg1); // 43

  1021     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

  1022     case 271: arg7 = stack.pop() // 58 7

  1023     case 273: gt = 321; continue; // 167 0 48

  1024     case 276: stack.push(arg9); // 21 9

  1025     case 278: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseCharArrayACI(v0)); } // 184 1 110

  1026     case 281: arg7 = stack.pop() // 58 7

  1027     case 283: gt = 321; continue; // 167 0 38

  1028     case 286: stack.push(arg10); // 21 10

  1029     case 288: stack.push(2); // 5

  1030     case 289: if (stack.pop() != stack.pop()) { gt = 314; continue; } // 160 0 25

  1031     case 292: stack.push(arg4); // 21 4

  1032     case 294: stack.push(arg8); // 21 8

  1033     case 296: stack.push(arg3); // 45

  1034     case 297: stack.push(arg11); // 21 11

  1035     case 299: stack.push(arg4); // 21 4

  1036     case 301: stack.push(stack.pop() + stack.pop()); // 96

  1037     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

  1038     case 305: stack.push(arg10); // 21 10

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

  1040     case 308: stack.push(stack.pop() + stack.pop()); // 96

  1041     case 309: arg4 = stack.pop() // 54 4

  1042     case 311: gt = 415; continue; // 167 0 104

  1043     case 314: stack.push(arg8); // 21 8

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

  1045     case 319: arg7 = stack.pop() // 58 7

  1046     case 321: stack.push(arg7); // 25 7

  1047     case 323: stack.push(stack.pop().length); // 190

  1048     case 324: arg12 = stack.pop() // 54 12

  1049     case 326: stack.push(arg12); // 21 12

  1050     case 328: stack.push(arg10); // 21 10

  1051     case 330: if (stack.pop() >= stack.pop()) { gt = 361; continue; } // 164 0 31

  1052     case 333: stack.push(arg3); // 45

  1053     case 334: stack.push(stack.pop().length); // 190

  1054     case 335: stack.push(arg12); // 21 12

  1055     case 337: stack.push(stack.pop() + stack.pop()); // 96

  1056     case 338: stack.push(arg10); // 21 10

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

  1058     case 341: stack.push(new Array(stack.pop())); // 188 5

  1059     case 343: arg13 = stack.pop() // 58 13

  1060     case 345: stack.push(arg3); // 45

  1061     case 346: stack.push(0); // 3

  1062     case 347: stack.push(arg13); // 25 13

  1063     case 349: stack.push(0); // 3

  1064     case 350: stack.push(arg11); // 21 11

  1065     case 352: stack.push(arg4); // 21 4

  1066     case 354: stack.push(stack.pop() + stack.pop()); // 96

  1067     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

  1068     case 358: stack.push(arg13); // 25 13

  1069     case 360: arg3 = stack.pop(); // 78

  1070     case 361: stack.push(0); // 3

  1071     case 362: arg13 = stack.pop() // 54 13

  1072     case 364: stack.push(arg13); // 21 13

  1073     case 366: stack.push(arg12); // 21 12

  1074     case 368: if (stack.pop() <= stack.pop()) { gt = 392; continue; } // 162 0 24

  1075     case 371: stack.push(arg3); // 45

  1076     case 372: stack.push(arg11); // 21 11

  1077     case 374: stack.push(arg4); // 21 4

  1078     case 376: stack.push(stack.pop() + stack.pop()); // 96

  1079     case 377: stack.push(arg13); // 21 13

  1080     case 379: stack.push(stack.pop() + stack.pop()); // 96

  1081     case 380: stack.push(arg7); // 25 7

  1082     case 382: stack.push(arg13); // 21 13

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

  1084     case 385: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  1085     case 386: arg13++; // 132 13 1

  1086     case 389: gt = 364; continue; // 167 255 231

  1087     case 392: stack.push(arg4); // 21 4

  1088     case 394: stack.push(arg12); // 21 12

  1089     case 396: stack.push(arg10); // 21 10

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

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

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

  1093     case 402: gt = 415; continue; // 167 0 13

  1094     case 405: stack.push(arg3); // 45

  1095     case 406: stack.push(arg11); // 21 11

  1096     case 408: stack.push(arg4); // 21 4

  1097     case 410: stack.push(stack.pop() + stack.pop()); // 96

  1098     case 411: stack.push(arg8); // 21 8

  1099     case 413: // number conversion  // 146

  1100     case 414: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  1101     case 415: stack.push(arg11); // 21 11

  1102     case 417: stack.push(arg10); // 21 10

  1103     case 419: stack.push(stack.pop() + stack.pop()); // 96

  1104     case 420: arg11 = stack.pop() // 54 11

  1105     case 422: gt = 156; continue; // 167 254 246

  1106     case 425: stack.push(new java_lang_String); // 187 0 200

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

  1108     case 429: stack.push(0); // 3

  1109     case 430: stack.push(arg0); // 42

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

  1111     case 434: stack.push(arg4); // 21 4

  1112     case 436: stack.push(stack.pop() + stack.pop()); // 96

  1113     case 437: stack.push(arg3); // 45

  1114     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

  1115     case 441: return stack.pop(); // 176

  1116   }

  1117 }

  1118 function java_lang_String_toUpperCaseLjava_lang_String(arg0) {

  1119   var arg1;

  1120 ;

  1121   var stack = new Array(2);

  1122   var gt = 0;

  1123   for(;;) switch(gt) {

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

  1125     case 1: { stack.push(java_util_Locale_getDefaultLjava_util_Locale()); } // 184 1 179

  1126     case 4: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.toUpperCaseLjava_lang_StringLjava_util_Locale(self, v0)); } // 182 1 159

  1127     case 7: return stack.pop(); // 176

  1128   }

  1129 }

  1130 function java_lang_String_trimLjava_lang_String(arg0) {

  1131   var arg1;

  1132   var arg2;

  1133   var arg3;

  1134   var arg4;

  1135   var arg5;

  1136 ;

  1137   var stack = new Array(3);

  1138   var gt = 0;

  1139   for(;;) switch(gt) {

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

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

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

  1143     case 5: stack.push(0); // 3

  1144     case 6: arg2 = stack.pop(); // 61

  1145     case 7: stack.push(arg0); // 42

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

  1147     case 11: arg3 = stack.pop(); // 62

  1148     case 12: stack.push(arg0); // 42

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

  1150     case 16: arg4 = stack.pop() // 58 4

  1151     case 18: stack.push(arg2); // 28

  1152     case 19: stack.push(arg1); // 27

  1153     case 20: if (stack.pop() <= stack.pop()) { gt = 40; continue; } // 162 0 20

  1154     case 23: stack.push(arg4); // 25 4

  1155     case 25: stack.push(arg3); // 29

  1156     case 26: stack.push(arg2); // 28

  1157     case 27: stack.push(stack.pop() + stack.pop()); // 96

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

  1159     case 29: stack.push(32); // 16 32

  1160     case 31: if (stack.pop() < stack.pop()) { gt = 40; continue; } // 163 0 9

  1161     case 34: arg2++; // 132 2 1

  1162     case 37: gt = 18; continue; // 167 255 237

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

  1164     case 41: stack.push(arg1); // 27

  1165     case 42: if (stack.pop() <= stack.pop()) { gt = 64; continue; } // 162 0 22

  1166     case 45: stack.push(arg4); // 25 4

  1167     case 47: stack.push(arg3); // 29

  1168     case 48: stack.push(arg1); // 27

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

  1170     case 50: stack.push(1); // 4

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

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

  1173     case 53: stack.push(32); // 16 32

  1174     case 55: if (stack.pop() < stack.pop()) { gt = 64; continue; } // 163 0 9

  1175     case 58: arg1 += 255; // 132 1 255

  1176     case 61: gt = 40; continue; // 167 255 235

  1177     case 64: stack.push(arg2); // 28

  1178     case 65: if (stack.pop() > 0) { gt = 76; continue; } // 157 0 11

  1179     case 68: stack.push(arg1); // 27

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

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

  1182     case 73: if (stack.pop() <= stack.pop()) { gt = 85; continue; } // 162 0 12

  1183     case 76: stack.push(arg0); // 42

  1184     case 77: stack.push(arg2); // 28

  1185     case 78: stack.push(arg1); // 27

  1186     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

  1187     case 82: gt = 86; continue; // 167 0 4

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

  1189     case 86: return stack.pop(); // 176

  1190   }

  1191 }

  1192 */

  1194 /*

  1195 function java_lang_String_formatLjava_lang_StringLjava_lang_StringLjava_lang_Object(arg0,arg1) {

  1196   var stack = new Array();

  1197   var gt = 0;

  1198   for(;;) switch(gt) {

  1199     case 0: stack.push(new java_util_Formatter); // 187 0 211

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

  1201     case 4: { java_util_Formatter_consV(stack.pop()); } // 183 1 174

  1202     case 7: stack.push(arg0); // 42

  1203     case 8: stack.push(arg1); // 43

  1204     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

  1205     case 12: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 175

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

  1207   }

  1208 }

  1209 function java_lang_String_formatLjava_lang_StringLjava_util_LocaleLjava_lang_StringLjava_lang_Object(arg0,arg1,arg2) {

  1210   var stack = new Array();

  1211   var gt = 0;

  1212   for(;;) switch(gt) {

  1213     case 0: stack.push(new java_util_Formatter); // 187 0 211

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

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

  1216     case 5: { var v0 = stack.pop(); java_util_Formatter_consVLjava_util_Locale(stack.pop(), v0); } // 183 1 176

  1217     case 8: stack.push(arg1); // 43

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

  1219     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

  1220     case 13: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 175

  1221     case 16: return stack.pop(); // 176

  1222   }

  1223 }

  1224 function java_lang_String_valueOfLjava_lang_StringLjava_lang_Object(arg0) {

  1225   var stack = new Array();

  1226   var gt = 0;

  1227   for(;;) switch(gt) {

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

  1229     case 1: if (stack.pop()) { gt = 9; continue; } // 199 0 8

  1230     case 4: stack.push("null"); // 18 10

  1231     case 6: gt = 13; continue; // 167 0 7

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

  1233     case 10: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132

  1234     case 13: return stack.pop(); // 176

  1235   }

  1236 }

  1237 function java_lang_String_valueOfLjava_lang_StringAC(arg0) {

  1238   var stack = new Array();

  1239   var gt = 0;

  1240   for(;;) switch(gt) {

  1241     case 0: stack.push(new java_lang_String); // 187 0 200

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

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

  1244     case 5: { var v0 = stack.pop(); java_lang_String_consVAC(stack.pop(), v0); } // 183 1 142

  1245     case 8: return stack.pop(); // 176

  1246   }

  1247 }

  1248 function java_lang_String_valueOfLjava_lang_StringACII(arg0,arg1,arg2) {

  1249   var stack = new Array();

  1250   var gt = 0;

  1251   for(;;) switch(gt) {

  1252     case 0: stack.push(new java_lang_String); // 187 0 200

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

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

  1255     case 5: stack.push(arg1); // 27

  1256     case 6: stack.push(arg2); // 28

  1257     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

  1258     case 10: return stack.pop(); // 176

  1259   }

  1260 }

  1261 function java_lang_String_copyValueOfLjava_lang_StringACII(arg0,arg1,arg2) {

  1262   var stack = new Array();

  1263   var gt = 0;

  1264   for(;;) switch(gt) {

  1265     case 0: stack.push(new java_lang_String); // 187 0 200

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

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

  1268     case 5: stack.push(arg1); // 27

  1269     case 6: stack.push(arg2); // 28

  1270     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

  1271     case 10: return stack.pop(); // 176

  1272   }

  1273 }

  1274 function java_lang_String_copyValueOfLjava_lang_StringAC(arg0) {

  1275   var stack = new Array();

  1276   var gt = 0;

  1277   for(;;) switch(gt) {

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

  1279     case 1: stack.push(0); // 3

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

  1281     case 3: stack.push(stack.pop().length); // 190

  1282     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

  1283     case 7: return stack.pop(); // 176

  1284   }

  1285 }

  1286 function java_lang_String_valueOfLjava_lang_StringZ(arg0) {

  1287   var stack = new Array();

  1288   var gt = 0;

  1289   for(;;) switch(gt) {

  1290     case 0: stack.push(arg0); // 26

  1291     case 1: if (stack.pop() == 0) { gt = 9; continue; } // 153 0 8

  1292     case 4: stack.push("true"); // 18 12

  1293     case 6: gt = 11; continue; // 167 0 5

  1294     case 9: stack.push("false"); // 18 8

  1295     case 11: return stack.pop(); // 176

  1296   }

  1297 }

  1298 function java_lang_String_valueOfLjava_lang_StringC(arg0) {

  1299   var arg1;

  1300   var stack = new Array();

  1301   var gt = 0;

  1302   for(;;) switch(gt) {

  1303     case 0: stack.push(1); // 4

  1304     case 1: stack.push(new Array(stack.pop())); // 188 5

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

  1306     case 4: stack.push(0); // 3

  1307     case 5: stack.push(arg0); // 26

  1308     case 6: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85

  1309     case 7: arg1 = stack.pop(); // 76

  1310     case 8: stack.push(new java_lang_String); // 187 0 200

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

  1312     case 12: stack.push(0); // 3

  1313     case 13: stack.push(1); // 4

  1314     case 14: stack.push(arg1); // 43

  1315     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

  1316     case 18: return stack.pop(); // 176

  1317   }

  1318 }

  1319 function java_lang_String_valueOfLjava_lang_StringJ(arg0) {

  1320   var arg1;

  1321   var stack = new Array();

  1322   var gt = 0;

  1323   for(;;) switch(gt) {

  1324     case 0: stack.push(arg0); // 30

  1325     case 1: stack.push(10); // 16 10

  1326     case 3: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Long_toStringLjava_lang_StringJI(v0, v1)); } // 184 1 126

  1327     case 6: return stack.pop(); // 176

  1328   }

  1329 }

  1330 function java_lang_String_valueOfLjava_lang_StringF(arg0) {

  1331   var stack = new Array();

  1332   var gt = 0;

  1333   for(;;) switch(gt) {

  1334     case 0: stack.push(arg0); // 34

  1335     case 1: { var v0 = stack.pop(); stack.push(java_lang_Float_toStringLjava_lang_StringF(v0)); } // 184 1 122

  1336     case 4: return stack.pop(); // 176

  1337   }

  1338 }

  1339 function java_lang_String_valueOfLjava_lang_StringD(arg0) {

  1340   var arg1;

  1341   var stack = new Array();

  1342   var gt = 0;

  1343   for(;;) switch(gt) {

  1344     case 0: stack.push(arg0); // 38

  1345     case 1: { var v0 = stack.pop(); stack.push(java_lang_Double_toStringLjava_lang_StringD(v0)); } // 184 1 121

  1346     case 4: return stack.pop(); // 176

  1347   }

  1348 }

  1349 function java_lang_String_internLjava_lang_String(arg0) {

  1350   // no code found for null

  1351 }

  1352 function java_lang_String_compareToILjava_lang_Object(arg0,arg1) {

  1353   var arg2;

  1354 ;

  1355   var stack = new Array(2);

  1356   var gt = 0;

  1357   for(;;) switch(gt) {

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

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

  1360     case 2: if(stack[stack.length - 1].$instOf_java_lang_String != 1) throw {}; // 192 0 200

  1361     case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.compareToILjava_lang_String(self, v0)); } // 182 1 148

  1362     case 8: return stack.pop(); // 172

  1363   }

  1364 }

  1365 function java_lang_String_classV() {

  1366   var stack = new Array();

  1367   var gt = 0;

  1368   for(;;) switch(gt) {

  1369     case 0: stack.push(0); // 3

  1370     case 1: stack.push(new Array(stack.pop())); // 189 0 183

  1371     case 4: java_lang_String_serialPersistentFields = stack.pop(); // 179 1 101

  1372     case 7: stack.push(new java_lang_String$CaseInsensitiveComparator); // 187 0 202

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

  1374     case 11:  // 1

  1375     case 12: { var v0 = stack.pop(); java_lang_String$CaseInsensitiveComparator_consVLjava_lang_String$1(stack.pop(), v0); } // 183 1 160

  1376     case 15: java_lang_String_CASE_INSENSITIVE_ORDER = stack.pop(); // 179 1 102

  1377     case 18: return; // 177

  1378   }

  1379 }

  1380 */

  1382 /*

  1383 function java_lang_String_contentEqualsZLjava_lang_StringBuffer(arg0,arg1) {

  1384   var arg2;

  1385   var arg3;

  1386   var arg4;

  1387 ;

  1388   var stack = new Array(2);

  1389   var gt = 0;

  1390   for(;;) switch(gt) {

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

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

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

  1394     case 3:  // 194

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

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

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

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

  1399     case 10:  // 195

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

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

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

  1403     case 14:  // 195

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

  1405     case 16:  // 191

  1406   }

  1407 }

  1408 function java_lang_String_contentEqualsZLjava_lang_CharSequence(arg0,arg1) {

  1409   var arg2;

  1410   var arg3;

  1411   var arg4;

  1412   var arg5;

  1413   var arg6;

  1414   var arg7;

  1415 ;

  1416   var stack = new Array(3);

  1417   var gt = 0;

  1418   for(;;) switch(gt) {

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

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

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

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

  1423     case 8:  // 1

  1424     case 9:  // 0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1488     case 129:  // 2

  1489     case 130:  // 0

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

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

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

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

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

  1495   }

  1496 }

  1497 function java_lang_String_equalsIgnoreCaseZLjava_lang_String(arg0,arg1) {

  1498   var arg2;

  1499 ;

  1500   var stack = new Array(6);

  1501   var gt = 0;

  1502   for(;;) switch(gt) {

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

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

  1505     case 2:  // 166

  1506     case 3:  // 0

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1524     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

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

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

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

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

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

  1530   }

  1531 }

  1532 function java_lang_String_compareToILjava_lang_String(arg0,arg1) {

  1533   var arg2;

  1534   var arg3;

  1535   var arg4;

  1536   var arg5;

  1537   var arg6;

  1538   var arg7;

  1539   var arg8;

  1540   var arg9;

  1541   var arg10;

  1542   var arg11;

  1543   var arg12;

  1544   var arg13;

  1545 ;

  1546   var stack = new Array(2);

  1547   var gt = 0;

  1548   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1626   }

  1627 }

  1628 function java_lang_String_compareToIgnoreCaseILjava_lang_String(arg0,arg1) {

  1629   var arg2;

  1630 ;

  1631   var stack = new Array(3);

  1632   var gt = 0;

  1633   for(;;) switch(gt) {

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

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

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

  1637     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

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

  1639     case 9:  // 0

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

  1641   }

  1642 }

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

  1644   var arg5;

  1645   var arg6;

  1646   var arg7;

  1647   var arg8;

  1648   var arg9;

  1649 ;

  1650   var stack = new Array(6);

  1651   var gt = 0;

  1652   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1674     case 37: // number conversion  // 133

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

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

  1677     case 42: // number conversion  // 133

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

  1679     case 45: // number conversion  // 133

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

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

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

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

  1684     case 52: // number conversion  // 133

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

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

  1687     case 57: // number conversion  // 133

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

  1689     case 60: // number conversion  // 133

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1711   }

  1712 }

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

  1714   var arg6;

  1715   var arg7;

  1716   var arg8;

  1717   var arg9;

  1718   var arg10;

  1719   var arg11;

  1720   var arg12;

  1721   var arg13;

  1722   var arg14;

  1723 ;

  1724   var stack = new Array(6);

  1725   var gt = 0;

  1726   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1748     case 39: // number conversion  // 133

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

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

  1751     case 44: // number conversion  // 133

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

  1753     case 47: // number conversion  // 133

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

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

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

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

  1758     case 55: // number conversion  // 133

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

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

  1761     case 60: // number conversion  // 133

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

  1763     case 63: // number conversion  // 133

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1808   }

  1809 }

  1810 function java_lang_String_startsWithZLjava_lang_StringI(arg0,arg1,arg2) {

  1811   var arg3;

  1812   var arg4;

  1813   var arg5;

  1814   var arg6;

  1815   var arg7;

  1816   var arg8;

  1817 ;

  1818   var stack = new Array(3);

  1819   var gt = 0;

  1820   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1864   }

  1865 }

  1866 function java_lang_String_startsWithZLjava_lang_String(arg0,arg1) {

  1867   var arg2;

  1868 ;

  1869   var stack = new Array(3);

  1870   var gt = 0;

  1871   for(;;) switch(gt) {

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

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

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

  1875     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

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

  1877   }

  1878 }

  1879 function java_lang_String_endsWithZLjava_lang_String(arg0,arg1) {

  1880   var arg2;

  1881 ;

  1882   var stack = new Array(4);

  1883   var gt = 0;

  1884   for(;;) switch(gt) {

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

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

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

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

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

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

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

  1892     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

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

  1894   }

  1895 }

  1896 function java_lang_String_lastIndexOfII(arg0,arg1) {

  1897   var arg2;

  1898 ;

  1899   var stack = new Array(4);

  1900   var gt = 0;

  1901   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

  1910   }

  1911 }

  1912 function java_lang_String_lastIndexOfIII(arg0,arg1,arg2) {

  1913   var arg3;

  1914   var arg4;

  1915   var arg5;

  1916   var arg6;

  1917   var arg7;

  1918   var arg8;

  1919 ;

  1920   var stack = new Array(3);

  1921   var gt = 0;

  1922   for(;;) switch(gt) {

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  1961     case 71:  // 2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  2007     case 154:  // 2

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

  2009   }

  2010 }

  2011 function java_lang_String_indexOfILjava_lang_String(arg0,arg1) {

  2012   var arg2;

  2013 ;

  2014   var stack = new Array(3);

  2015   var gt = 0;

  2016   for(;;) switch(gt) {

  2017     case 0: stack.push(arg0); // 42

  2018     case 1: stack.push(arg1); // 43

  2019     case 2: stack.push(0); // 3

  2020     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

  2021     case 6: return stack.pop(); // 172

  2022   }

  2023 }

  2024 function java_lang_String_indexOfILjava_lang_StringI(arg0,arg1,arg2) {

  2025   var arg3;

  2026 ;

  2027   var stack = new Array(7);

  2028   var gt = 0;

  2029   for(;;) switch(gt) {

  2030     case 0: stack.push(arg0); // 42

  2031     case 1: stack.push(stack.pop().value); // 180 1 100

  2032     case 4: stack.push(arg0); // 42

  2033     case 5: stack.push(stack.pop().offset); // 180 1 99

  2034     case 8: stack.push(arg0); // 42

  2035     case 9: stack.push(stack.pop().count); // 180 1 97

  2036     case 12: stack.push(arg1); // 43

  2037     case 13: stack.push(stack.pop().value); // 180 1 100

  2038     case 16: stack.push(arg1); // 43

  2039     case 17: stack.push(stack.pop().offset); // 180 1 99

  2040     case 20: stack.push(arg1); // 43

  2041     case 21: stack.push(stack.pop().count); // 180 1 97

  2042     case 24: stack.push(arg2); // 28

  2043     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

  2044     case 28: return stack.pop(); // 172

  2045   }

  2046 }

  2047 function java_lang_String_indexOfIACIIACIII(arg0,arg1,arg2,arg3,arg4,arg5,arg6) {

  2048   var arg7;

  2049   var arg8;

  2050   var arg9;

  2051   var arg10;

  2052   var arg11;

  2053   var arg12;

  2054   var stack = new Array();

  2055   var gt = 0;

  2056   for(;;) switch(gt) {

  2057     case 0: stack.push(arg6); // 21 6

  2058     case 2: stack.push(arg2); // 28

  2059     case 3: if (stack.pop() > stack.pop()) { gt = 17; continue; } // 161 0 14

  2060     case 6: stack.push(arg5); // 21 5

  2061     case 8: if (stack.pop() != 0) { gt = 15; continue; } // 154 0 7

  2062     case 11: stack.push(arg2); // 28

  2063     case 12: gt = 16; continue; // 167 0 4

  2064     case 15:  // 2

  2065     case 16: return stack.pop(); // 172

  2066     case 17: stack.push(arg6); // 21 6

  2067     case 19: if (stack.pop() >= 0) { gt = 25; continue; } // 156 0 6

  2068     case 22: stack.push(0); // 3

  2069     case 23: arg6 = stack.pop() // 54 6

  2070     case 25: stack.push(arg5); // 21 5

  2071     case 27: if (stack.pop() != 0) { gt = 33; continue; } // 154 0 6

  2072     case 30: stack.push(arg6); // 21 6

  2073     case 32: return stack.pop(); // 172

  2074     case 33: stack.push(arg3); // 45

  2075     case 34: stack.push(arg4); // 21 4

  2076     case 36: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2077     case 37: arg7 = stack.pop() // 54 7

  2078     case 39: stack.push(arg1); // 27

  2079     case 40: stack.push(arg2); // 28

  2080     case 41: stack.push(arg5); // 21 5

  2081     case 43: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2082     case 44: stack.push(stack.pop() + stack.pop()); // 96

  2083     case 45: arg8 = stack.pop() // 54 8

  2084     case 47: stack.push(arg1); // 27

  2085     case 48: stack.push(arg6); // 21 6

  2086     case 50: stack.push(stack.pop() + stack.pop()); // 96

  2087     case 51: arg9 = stack.pop() // 54 9

  2088     case 53: stack.push(arg9); // 21 9

  2089     case 55: stack.push(arg8); // 21 8

  2090     case 57: if (stack.pop() < stack.pop()) { gt = 164; continue; } // 163 0 107

  2091     case 60: stack.push(arg0); // 42

  2092     case 61: stack.push(arg9); // 21 9

  2093     case 63: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2094     case 64: stack.push(arg7); // 21 7

  2095     case 66: if (stack.pop() == stack.pop()) { gt = 91; continue; } // 159 0 25

  2096     case 69: arg9++; // 132 9 1

  2097     case 72: stack.push(arg9); // 21 9

  2098     case 74: stack.push(arg8); // 21 8

  2099     case 76: if (stack.pop() < stack.pop()) { gt = 91; continue; } // 163 0 15

  2100     case 79: stack.push(arg0); // 42

  2101     case 80: stack.push(arg9); // 21 9

  2102     case 82: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2103     case 83: stack.push(arg7); // 21 7

  2104     case 85: if (stack.pop() == stack.pop()) { gt = 91; continue; } // 159 0 6

  2105     case 88: gt = 69; continue; // 167 255 237

  2106     case 91: stack.push(arg9); // 21 9

  2107     case 93: stack.push(arg8); // 21 8

  2108     case 95: if (stack.pop() < stack.pop()) { gt = 158; continue; } // 163 0 63

  2109     case 98: stack.push(arg9); // 21 9

  2110     case 100: stack.push(1); // 4

  2111     case 101: stack.push(stack.pop() + stack.pop()); // 96

  2112     case 102: arg10 = stack.pop() // 54 10

  2113     case 104: stack.push(arg10); // 21 10

  2114     case 106: stack.push(arg5); // 21 5

  2115     case 108: stack.push(stack.pop() + stack.pop()); // 96

  2116     case 109: stack.push(1); // 4

  2117     case 110: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2118     case 111: arg11 = stack.pop() // 54 11

  2119     case 113: stack.push(arg4); // 21 4

  2120     case 115: stack.push(1); // 4

  2121     case 116: stack.push(stack.pop() + stack.pop()); // 96

  2122     case 117: arg12 = stack.pop() // 54 12

  2123     case 119: stack.push(arg10); // 21 10

  2124     case 121: stack.push(arg11); // 21 11

  2125     case 123: if (stack.pop() <= stack.pop()) { gt = 146; continue; } // 162 0 23

  2126     case 126: stack.push(arg0); // 42

  2127     case 127: stack.push(arg10); // 21 10

  2128     case 129: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2129     case 130: stack.push(arg3); // 45

  2130     case 131: stack.push(arg12); // 21 12

  2131     case 133: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2132     case 134: if (stack.pop() != stack.pop()) { gt = 146; continue; } // 160 0 12

  2133     case 137: arg10++; // 132 10 1

  2134     case 140: arg12++; // 132 12 1

  2135     case 143: gt = 119; continue; // 167 255 232

  2136     case 146: stack.push(arg10); // 21 10

  2137     case 148: stack.push(arg11); // 21 11

  2138     case 150: if (stack.pop() != stack.pop()) { gt = 158; continue; } // 160 0 8

  2139     case 153: stack.push(arg9); // 21 9

  2140     case 155: stack.push(arg1); // 27

  2141     case 156: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2142     case 157: return stack.pop(); // 172

  2143     case 158: arg9++; // 132 9 1

  2144     case 161: gt = 53; continue; // 167 255 148

  2145     case 164:  // 2

  2146     case 165: return stack.pop(); // 172

  2147   }

  2148 }

  2149 function java_lang_String_lastIndexOfILjava_lang_String(arg0,arg1) {

  2150   var arg2;

  2151 ;

  2152   var stack = new Array(3);

  2153   var gt = 0;

  2154   for(;;) switch(gt) {

  2155     case 0: stack.push(arg0); // 42

  2156     case 1: stack.push(arg1); // 43

  2157     case 2: stack.push(arg0); // 42

  2158     case 3: stack.push(stack.pop().count); // 180 1 97

  2159     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

  2160     case 9: return stack.pop(); // 172

  2161   }

  2162 }

  2163 function java_lang_String_lastIndexOfILjava_lang_StringI(arg0,arg1,arg2) {

  2164   var arg3;

  2165 ;

  2166   var stack = new Array(7);

  2167   var gt = 0;

  2168   for(;;) switch(gt) {

  2169     case 0: stack.push(arg0); // 42

  2170     case 1: stack.push(stack.pop().value); // 180 1 100

  2171     case 4: stack.push(arg0); // 42

  2172     case 5: stack.push(stack.pop().offset); // 180 1 99

  2173     case 8: stack.push(arg0); // 42

  2174     case 9: stack.push(stack.pop().count); // 180 1 97

  2175     case 12: stack.push(arg1); // 43

  2176     case 13: stack.push(stack.pop().value); // 180 1 100

  2177     case 16: stack.push(arg1); // 43

  2178     case 17: stack.push(stack.pop().offset); // 180 1 99

  2179     case 20: stack.push(arg1); // 43

  2180     case 21: stack.push(stack.pop().count); // 180 1 97

  2181     case 24: stack.push(arg2); // 28

  2182     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

  2183     case 28: return stack.pop(); // 172

  2184   }

  2185 }

  2186 function java_lang_String_lastIndexOfIACIIACIII(arg0,arg1,arg2,arg3,arg4,arg5,arg6) {

  2187   var arg7;

  2188   var arg8;

  2189   var arg9;

  2190   var arg10;

  2191   var arg11;

  2192   var arg12;

  2193   var arg13;

  2194   var arg14;

  2195   var stack = new Array();

  2196   var gt = 0;

  2197   for(;;) switch(gt) {

  2198     case 0: stack.push(arg2); // 28

  2199     case 1: stack.push(arg5); // 21 5

  2200     case 3: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2201     case 4: arg7 = stack.pop() // 54 7

  2202     case 6: stack.push(arg6); // 21 6

  2203     case 8: if (stack.pop() >= 0) { gt = 13; continue; } // 156 0 5

  2204     case 11:  // 2

  2205     case 12: return stack.pop(); // 172

  2206     case 13: stack.push(arg6); // 21 6

  2207     case 15: stack.push(arg7); // 21 7

  2208     case 17: if (stack.pop() >= stack.pop()) { gt = 24; continue; } // 164 0 7

  2209     case 20: stack.push(arg7); // 21 7

  2210     case 22: arg6 = stack.pop() // 54 6

  2211     case 24: stack.push(arg5); // 21 5

  2212     case 26: if (stack.pop() != 0) { gt = 32; continue; } // 154 0 6

  2213     case 29: stack.push(arg6); // 21 6

  2214     case 31: return stack.pop(); // 172

  2215     case 32: stack.push(arg4); // 21 4

  2216     case 34: stack.push(arg5); // 21 5

  2217     case 36: stack.push(stack.pop() + stack.pop()); // 96

  2218     case 37: stack.push(1); // 4

  2219     case 38: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2220     case 39: arg8 = stack.pop() // 54 8

  2221     case 41: stack.push(arg3); // 45

  2222     case 42: stack.push(arg8); // 21 8

  2223     case 44: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2224     case 45: arg9 = stack.pop() // 54 9

  2225     case 47: stack.push(arg1); // 27

  2226     case 48: stack.push(arg5); // 21 5

  2227     case 50: stack.push(stack.pop() + stack.pop()); // 96

  2228     case 51: stack.push(1); // 4

  2229     case 52: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2230     case 53: arg10 = stack.pop() // 54 10

  2231     case 55: stack.push(arg10); // 21 10

  2232     case 57: stack.push(arg6); // 21 6

  2233     case 59: stack.push(stack.pop() + stack.pop()); // 96

  2234     case 60: arg11 = stack.pop() // 54 11

  2235     case 62: stack.push(arg11); // 21 11

  2236     case 64: stack.push(arg10); // 21 10

  2237     case 66: if (stack.pop() > stack.pop()) { gt = 84; continue; } // 161 0 18

  2238     case 69: stack.push(arg0); // 42

  2239     case 70: stack.push(arg11); // 21 11

  2240     case 72: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2241     case 73: stack.push(arg9); // 21 9

  2242     case 75: if (stack.pop() == stack.pop()) { gt = 84; continue; } // 159 0 9

  2243     case 78: arg11 += 255; // 132 11 255

  2244     case 81: gt = 62; continue; // 167 255 237

  2245     case 84: stack.push(arg11); // 21 11

  2246     case 86: stack.push(arg10); // 21 10

  2247     case 88: if (stack.pop() <= stack.pop()) { gt = 93; continue; } // 162 0 5

  2248     case 91:  // 2

  2249     case 92: return stack.pop(); // 172

  2250     case 93: stack.push(arg11); // 21 11

  2251     case 95: stack.push(1); // 4

  2252     case 96: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2253     case 97: arg12 = stack.pop() // 54 12

  2254     case 99: stack.push(arg12); // 21 12

  2255     case 101: stack.push(arg5); // 21 5

  2256     case 103: stack.push(1); // 4

  2257     case 104: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2258     case 105: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2259     case 106: arg13 = stack.pop() // 54 13

  2260     case 108: stack.push(arg8); // 21 8

  2261     case 110: stack.push(1); // 4

  2262     case 111: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2263     case 112: arg14 = stack.pop() // 54 14

  2264     case 114: stack.push(arg12); // 21 12

  2265     case 116: stack.push(arg13); // 21 13

  2266     case 118: if (stack.pop() >= stack.pop()) { gt = 144; continue; } // 164 0 26

  2267     case 121: stack.push(arg0); // 42

  2268     case 122: stack.push(arg12); // 21 12

  2269     case 124: arg12 += 255; // 132 12 255

  2270     case 127: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2271     case 128: stack.push(arg3); // 45

  2272     case 129: stack.push(arg14); // 21 14

  2273     case 131: arg14 += 255; // 132 14 255

  2274     case 134: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52

  2275     case 135: if (stack.pop() == stack.pop()) { gt = 114; continue; } // 159 255 235

  2276     case 138: arg11 += 255; // 132 11 255

  2277     case 141: gt = 62; continue; // 167 255 177

  2278     case 144: stack.push(arg13); // 21 13

  2279     case 146: stack.push(arg1); // 27

  2280     case 147: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100

  2281     case 148: stack.push(1); // 4

  2282     case 149: stack.push(stack.pop() + stack.pop()); // 96

  2283     case 150: return stack.pop(); // 172

  2284   }

  2285 }

  2286 */

  2288 /*

  2289   this.lengthI = java_lang_String_lengthI;

  2290   this.isEmptyZ = java_lang_String_isEmptyZ;

  2291   this.charAtCI = java_lang_String_charAtCI;

  2292   this.codePointAtII = java_lang_String_codePointAtII;

  2293   this.codePointBeforeII = java_lang_String_codePointBeforeII;

  2294   this.codePointCountIII = java_lang_String_codePointCountIII;

  2295   this.offsetByCodePointsIII = java_lang_String_offsetByCodePointsIII;

  2296   this.getCharsVACI = java_lang_String_getCharsVACI;

  2297   this.getCharsVIIACI = java_lang_String_getCharsVIIACI;

  2298   this.getBytesVIIABI = java_lang_String_getBytesVIIABI;

  2299   this.getBytesABLjava_lang_String = java_lang_String_getBytesABLjava_lang_String;

  2300   this.getBytesABLjava_nio_charset_Charset = java_lang_String_getBytesABLjava_nio_charset_Charset;

  2301   this.getBytesAB = java_lang_String_getBytesAB;

  2302   this.equalsZLjava_lang_Object = java_lang_String_equalsZLjava_lang_Object;

  2303   this.contentEqualsZLjava_lang_StringBuffer = java_lang_String_contentEqualsZLjava_lang_StringBuffer;

  2304   this.contentEqualsZLjava_lang_CharSequence = java_lang_String_contentEqualsZLjava_lang_CharSequence;

  2305   this.equalsIgnoreCaseZLjava_lang_String = java_lang_String_equalsIgnoreCaseZLjava_lang_String;

  2306   this.compareToILjava_lang_String = java_lang_String_compareToILjava_lang_String;

  2307   this.compareToIgnoreCaseILjava_lang_String = java_lang_String_compareToIgnoreCaseILjava_lang_String;

  2308   this.regionMatchesZILjava_lang_StringII = java_lang_String_regionMatchesZILjava_lang_StringII;

  2309   this.regionMatchesZZILjava_lang_StringII = java_lang_String_regionMatchesZZILjava_lang_StringII;

  2310   this.startsWithZLjava_lang_StringI = java_lang_String_startsWithZLjava_lang_StringI;

  2311   this.startsWithZLjava_lang_String = java_lang_String_startsWithZLjava_lang_String;

  2312   this.endsWithZLjava_lang_String = java_lang_String_endsWithZLjava_lang_String;

  2313   this.hashCodeI = java_lang_String_hashCodeI;

  2314   this.indexOfII = java_lang_String_indexOfII;

  2315   this.indexOfIII = java_lang_String_indexOfIII;

  2316   this.lastIndexOfII = java_lang_String_lastIndexOfII;

  2317   this.lastIndexOfIII = java_lang_String_lastIndexOfIII;

  2318   this.indexOfILjava_lang_String = java_lang_String_indexOfILjava_lang_String;

  2319   this.indexOfILjava_lang_StringI = java_lang_String_indexOfILjava_lang_StringI;

  2320   this.lastIndexOfILjava_lang_String = java_lang_String_lastIndexOfILjava_lang_String;

  2321   this.lastIndexOfILjava_lang_StringI = java_lang_String_lastIndexOfILjava_lang_StringI;

  2322   this.substringLjava_lang_StringI = java_lang_String_substringLjava_lang_StringI;

  2323   this.substringLjava_lang_StringII = java_lang_String_substringLjava_lang_StringII;

  2324   this.subSequenceLjava_lang_CharSequenceII = java_lang_String_subSequenceLjava_lang_CharSequenceII;

  2325   this.concatLjava_lang_StringLjava_lang_String = java_lang_String_concatLjava_lang_StringLjava_lang_String;

  2326   this.replaceLjava_lang_StringCC = java_lang_String_replaceLjava_lang_StringCC;

  2327   this.matchesZLjava_lang_String = java_lang_String_matchesZLjava_lang_String;

  2328   this.containsZLjava_lang_CharSequence = java_lang_String_containsZLjava_lang_CharSequence;

  2329   this.replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String = java_lang_String_replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String;

  2330   this.replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String = java_lang_String_replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String;

  2331   this.replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence = java_lang_String_replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence;

  2332   this.splitALjava_lang_StringLjava_lang_StringI = java_lang_String_splitALjava_lang_StringLjava_lang_StringI;

  2333   this.splitALjava_lang_StringLjava_lang_String = java_lang_String_splitALjava_lang_StringLjava_lang_String;

  2334   this.toLowerCaseLjava_lang_StringLjava_util_Locale = java_lang_String_toLowerCaseLjava_lang_StringLjava_util_Locale;

  2335   this.toLowerCaseLjava_lang_String = java_lang_String_toLowerCaseLjava_lang_String;

  2336   this.toUpperCaseLjava_lang_StringLjava_util_Locale = java_lang_String_toUpperCaseLjava_lang_StringLjava_util_Locale;

  2337   this.toUpperCaseLjava_lang_String = java_lang_String_toUpperCaseLjava_lang_String;

  2338   this.trimLjava_lang_String = java_lang_String_trimLjava_lang_String;

  2339   this.toStringLjava_lang_String = java_lang_String_toStringLjava_lang_String;

  2340   this.internLjava_lang_String = java_lang_String_internLjava_lang_String;

  2341   this.compareToILjava_lang_Object = java_lang_String_compareToILjava_lang_Object;

  2342  */

author	Jaroslav Tulach <jaroslav.tulach@apidesign.org>
	Wed, 28 Nov 2012 14:51:52 +0100
branch	lazy
changeset 214	a0f4460130b9
parent 209	bcbaed2a6627
child 229	fb4c53e0097f
child 240	4e88a33d7972
permissions	-rw-r--r--