emul/src/main/resources/org/apidesign/vm4brwsr/emul/java_lang_String.js
author Jaroslav Tulach <jaroslav.tulach@apidesign.org>
Sun, 18 Nov 2012 16:45:50 +0100
branchjavap
changeset 184 03be8510007c
parent 183 1d6ca19d7174
child 190 6060d43a323a
permissions -rw-r--r--
Chars need to be treated as numbers, otherwise switch statement does not work
jaroslav@93
     1
/* */
jaroslav@93
     2
jaroslav@93
     3
jaroslav@176
     4
function java_lang_String_consVAC(self,charArr) {
jaroslav@176
     5
    for (var i = 0; i < charArr.length; i++) {
jaroslav@176
     6
        if (typeof charArr[i] === 'number') charArr[i] = String.fromCharCode(charArr[i]);
jaroslav@176
     7
    }
jaroslav@176
     8
    self.r = charArr.join("");
jaroslav@93
     9
}
jaroslav@93
    10
jaroslav@93
    11
function java_lang_String_consVACII(self, charArr, off, cnt) {
jaroslav@176
    12
    var up = off + cnt;
jaroslav@176
    13
    for (var i = off; i < up; i++) {
jaroslav@176
    14
        if (typeof charArr[i] === 'number') charArr[i] = String.fromCharCode(charArr[i]);
jaroslav@176
    15
    }
jaroslav@176
    16
    self.r = charArr.slice(off, up).join("");
jaroslav@93
    17
}
jaroslav@93
    18
jaroslav@93
    19
function java_lang_String_charAtCI(arg0,arg1) {
jaroslav@184
    20
    return arg0.toString().charCodeAt(arg1);
jaroslav@93
    21
}
jaroslav@93
    22
function java_lang_String_lengthI(arg0) {
jaroslav@93
    23
    return arg0.toString().length;
jaroslav@93
    24
}
jaroslav@93
    25
function java_lang_String_isEmptyZ(arg0) {
jaroslav@93
    26
    return arg0.toString().length === 0;
jaroslav@93
    27
}
jaroslav@177
    28
function java_lang_String_valueOfLjava_lang_StringI(n) {
jaroslav@177
    29
    return n.toString();
jaroslav@177
    30
}
jaroslav@93
    31
jaroslav@182
    32
function java_lang_String_startsWithZLjava_lang_StringI(self,find,from) {
jaroslav@182
    33
    find = find.toString();
jaroslav@182
    34
    return self.toString().substring(from, find.length) === find;
jaroslav@182
    35
}
jaroslav@182
    36
function java_lang_String_startsWithZLjava_lang_String(self,find) {
jaroslav@182
    37
    find = find.toString();
jaroslav@182
    38
    return self.toString().substring(0, find.length) === find;
jaroslav@182
    39
}
jaroslav@182
    40
function java_lang_String_endsWithZLjava_lang_String(self,find) {
jaroslav@182
    41
    self = self.toString();
jaroslav@182
    42
    find = find.toString();
jaroslav@182
    43
    if (find.length > self.length) {
jaroslav@182
    44
        return false;
jaroslav@182
    45
    }
jaroslav@182
    46
    return self.substring(self.length - find.length) === find;
jaroslav@182
    47
}
jaroslav@182
    48
jaroslav@184
    49
function java_lang_String_indexOfII(arg0,ch) {
jaroslav@184
    50
    if (typeof ch === 'number') ch = String.fromCharCode(ch);
jaroslav@184
    51
    return arg0.toString().indexOf(ch);
jaroslav@184
    52
}
jaroslav@184
    53
function java_lang_String_indexOfIII(arg0,ch,from) {
jaroslav@184
    54
    if (typeof ch === 'number') ch = String.fromCharCode(ch);
jaroslav@184
    55
    return arg0.toString().indexOf(ch, from);
jaroslav@184
    56
}
jaroslav@184
    57
jaroslav@184
    58
function java_lang_String_getCharsVACI(self, arr, to) {
jaroslav@184
    59
    var s = self.toString();
jaroslav@184
    60
    for (var i = 0; i < s.length; i++) {
jaroslav@184
    61
        arr[to++] = s[i];
jaroslav@184
    62
    }
jaroslav@184
    63
}
jaroslav@184
    64
jaroslav@93
    65
/*
jaroslav@93
    66
function java_lang_String_codePointAtII(arg0,arg1) {
jaroslav@93
    67
  var arg2;
jaroslav@93
    68
;
jaroslav@93
    69
  var stack = new Array(4);
jaroslav@93
    70
  var gt = 0;
jaroslav@93
    71
  for(;;) switch(gt) {
jaroslav@93
    72
    case 0: stack.push(arg1); // 27
jaroslav@93
    73
    case 1: if (stack.pop() < 0) { gt = 12; continue; } // 155 0 11
jaroslav@93
    74
    case 4: stack.push(arg1); // 27
jaroslav@93
    75
    case 5: stack.push(arg0); // 42
jaroslav@93
    76
    case 6: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
    77
    case 9: if (stack.pop() > stack.pop()) { gt = 21; continue; } // 161 0 12
jaroslav@93
    78
    case 12: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206
jaroslav@93
    79
    case 15: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
    80
    case 16: stack.push(arg1); // 27
jaroslav@93
    81
    case 17: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169
jaroslav@93
    82
    case 20:  // 191
jaroslav@93
    83
    case 21: stack.push(arg0); // 42
jaroslav@93
    84
    case 22: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
    85
    case 25: stack.push(arg0); // 42
jaroslav@93
    86
    case 26: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
    87
    case 29: stack.push(arg1); // 27
jaroslav@93
    88
    case 30: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
    89
    case 31: stack.push(arg0); // 42
jaroslav@93
    90
    case 32: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
    91
    case 35: stack.push(arg0); // 42
jaroslav@93
    92
    case 36: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
    93
    case 39: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
    94
    case 40: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_codePointAtImplAIACAIAI(v0, v1, v2)); } // 184 1 113
jaroslav@93
    95
    case 43: return stack.pop(); // 172
jaroslav@93
    96
  }
jaroslav@93
    97
}
jaroslav@93
    98
function java_lang_String_codePointBeforeII(arg0,arg1) {
jaroslav@93
    99
  var arg2;
jaroslav@93
   100
  var arg3;
jaroslav@93
   101
;
jaroslav@93
   102
  var stack = new Array(3);
jaroslav@93
   103
  var gt = 0;
jaroslav@93
   104
  for(;;) switch(gt) {
jaroslav@93
   105
    case 0: stack.push(arg1); // 27
jaroslav@93
   106
    case 1: stack.push(1); // 4
jaroslav@93
   107
    case 2: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   108
    case 3: arg2 = stack.pop(); // 61
jaroslav@93
   109
    case 4: stack.push(arg2); // 28
jaroslav@93
   110
    case 5: if (stack.pop() < 0) { gt = 16; continue; } // 155 0 11
jaroslav@93
   111
    case 8: stack.push(arg2); // 28
jaroslav@93
   112
    case 9: stack.push(arg0); // 42
jaroslav@93
   113
    case 10: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   114
    case 13: if (stack.pop() > stack.pop()) { gt = 25; continue; } // 161 0 12
jaroslav@93
   115
    case 16: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206
jaroslav@93
   116
    case 19: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
   117
    case 20: stack.push(arg1); // 27
jaroslav@93
   118
    case 21: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169
jaroslav@93
   119
    case 24:  // 191
jaroslav@93
   120
    case 25: stack.push(arg0); // 42
jaroslav@93
   121
    case 26: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   122
    case 29: stack.push(arg0); // 42
jaroslav@93
   123
    case 30: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   124
    case 33: stack.push(arg1); // 27
jaroslav@93
   125
    case 34: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   126
    case 35: stack.push(arg0); // 42
jaroslav@93
   127
    case 36: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   128
    case 39: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_codePointBeforeImplAIACAIAI(v0, v1, v2)); } // 184 1 114
jaroslav@93
   129
    case 42: return stack.pop(); // 172
jaroslav@93
   130
  }
jaroslav@93
   131
}
jaroslav@93
   132
function java_lang_String_codePointCountIII(arg0,arg1,arg2) {
jaroslav@93
   133
  var arg3;
jaroslav@93
   134
;
jaroslav@93
   135
  var stack = new Array(4);
jaroslav@93
   136
  var gt = 0;
jaroslav@93
   137
  for(;;) switch(gt) {
jaroslav@93
   138
    case 0: stack.push(arg1); // 27
jaroslav@93
   139
    case 1: if (stack.pop() < 0) { gt = 17; continue; } // 155 0 16
jaroslav@93
   140
    case 4: stack.push(arg2); // 28
jaroslav@93
   141
    case 5: stack.push(arg0); // 42
jaroslav@93
   142
    case 6: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   143
    case 9: if (stack.pop() < stack.pop()) { gt = 17; continue; } // 163 0 8
jaroslav@93
   144
    case 12: stack.push(arg1); // 27
jaroslav@93
   145
    case 13: stack.push(arg2); // 28
jaroslav@93
   146
    case 14: if (stack.pop() >= stack.pop()) { gt = 25; continue; } // 164 0 11
jaroslav@93
   147
    case 17: stack.push(new java_lang_IndexOutOfBoundsException); // 187 0 194
jaroslav@93
   148
    case 20: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
   149
    case 21: { java_lang_IndexOutOfBoundsException_consV(stack.pop()); } // 183 1 124
jaroslav@93
   150
    case 24:  // 191
jaroslav@93
   151
    case 25: stack.push(arg0); // 42
jaroslav@93
   152
    case 26: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   153
    case 29: stack.push(arg0); // 42
jaroslav@93
   154
    case 30: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   155
    case 33: stack.push(arg1); // 27
jaroslav@93
   156
    case 34: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   157
    case 35: stack.push(arg2); // 28
jaroslav@93
   158
    case 36: stack.push(arg1); // 27
jaroslav@93
   159
    case 37: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   160
    case 38: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_codePointCountImplAIACAIAI(v0, v1, v2)); } // 184 1 115
jaroslav@93
   161
    case 41: return stack.pop(); // 172
jaroslav@93
   162
  }
jaroslav@93
   163
}
jaroslav@93
   164
function java_lang_String_offsetByCodePointsIII(arg0,arg1,arg2) {
jaroslav@93
   165
  var arg3;
jaroslav@93
   166
;
jaroslav@93
   167
  var stack = new Array(5);
jaroslav@93
   168
  var gt = 0;
jaroslav@93
   169
  for(;;) switch(gt) {
jaroslav@93
   170
    case 0: stack.push(arg1); // 27
jaroslav@93
   171
    case 1: if (stack.pop() < 0) { gt = 12; continue; } // 155 0 11
jaroslav@93
   172
    case 4: stack.push(arg1); // 27
jaroslav@93
   173
    case 5: stack.push(arg0); // 42
jaroslav@93
   174
    case 6: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   175
    case 9: if (stack.pop() >= stack.pop()) { gt = 20; continue; } // 164 0 11
jaroslav@93
   176
    case 12: stack.push(new java_lang_IndexOutOfBoundsException); // 187 0 194
jaroslav@93
   177
    case 15: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
   178
    case 16: { java_lang_IndexOutOfBoundsException_consV(stack.pop()); } // 183 1 124
jaroslav@93
   179
    case 19:  // 191
jaroslav@93
   180
    case 20: stack.push(arg0); // 42
jaroslav@93
   181
    case 21: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   182
    case 24: stack.push(arg0); // 42
jaroslav@93
   183
    case 25: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   184
    case 28: stack.push(arg0); // 42
jaroslav@93
   185
    case 29: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   186
    case 32: stack.push(arg0); // 42
jaroslav@93
   187
    case 33: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   188
    case 36: stack.push(arg1); // 27
jaroslav@93
   189
    case 37: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   190
    case 38: stack.push(arg2); // 28
jaroslav@93
   191
    case 39: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_offsetByCodePointsImplAIACAIAIAIAI(v0, v1, v2, v3, v4)); } // 184 1 116
jaroslav@93
   192
    case 42: stack.push(arg0); // 42
jaroslav@93
   193
    case 43: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   194
    case 46: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   195
    case 47: return stack.pop(); // 172
jaroslav@93
   196
  }
jaroslav@93
   197
}
jaroslav@93
   198
*/
jaroslav@93
   199
jaroslav@93
   200
// public void getChars(int srcBegin, int srcEnd, char dst[], int dstBegin) {
jaroslav@93
   201
function java_lang_String_getCharsVIIACAI(arg0,arg1,arg2,arg3,arg4) {
jaroslav@93
   202
    var s = arg0.toString();
jaroslav@93
   203
    while (arg1 < arg2) {
jaroslav@93
   204
        arg3[arg4++] = s[arg1++];
jaroslav@93
   205
    }
jaroslav@93
   206
}
jaroslav@93
   207
jaroslav@93
   208
/*
jaroslav@93
   209
function java_lang_String_getBytesVIIABI(arg0,arg1,arg2,arg3,arg4) {
jaroslav@93
   210
  var arg5;
jaroslav@93
   211
  var arg6;
jaroslav@93
   212
  var arg7;
jaroslav@93
   213
  var arg8;
jaroslav@93
   214
  var arg9;
jaroslav@93
   215
;
jaroslav@93
   216
  var stack = new Array(4);
jaroslav@93
   217
  var gt = 0;
jaroslav@93
   218
  for(;;) switch(gt) {
jaroslav@93
   219
    case 0: stack.push(arg1); // 27
jaroslav@93
   220
    case 1: if (stack.pop() >= 0) { gt = 13; continue; } // 156 0 12
jaroslav@93
   221
    case 4: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206
jaroslav@93
   222
    case 7: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
   223
    case 8: stack.push(arg1); // 27
jaroslav@93
   224
    case 9: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169
jaroslav@93
   225
    case 12:  // 191
jaroslav@93
   226
    case 13: stack.push(arg2); // 28
jaroslav@93
   227
    case 14: stack.push(arg0); // 42
jaroslav@93
   228
    case 15: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   229
    case 18: if (stack.pop() >= stack.pop()) { gt = 30; continue; } // 164 0 12
jaroslav@93
   230
    case 21: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206
jaroslav@93
   231
    case 24: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
   232
    case 25: stack.push(arg2); // 28
jaroslav@93
   233
    case 26: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169
jaroslav@93
   234
    case 29:  // 191
jaroslav@93
   235
    case 30: stack.push(arg1); // 27
jaroslav@93
   236
    case 31: stack.push(arg2); // 28
jaroslav@93
   237
    case 32: if (stack.pop() >= stack.pop()) { gt = 46; continue; } // 164 0 14
jaroslav@93
   238
    case 35: stack.push(new java_lang_StringIndexOutOfBoundsException); // 187 0 206
jaroslav@93
   239
    case 38: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
   240
    case 39: stack.push(arg2); // 28
jaroslav@93
   241
    case 40: stack.push(arg1); // 27
jaroslav@93
   242
    case 41: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   243
    case 42: { var v0 = stack.pop(); java_lang_StringIndexOutOfBoundsException_consVI(stack.pop(), v0); } // 183 1 169
jaroslav@93
   244
    case 45:  // 191
jaroslav@93
   245
    case 46: stack.push(arg4); // 21 4
jaroslav@93
   246
    case 48: arg5 = stack.pop() // 54 5
jaroslav@93
   247
    case 50: stack.push(arg0); // 42
jaroslav@93
   248
    case 51: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   249
    case 54: stack.push(arg2); // 28
jaroslav@93
   250
    case 55: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   251
    case 56: arg6 = stack.pop() // 54 6
jaroslav@93
   252
    case 58: stack.push(arg0); // 42
jaroslav@93
   253
    case 59: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   254
    case 62: stack.push(arg1); // 27
jaroslav@93
   255
    case 63: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   256
    case 64: arg7 = stack.pop() // 54 7
jaroslav@93
   257
    case 66: stack.push(arg0); // 42
jaroslav@93
   258
    case 67: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   259
    case 70: arg8 = stack.pop() // 58 8
jaroslav@93
   260
    case 72: stack.push(arg7); // 21 7
jaroslav@93
   261
    case 74: stack.push(arg6); // 21 6
jaroslav@93
   262
    case 76: if (stack.pop() <= stack.pop()) { gt = 98; continue; } // 162 0 22
jaroslav@93
   263
    case 79: stack.push(arg3); // 45
jaroslav@93
   264
    case 80: stack.push(arg5); // 21 5
jaroslav@93
   265
    case 82: arg5++; // 132 5 1
jaroslav@93
   266
    case 85: stack.push(arg8); // 25 8
jaroslav@93
   267
    case 87: stack.push(arg7); // 21 7
jaroslav@93
   268
    case 89: arg7++; // 132 7 1
jaroslav@93
   269
    case 92: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   270
    case 93: // number conversion  // 145
jaroslav@93
   271
    case 94: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 84
jaroslav@93
   272
    case 95: gt = 72; continue; // 167 255 233
jaroslav@93
   273
    case 98: return; // 177
jaroslav@93
   274
  }
jaroslav@93
   275
}
jaroslav@93
   276
function java_lang_String_getBytesABLjava_lang_String(arg0,arg1) {
jaroslav@93
   277
  var arg2;
jaroslav@93
   278
;
jaroslav@93
   279
  var stack = new Array(4);
jaroslav@93
   280
  var gt = 0;
jaroslav@93
   281
  for(;;) switch(gt) {
jaroslav@93
   282
    case 0: stack.push(arg1); // 43
jaroslav@93
   283
    case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11
jaroslav@93
   284
    case 4: stack.push(new java_lang_NullPointerException); // 187 0 198
jaroslav@93
   285
    case 7: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
   286
    case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128
jaroslav@93
   287
    case 11:  // 191
jaroslav@93
   288
    case 12: stack.push(arg1); // 43
jaroslav@93
   289
    case 13: stack.push(arg0); // 42
jaroslav@93
   290
    case 14: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   291
    case 17: stack.push(arg0); // 42
jaroslav@93
   292
    case 18: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   293
    case 21: stack.push(arg0); // 42
jaroslav@93
   294
    case 22: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   295
    case 25: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_StringCoding_encodeABLjava_lang_StringACAIAI(v0, v1, v2, v3)); } // 184 1 166
jaroslav@93
   296
    case 28: return stack.pop(); // 176
jaroslav@93
   297
  }
jaroslav@93
   298
}
jaroslav@93
   299
function java_lang_String_getBytesABLjava_nio_charset_Charset(arg0,arg1) {
jaroslav@93
   300
  var arg2;
jaroslav@93
   301
;
jaroslav@93
   302
  var stack = new Array(4);
jaroslav@93
   303
  var gt = 0;
jaroslav@93
   304
  for(;;) switch(gt) {
jaroslav@93
   305
    case 0: stack.push(arg1); // 43
jaroslav@93
   306
    case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11
jaroslav@93
   307
    case 4: stack.push(new java_lang_NullPointerException); // 187 0 198
jaroslav@93
   308
    case 7: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
   309
    case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128
jaroslav@93
   310
    case 11:  // 191
jaroslav@93
   311
    case 12: stack.push(arg1); // 43
jaroslav@93
   312
    case 13: stack.push(arg0); // 42
jaroslav@93
   313
    case 14: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   314
    case 17: stack.push(arg0); // 42
jaroslav@93
   315
    case 18: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   316
    case 21: stack.push(arg0); // 42
jaroslav@93
   317
    case 22: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   318
    case 25: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_StringCoding_encodeABLjava_nio_charset_CharsetACAIAI(v0, v1, v2, v3)); } // 184 1 168
jaroslav@93
   319
    case 28: return stack.pop(); // 176
jaroslav@93
   320
  }
jaroslav@93
   321
}
jaroslav@93
   322
function java_lang_String_getBytesAB(arg0) {
jaroslav@93
   323
  var arg1;
jaroslav@93
   324
;
jaroslav@93
   325
  var stack = new Array(3);
jaroslav@93
   326
  var gt = 0;
jaroslav@93
   327
  for(;;) switch(gt) {
jaroslav@93
   328
    case 0: stack.push(arg0); // 42
jaroslav@93
   329
    case 1: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   330
    case 4: stack.push(arg0); // 42
jaroslav@93
   331
    case 5: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   332
    case 8: stack.push(arg0); // 42
jaroslav@93
   333
    case 9: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   334
    case 12: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_StringCoding_encodeABACAIAI(v0, v1, v2)); } // 184 1 164
jaroslav@93
   335
    case 15: return stack.pop(); // 176
jaroslav@93
   336
  }
jaroslav@93
   337
}
jaroslav@116
   338
*/
jaroslav@93
   339
function java_lang_String_equalsZLjava_lang_Object(arg0,arg1) {
jaroslav@116
   340
    return arg0.toString() === arg1.toString();
jaroslav@93
   341
}
jaroslav@116
   342
/*
jaroslav@93
   343
function java_lang_String_contentEqualsZLjava_lang_StringBuffer(arg0,arg1) {
jaroslav@93
   344
  var arg2;
jaroslav@93
   345
  var arg3;
jaroslav@93
   346
  var arg4;
jaroslav@93
   347
;
jaroslav@93
   348
  var stack = new Array(2);
jaroslav@93
   349
  var gt = 0;
jaroslav@93
   350
  for(;;) switch(gt) {
jaroslav@93
   351
    case 0: stack.push(arg1); // 43
jaroslav@93
   352
    case 1: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
   353
    case 2: arg2 = stack.pop(); // 77
jaroslav@93
   354
    case 3:  // 194
jaroslav@93
   355
    case 4: stack.push(arg0); // 42
jaroslav@93
   356
    case 5: stack.push(arg1); // 43
jaroslav@93
   357
    case 6: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.contentEqualsZLjava_lang_CharSequence(self, v0)); } // 182 1 146
jaroslav@93
   358
    case 9: stack.push(arg2); // 44
jaroslav@93
   359
    case 10:  // 195
jaroslav@93
   360
    case 11: return stack.pop(); // 172
jaroslav@93
   361
    case 12: arg3 = stack.pop(); // 78
jaroslav@93
   362
    case 13: stack.push(arg2); // 44
jaroslav@93
   363
    case 14:  // 195
jaroslav@93
   364
    case 15: stack.push(arg3); // 45
jaroslav@93
   365
    case 16:  // 191
jaroslav@93
   366
  }
jaroslav@93
   367
}
jaroslav@93
   368
function java_lang_String_contentEqualsZLjava_lang_CharSequence(arg0,arg1) {
jaroslav@93
   369
  var arg2;
jaroslav@93
   370
  var arg3;
jaroslav@93
   371
  var arg4;
jaroslav@93
   372
  var arg5;
jaroslav@93
   373
  var arg6;
jaroslav@93
   374
  var arg7;
jaroslav@93
   375
;
jaroslav@93
   376
  var stack = new Array(3);
jaroslav@93
   377
  var gt = 0;
jaroslav@93
   378
  for(;;) switch(gt) {
jaroslav@93
   379
    case 0: stack.push(arg0); // 42
jaroslav@93
   380
    case 1: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   381
    case 4: stack.push(arg1); // 43
jaroslav@93
   382
    case 5: { var self = stack.pop(); stack.push(self.lengthI(self)); } // 185 1 188
jaroslav@93
   383
    case 8:  // 1
jaroslav@93
   384
    case 9:  // 0
jaroslav@93
   385
    case 10: if (stack.pop() == stack.pop()) { gt = 15; continue; } // 159 0 5
jaroslav@93
   386
    case 13: stack.push(0); // 3
jaroslav@93
   387
    case 14: return stack.pop(); // 172
jaroslav@93
   388
    case 15: stack.push(arg1); // 43
jaroslav@93
   389
    case 16: stack.push(stack.pop().$instOf_java_lang_AbstractStringBuilder ? 1 : 0); // 193 0 186
jaroslav@93
   390
    case 19: if (stack.pop() == 0) { gt = 77; continue; } // 153 0 58
jaroslav@93
   391
    case 22: stack.push(arg0); // 42
jaroslav@93
   392
    case 23: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   393
    case 26: arg2 = stack.pop(); // 77
jaroslav@93
   394
    case 27: stack.push(arg1); // 43
jaroslav@93
   395
    case 28: if(stack[stack.length - 1].$instOf_java_lang_AbstractStringBuilder != 1) throw {}; // 192 0 186
jaroslav@93
   396
    case 31: { var self = stack.pop(); stack.push(self.getValueAC(self)); } // 182 1 103
jaroslav@93
   397
    case 34: arg3 = stack.pop(); // 78
jaroslav@93
   398
    case 35: stack.push(arg0); // 42
jaroslav@93
   399
    case 36: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   400
    case 39: arg4 = stack.pop() // 54 4
jaroslav@93
   401
    case 41: stack.push(0); // 3
jaroslav@93
   402
    case 42: arg5 = stack.pop() // 54 5
jaroslav@93
   403
    case 44: stack.push(arg0); // 42
jaroslav@93
   404
    case 45: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   405
    case 48: arg6 = stack.pop() // 54 6
jaroslav@93
   406
    case 50: stack.push(arg6); // 21 6
jaroslav@93
   407
    case 52: arg6 += 255; // 132 6 255
jaroslav@93
   408
    case 55: if (stack.pop() == 0) { gt = 77; continue; } // 153 0 22
jaroslav@93
   409
    case 58: stack.push(arg2); // 44
jaroslav@93
   410
    case 59: stack.push(arg4); // 21 4
jaroslav@93
   411
    case 61: arg4++; // 132 4 1
jaroslav@93
   412
    case 64: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   413
    case 65: stack.push(arg3); // 45
jaroslav@93
   414
    case 66: stack.push(arg5); // 21 5
jaroslav@93
   415
    case 68: arg5++; // 132 5 1
jaroslav@93
   416
    case 71: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   417
    case 72: if (stack.pop() == stack.pop()) { gt = 50; continue; } // 159 255 234
jaroslav@93
   418
    case 75: stack.push(0); // 3
jaroslav@93
   419
    case 76: return stack.pop(); // 172
jaroslav@93
   420
    case 77: stack.push(arg1); // 43
jaroslav@93
   421
    case 78: stack.push(arg0); // 42
jaroslav@93
   422
    case 79: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.equalsZLjava_lang_Object(self, v0)); } // 182 1 131
jaroslav@93
   423
    case 82: if (stack.pop() == 0) { gt = 87; continue; } // 153 0 5
jaroslav@93
   424
    case 85: stack.push(1); // 4
jaroslav@93
   425
    case 86: return stack.pop(); // 172
jaroslav@93
   426
    case 87: stack.push(arg0); // 42
jaroslav@93
   427
    case 88: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   428
    case 91: arg2 = stack.pop(); // 77
jaroslav@93
   429
    case 92: stack.push(arg0); // 42
jaroslav@93
   430
    case 93: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   431
    case 96: arg3 = stack.pop(); // 62
jaroslav@93
   432
    case 97: stack.push(0); // 3
jaroslav@93
   433
    case 98: arg4 = stack.pop() // 54 4
jaroslav@93
   434
    case 100: stack.push(arg0); // 42
jaroslav@93
   435
    case 101: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   436
    case 104: arg5 = stack.pop() // 54 5
jaroslav@93
   437
    case 106: stack.push(arg5); // 21 5
jaroslav@93
   438
    case 108: arg5 += 255; // 132 5 255
jaroslav@93
   439
    case 111: if (stack.pop() == 0) { gt = 136; continue; } // 153 0 25
jaroslav@93
   440
    case 114: stack.push(arg2); // 44
jaroslav@93
   441
    case 115: stack.push(arg3); // 29
jaroslav@93
   442
    case 116: arg3++; // 132 3 1
jaroslav@93
   443
    case 119: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   444
    case 120: stack.push(arg1); // 43
jaroslav@93
   445
    case 121: stack.push(arg4); // 21 4
jaroslav@93
   446
    case 123: arg4++; // 132 4 1
jaroslav@93
   447
    case 126: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.charAtCI(self, v0)); } // 185 1 189
jaroslav@93
   448
    case 129:  // 2
jaroslav@93
   449
    case 130:  // 0
jaroslav@93
   450
    case 131: if (stack.pop() == stack.pop()) { gt = 106; continue; } // 159 255 231
jaroslav@93
   451
    case 134: stack.push(0); // 3
jaroslav@93
   452
    case 135: return stack.pop(); // 172
jaroslav@93
   453
    case 136: stack.push(1); // 4
jaroslav@93
   454
    case 137: return stack.pop(); // 172
jaroslav@93
   455
  }
jaroslav@93
   456
}
jaroslav@93
   457
function java_lang_String_equalsIgnoreCaseZLjava_lang_String(arg0,arg1) {
jaroslav@93
   458
  var arg2;
jaroslav@93
   459
;
jaroslav@93
   460
  var stack = new Array(6);
jaroslav@93
   461
  var gt = 0;
jaroslav@93
   462
  for(;;) switch(gt) {
jaroslav@93
   463
    case 0: stack.push(arg0); // 42
jaroslav@93
   464
    case 1: stack.push(arg1); // 43
jaroslav@93
   465
    case 2:  // 166
jaroslav@93
   466
    case 3:  // 0
jaroslav@93
   467
    case 4: stack.push(4); // 7
jaroslav@93
   468
    case 5: stack.push(1); // 4
jaroslav@93
   469
    case 6: gt = 44; continue; // 167 0 38
jaroslav@93
   470
    case 9: stack.push(arg1); // 43
jaroslav@93
   471
    case 10: if (!stack.pop()) { gt = 43; continue; } // 198 0 33
jaroslav@93
   472
    case 13: stack.push(arg1); // 43
jaroslav@93
   473
    case 14: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   474
    case 17: stack.push(arg0); // 42
jaroslav@93
   475
    case 18: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   476
    case 21: if (stack.pop() != stack.pop()) { gt = 43; continue; } // 160 0 22
jaroslav@93
   477
    case 24: stack.push(arg0); // 42
jaroslav@93
   478
    case 25: stack.push(1); // 4
jaroslav@93
   479
    case 26: stack.push(0); // 3
jaroslav@93
   480
    case 27: stack.push(arg1); // 43
jaroslav@93
   481
    case 28: stack.push(0); // 3
jaroslav@93
   482
    case 29: stack.push(arg0); // 42
jaroslav@93
   483
    case 30: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   484
    case 33: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.regionMatchesZZILjava_lang_StringII(self, v0, v1, v2, v3, v4)); } // 182 1 153
jaroslav@93
   485
    case 36: if (stack.pop() == 0) { gt = 43; continue; } // 153 0 7
jaroslav@93
   486
    case 39: stack.push(1); // 4
jaroslav@93
   487
    case 40: gt = 44; continue; // 167 0 4
jaroslav@93
   488
    case 43: stack.push(0); // 3
jaroslav@93
   489
    case 44: return stack.pop(); // 172
jaroslav@93
   490
  }
jaroslav@93
   491
}
jaroslav@93
   492
function java_lang_String_compareToILjava_lang_String(arg0,arg1) {
jaroslav@93
   493
  var arg2;
jaroslav@93
   494
  var arg3;
jaroslav@93
   495
  var arg4;
jaroslav@93
   496
  var arg5;
jaroslav@93
   497
  var arg6;
jaroslav@93
   498
  var arg7;
jaroslav@93
   499
  var arg8;
jaroslav@93
   500
  var arg9;
jaroslav@93
   501
  var arg10;
jaroslav@93
   502
  var arg11;
jaroslav@93
   503
  var arg12;
jaroslav@93
   504
  var arg13;
jaroslav@93
   505
;
jaroslav@93
   506
  var stack = new Array(2);
jaroslav@93
   507
  var gt = 0;
jaroslav@93
   508
  for(;;) switch(gt) {
jaroslav@93
   509
    case 0: stack.push(arg0); // 42
jaroslav@93
   510
    case 1: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   511
    case 4: arg2 = stack.pop(); // 61
jaroslav@93
   512
    case 5: stack.push(arg1); // 43
jaroslav@93
   513
    case 6: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   514
    case 9: arg3 = stack.pop(); // 62
jaroslav@93
   515
    case 10: stack.push(arg2); // 28
jaroslav@93
   516
    case 11: stack.push(arg3); // 29
jaroslav@93
   517
    case 12: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Math_minIII(v0, v1)); } // 184 1 127
jaroslav@93
   518
    case 15: arg4 = stack.pop() // 54 4
jaroslav@93
   519
    case 17: stack.push(arg0); // 42
jaroslav@93
   520
    case 18: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   521
    case 21: arg5 = stack.pop() // 58 5
jaroslav@93
   522
    case 23: stack.push(arg1); // 43
jaroslav@93
   523
    case 24: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   524
    case 27: arg6 = stack.pop() // 58 6
jaroslav@93
   525
    case 29: stack.push(arg0); // 42
jaroslav@93
   526
    case 30: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   527
    case 33: arg7 = stack.pop() // 54 7
jaroslav@93
   528
    case 35: stack.push(arg1); // 43
jaroslav@93
   529
    case 36: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   530
    case 39: arg8 = stack.pop() // 54 8
jaroslav@93
   531
    case 41: stack.push(arg7); // 21 7
jaroslav@93
   532
    case 43: stack.push(arg8); // 21 8
jaroslav@93
   533
    case 45: if (stack.pop() != stack.pop()) { gt = 102; continue; } // 160 0 57
jaroslav@93
   534
    case 48: stack.push(arg7); // 21 7
jaroslav@93
   535
    case 50: arg9 = stack.pop() // 54 9
jaroslav@93
   536
    case 52: stack.push(arg4); // 21 4
jaroslav@93
   537
    case 54: stack.push(arg7); // 21 7
jaroslav@93
   538
    case 56: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   539
    case 57: arg10 = stack.pop() // 54 10
jaroslav@93
   540
    case 59: stack.push(arg9); // 21 9
jaroslav@93
   541
    case 61: stack.push(arg10); // 21 10
jaroslav@93
   542
    case 63: if (stack.pop() <= stack.pop()) { gt = 99; continue; } // 162 0 36
jaroslav@93
   543
    case 66: stack.push(arg5); // 25 5
jaroslav@93
   544
    case 68: stack.push(arg9); // 21 9
jaroslav@93
   545
    case 70: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   546
    case 71: arg11 = stack.pop() // 54 11
jaroslav@93
   547
    case 73: stack.push(arg6); // 25 6
jaroslav@93
   548
    case 75: stack.push(arg9); // 21 9
jaroslav@93
   549
    case 77: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   550
    case 78: arg12 = stack.pop() // 54 12
jaroslav@93
   551
    case 80: stack.push(arg11); // 21 11
jaroslav@93
   552
    case 82: stack.push(arg12); // 21 12
jaroslav@93
   553
    case 84: if (stack.pop() == stack.pop()) { gt = 93; continue; } // 159 0 9
jaroslav@93
   554
    case 87: stack.push(arg11); // 21 11
jaroslav@93
   555
    case 89: stack.push(arg12); // 21 12
jaroslav@93
   556
    case 91: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   557
    case 92: return stack.pop(); // 172
jaroslav@93
   558
    case 93: arg9++; // 132 9 1
jaroslav@93
   559
    case 96: gt = 59; continue; // 167 255 219
jaroslav@93
   560
    case 99: gt = 146; continue; // 167 0 47
jaroslav@93
   561
    case 102: stack.push(arg4); // 21 4
jaroslav@93
   562
    case 104: arg4 += 255; // 132 4 255
jaroslav@93
   563
    case 107: if (stack.pop() == 0) { gt = 146; continue; } // 153 0 39
jaroslav@93
   564
    case 110: stack.push(arg5); // 25 5
jaroslav@93
   565
    case 112: stack.push(arg7); // 21 7
jaroslav@93
   566
    case 114: arg7++; // 132 7 1
jaroslav@93
   567
    case 117: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   568
    case 118: arg9 = stack.pop() // 54 9
jaroslav@93
   569
    case 120: stack.push(arg6); // 25 6
jaroslav@93
   570
    case 122: stack.push(arg8); // 21 8
jaroslav@93
   571
    case 124: arg8++; // 132 8 1
jaroslav@93
   572
    case 127: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   573
    case 128: arg10 = stack.pop() // 54 10
jaroslav@93
   574
    case 130: stack.push(arg9); // 21 9
jaroslav@93
   575
    case 132: stack.push(arg10); // 21 10
jaroslav@93
   576
    case 134: if (stack.pop() == stack.pop()) { gt = 143; continue; } // 159 0 9
jaroslav@93
   577
    case 137: stack.push(arg9); // 21 9
jaroslav@93
   578
    case 139: stack.push(arg10); // 21 10
jaroslav@93
   579
    case 141: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   580
    case 142: return stack.pop(); // 172
jaroslav@93
   581
    case 143: gt = 102; continue; // 167 255 215
jaroslav@93
   582
    case 146: stack.push(arg2); // 28
jaroslav@93
   583
    case 147: stack.push(arg3); // 29
jaroslav@93
   584
    case 148: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   585
    case 149: return stack.pop(); // 172
jaroslav@93
   586
  }
jaroslav@93
   587
}
jaroslav@93
   588
function java_lang_String_compareToIgnoreCaseILjava_lang_String(arg0,arg1) {
jaroslav@93
   589
  var arg2;
jaroslav@93
   590
;
jaroslav@93
   591
  var stack = new Array(3);
jaroslav@93
   592
  var gt = 0;
jaroslav@93
   593
  for(;;) switch(gt) {
jaroslav@93
   594
    case 0: stack.push(java_lang_String_CASE_INSENSITIVE_ORDER); // 178 1 102
jaroslav@93
   595
    case 3: stack.push(arg0); // 42
jaroslav@93
   596
    case 4: stack.push(arg1); // 43
jaroslav@93
   597
    case 5: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.compareILjava_lang_ObjectLjava_lang_Object(self, v0, v1)); } // 185 1 190
jaroslav@93
   598
    case 8: stack.push(0); // 3
jaroslav@93
   599
    case 9:  // 0
jaroslav@93
   600
    case 10: return stack.pop(); // 172
jaroslav@93
   601
  }
jaroslav@93
   602
}
jaroslav@93
   603
function java_lang_String_regionMatchesZILjava_lang_StringII(arg0,arg1,arg2,arg3,arg4) {
jaroslav@93
   604
  var arg5;
jaroslav@93
   605
  var arg6;
jaroslav@93
   606
  var arg7;
jaroslav@93
   607
  var arg8;
jaroslav@93
   608
  var arg9;
jaroslav@93
   609
;
jaroslav@93
   610
  var stack = new Array(6);
jaroslav@93
   611
  var gt = 0;
jaroslav@93
   612
  for(;;) switch(gt) {
jaroslav@93
   613
    case 0: stack.push(arg0); // 42
jaroslav@93
   614
    case 1: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   615
    case 4: arg5 = stack.pop() // 58 5
jaroslav@93
   616
    case 6: stack.push(arg0); // 42
jaroslav@93
   617
    case 7: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   618
    case 10: stack.push(arg1); // 27
jaroslav@93
   619
    case 11: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   620
    case 12: arg6 = stack.pop() // 54 6
jaroslav@93
   621
    case 14: stack.push(arg2); // 44
jaroslav@93
   622
    case 15: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   623
    case 18: arg7 = stack.pop() // 58 7
jaroslav@93
   624
    case 20: stack.push(arg2); // 44
jaroslav@93
   625
    case 21: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   626
    case 24: stack.push(arg3); // 29
jaroslav@93
   627
    case 25: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   628
    case 26: arg8 = stack.pop() // 54 8
jaroslav@93
   629
    case 28: stack.push(arg3); // 29
jaroslav@93
   630
    case 29: if (stack.pop() < 0) { gt = 66; continue; } // 155 0 37
jaroslav@93
   631
    case 32: stack.push(arg1); // 27
jaroslav@93
   632
    case 33: if (stack.pop() < 0) { gt = 66; continue; } // 155 0 33
jaroslav@93
   633
    case 36: stack.push(arg1); // 27
jaroslav@93
   634
    case 37: // number conversion  // 133
jaroslav@93
   635
    case 38: stack.push(arg0); // 42
jaroslav@93
   636
    case 39: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   637
    case 42: // number conversion  // 133
jaroslav@93
   638
    case 43: stack.push(arg4); // 21 4
jaroslav@93
   639
    case 45: // number conversion  // 133
jaroslav@93
   640
    case 46: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101
jaroslav@93
   641
    case 47: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148
jaroslav@93
   642
    case 48: if (stack.pop() > 0) { gt = 66; continue; } // 157 0 18
jaroslav@93
   643
    case 51: stack.push(arg3); // 29
jaroslav@93
   644
    case 52: // number conversion  // 133
jaroslav@93
   645
    case 53: stack.push(arg2); // 44
jaroslav@93
   646
    case 54: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   647
    case 57: // number conversion  // 133
jaroslav@93
   648
    case 58: stack.push(arg4); // 21 4
jaroslav@93
   649
    case 60: // number conversion  // 133
jaroslav@93
   650
    case 61: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101
jaroslav@93
   651
    case 62: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148
jaroslav@93
   652
    case 63: if (stack.pop() <= 0) { gt = 68; continue; } // 158 0 5
jaroslav@93
   653
    case 66: stack.push(0); // 3
jaroslav@93
   654
    case 67: return stack.pop(); // 172
jaroslav@93
   655
    case 68: stack.push(arg4); // 21 4
jaroslav@93
   656
    case 70: arg4 += 255; // 132 4 255
jaroslav@93
   657
    case 73: if (stack.pop() <= 0) { gt = 97; continue; } // 158 0 24
jaroslav@93
   658
    case 76: stack.push(arg5); // 25 5
jaroslav@93
   659
    case 78: stack.push(arg6); // 21 6
jaroslav@93
   660
    case 80: arg6++; // 132 6 1
jaroslav@93
   661
    case 83: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   662
    case 84: stack.push(arg7); // 25 7
jaroslav@93
   663
    case 86: stack.push(arg8); // 21 8
jaroslav@93
   664
    case 88: arg8++; // 132 8 1
jaroslav@93
   665
    case 91: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   666
    case 92: if (stack.pop() == stack.pop()) { gt = 68; continue; } // 159 255 232
jaroslav@93
   667
    case 95: stack.push(0); // 3
jaroslav@93
   668
    case 96: return stack.pop(); // 172
jaroslav@93
   669
    case 97: stack.push(1); // 4
jaroslav@93
   670
    case 98: return stack.pop(); // 172
jaroslav@93
   671
  }
jaroslav@93
   672
}
jaroslav@93
   673
function java_lang_String_regionMatchesZZILjava_lang_StringII(arg0,arg1,arg2,arg3,arg4,arg5) {
jaroslav@93
   674
  var arg6;
jaroslav@93
   675
  var arg7;
jaroslav@93
   676
  var arg8;
jaroslav@93
   677
  var arg9;
jaroslav@93
   678
  var arg10;
jaroslav@93
   679
  var arg11;
jaroslav@93
   680
  var arg12;
jaroslav@93
   681
  var arg13;
jaroslav@93
   682
  var arg14;
jaroslav@93
   683
;
jaroslav@93
   684
  var stack = new Array(6);
jaroslav@93
   685
  var gt = 0;
jaroslav@93
   686
  for(;;) switch(gt) {
jaroslav@93
   687
    case 0: stack.push(arg0); // 42
jaroslav@93
   688
    case 1: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   689
    case 4: arg6 = stack.pop() // 58 6
jaroslav@93
   690
    case 6: stack.push(arg0); // 42
jaroslav@93
   691
    case 7: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   692
    case 10: stack.push(arg2); // 28
jaroslav@93
   693
    case 11: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   694
    case 12: arg7 = stack.pop() // 54 7
jaroslav@93
   695
    case 14: stack.push(arg3); // 45
jaroslav@93
   696
    case 15: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   697
    case 18: arg8 = stack.pop() // 58 8
jaroslav@93
   698
    case 20: stack.push(arg3); // 45
jaroslav@93
   699
    case 21: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   700
    case 24: stack.push(arg4); // 21 4
jaroslav@93
   701
    case 26: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   702
    case 27: arg9 = stack.pop() // 54 9
jaroslav@93
   703
    case 29: stack.push(arg4); // 21 4
jaroslav@93
   704
    case 31: if (stack.pop() < 0) { gt = 69; continue; } // 155 0 38
jaroslav@93
   705
    case 34: stack.push(arg2); // 28
jaroslav@93
   706
    case 35: if (stack.pop() < 0) { gt = 69; continue; } // 155 0 34
jaroslav@93
   707
    case 38: stack.push(arg2); // 28
jaroslav@93
   708
    case 39: // number conversion  // 133
jaroslav@93
   709
    case 40: stack.push(arg0); // 42
jaroslav@93
   710
    case 41: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   711
    case 44: // number conversion  // 133
jaroslav@93
   712
    case 45: stack.push(arg5); // 21 5
jaroslav@93
   713
    case 47: // number conversion  // 133
jaroslav@93
   714
    case 48: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101
jaroslav@93
   715
    case 49: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148
jaroslav@93
   716
    case 50: if (stack.pop() > 0) { gt = 69; continue; } // 157 0 19
jaroslav@93
   717
    case 53: stack.push(arg4); // 21 4
jaroslav@93
   718
    case 55: // number conversion  // 133
jaroslav@93
   719
    case 56: stack.push(arg3); // 45
jaroslav@93
   720
    case 57: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   721
    case 60: // number conversion  // 133
jaroslav@93
   722
    case 61: stack.push(arg5); // 21 5
jaroslav@93
   723
    case 63: // number conversion  // 133
jaroslav@93
   724
    case 64: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 101
jaroslav@93
   725
    case 65: { var delta = stack.pop() - stack.pop(); stack.push(delta < 0 ?-1 : (delta == 0 ? 0 : 1)); } // 148
jaroslav@93
   726
    case 66: if (stack.pop() <= 0) { gt = 71; continue; } // 158 0 5
jaroslav@93
   727
    case 69: stack.push(0); // 3
jaroslav@93
   728
    case 70: return stack.pop(); // 172
jaroslav@93
   729
    case 71: stack.push(arg5); // 21 5
jaroslav@93
   730
    case 73: arg5 += 255; // 132 5 255
jaroslav@93
   731
    case 76: if (stack.pop() <= 0) { gt = 155; continue; } // 158 0 79
jaroslav@93
   732
    case 79: stack.push(arg6); // 25 6
jaroslav@93
   733
    case 81: stack.push(arg7); // 21 7
jaroslav@93
   734
    case 83: arg7++; // 132 7 1
jaroslav@93
   735
    case 86: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   736
    case 87: arg10 = stack.pop() // 54 10
jaroslav@93
   737
    case 89: stack.push(arg8); // 25 8
jaroslav@93
   738
    case 91: stack.push(arg9); // 21 9
jaroslav@93
   739
    case 93: arg9++; // 132 9 1
jaroslav@93
   740
    case 96: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   741
    case 97: arg11 = stack.pop() // 54 11
jaroslav@93
   742
    case 99: stack.push(arg10); // 21 10
jaroslav@93
   743
    case 101: stack.push(arg11); // 21 11
jaroslav@93
   744
    case 103: if (stack.pop() != stack.pop()) { gt = 109; continue; } // 160 0 6
jaroslav@93
   745
    case 106: gt = 71; continue; // 167 255 221
jaroslav@93
   746
    case 109: stack.push(arg1); // 27
jaroslav@93
   747
    case 110: if (stack.pop() == 0) { gt = 153; continue; } // 153 0 43
jaroslav@93
   748
    case 113: stack.push(arg10); // 21 10
jaroslav@93
   749
    case 115: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseCC(v0)); } // 184 1 105
jaroslav@93
   750
    case 118: arg12 = stack.pop() // 54 12
jaroslav@93
   751
    case 120: stack.push(arg11); // 21 11
jaroslav@93
   752
    case 122: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseCC(v0)); } // 184 1 105
jaroslav@93
   753
    case 125: arg13 = stack.pop() // 54 13
jaroslav@93
   754
    case 127: stack.push(arg12); // 21 12
jaroslav@93
   755
    case 129: stack.push(arg13); // 21 13
jaroslav@93
   756
    case 131: if (stack.pop() != stack.pop()) { gt = 137; continue; } // 160 0 6
jaroslav@93
   757
    case 134: gt = 71; continue; // 167 255 193
jaroslav@93
   758
    case 137: stack.push(arg12); // 21 12
jaroslav@93
   759
    case 139: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseCC(v0)); } // 184 1 104
jaroslav@93
   760
    case 142: stack.push(arg13); // 21 13
jaroslav@93
   761
    case 144: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseCC(v0)); } // 184 1 104
jaroslav@93
   762
    case 147: if (stack.pop() != stack.pop()) { gt = 153; continue; } // 160 0 6
jaroslav@93
   763
    case 150: gt = 71; continue; // 167 255 177
jaroslav@93
   764
    case 153: stack.push(0); // 3
jaroslav@93
   765
    case 154: return stack.pop(); // 172
jaroslav@93
   766
    case 155: stack.push(1); // 4
jaroslav@93
   767
    case 156: return stack.pop(); // 172
jaroslav@93
   768
  }
jaroslav@93
   769
}
jaroslav@93
   770
function java_lang_String_startsWithZLjava_lang_StringI(arg0,arg1,arg2) {
jaroslav@93
   771
  var arg3;
jaroslav@93
   772
  var arg4;
jaroslav@93
   773
  var arg5;
jaroslav@93
   774
  var arg6;
jaroslav@93
   775
  var arg7;
jaroslav@93
   776
  var arg8;
jaroslav@93
   777
;
jaroslav@93
   778
  var stack = new Array(3);
jaroslav@93
   779
  var gt = 0;
jaroslav@93
   780
  for(;;) switch(gt) {
jaroslav@93
   781
    case 0: stack.push(arg0); // 42
jaroslav@93
   782
    case 1: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   783
    case 4: arg3 = stack.pop(); // 78
jaroslav@93
   784
    case 5: stack.push(arg0); // 42
jaroslav@93
   785
    case 6: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   786
    case 9: stack.push(arg2); // 28
jaroslav@93
   787
    case 10: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   788
    case 11: arg4 = stack.pop() // 54 4
jaroslav@93
   789
    case 13: stack.push(arg1); // 43
jaroslav@93
   790
    case 14: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   791
    case 17: arg5 = stack.pop() // 58 5
jaroslav@93
   792
    case 19: stack.push(arg1); // 43
jaroslav@93
   793
    case 20: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   794
    case 23: arg6 = stack.pop() // 54 6
jaroslav@93
   795
    case 25: stack.push(arg1); // 43
jaroslav@93
   796
    case 26: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   797
    case 29: arg7 = stack.pop() // 54 7
jaroslav@93
   798
    case 31: stack.push(arg2); // 28
jaroslav@93
   799
    case 32: if (stack.pop() < 0) { gt = 46; continue; } // 155 0 14
jaroslav@93
   800
    case 35: stack.push(arg2); // 28
jaroslav@93
   801
    case 36: stack.push(arg0); // 42
jaroslav@93
   802
    case 37: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   803
    case 40: stack.push(arg7); // 21 7
jaroslav@93
   804
    case 42: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   805
    case 43: if (stack.pop() >= stack.pop()) { gt = 48; continue; } // 164 0 5
jaroslav@93
   806
    case 46: stack.push(0); // 3
jaroslav@93
   807
    case 47: return stack.pop(); // 172
jaroslav@93
   808
    case 48: arg7 += 255; // 132 7 255
jaroslav@93
   809
    case 51: stack.push(arg7); // 21 7
jaroslav@93
   810
    case 53: if (stack.pop() < 0) { gt = 76; continue; } // 155 0 23
jaroslav@93
   811
    case 56: stack.push(arg3); // 45
jaroslav@93
   812
    case 57: stack.push(arg4); // 21 4
jaroslav@93
   813
    case 59: arg4++; // 132 4 1
jaroslav@93
   814
    case 62: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   815
    case 63: stack.push(arg5); // 25 5
jaroslav@93
   816
    case 65: stack.push(arg6); // 21 6
jaroslav@93
   817
    case 67: arg6++; // 132 6 1
jaroslav@93
   818
    case 70: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   819
    case 71: if (stack.pop() == stack.pop()) { gt = 48; continue; } // 159 255 233
jaroslav@93
   820
    case 74: stack.push(0); // 3
jaroslav@93
   821
    case 75: return stack.pop(); // 172
jaroslav@93
   822
    case 76: stack.push(1); // 4
jaroslav@93
   823
    case 77: return stack.pop(); // 172
jaroslav@93
   824
  }
jaroslav@93
   825
}
jaroslav@93
   826
function java_lang_String_startsWithZLjava_lang_String(arg0,arg1) {
jaroslav@93
   827
  var arg2;
jaroslav@93
   828
;
jaroslav@93
   829
  var stack = new Array(3);
jaroslav@93
   830
  var gt = 0;
jaroslav@93
   831
  for(;;) switch(gt) {
jaroslav@93
   832
    case 0: stack.push(arg0); // 42
jaroslav@93
   833
    case 1: stack.push(arg1); // 43
jaroslav@93
   834
    case 2: stack.push(0); // 3
jaroslav@93
   835
    case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.startsWithZLjava_lang_StringI(self, v0, v1)); } // 182 1 152
jaroslav@93
   836
    case 6: return stack.pop(); // 172
jaroslav@93
   837
  }
jaroslav@93
   838
}
jaroslav@93
   839
function java_lang_String_endsWithZLjava_lang_String(arg0,arg1) {
jaroslav@93
   840
  var arg2;
jaroslav@93
   841
;
jaroslav@93
   842
  var stack = new Array(4);
jaroslav@93
   843
  var gt = 0;
jaroslav@93
   844
  for(;;) switch(gt) {
jaroslav@93
   845
    case 0: stack.push(arg0); // 42
jaroslav@93
   846
    case 1: stack.push(arg1); // 43
jaroslav@93
   847
    case 2: stack.push(arg0); // 42
jaroslav@93
   848
    case 3: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   849
    case 6: stack.push(arg1); // 43
jaroslav@93
   850
    case 7: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   851
    case 10: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   852
    case 11: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.startsWithZLjava_lang_StringI(self, v0, v1)); } // 182 1 152
jaroslav@93
   853
    case 14: return stack.pop(); // 172
jaroslav@93
   854
  }
jaroslav@93
   855
}
jaroslav@93
   856
function java_lang_String_hashCodeI(arg0) {
jaroslav@93
   857
  var arg1;
jaroslav@93
   858
  var arg2;
jaroslav@93
   859
  var arg3;
jaroslav@93
   860
  var arg4;
jaroslav@93
   861
  var arg5;
jaroslav@93
   862
  var arg6;
jaroslav@93
   863
;
jaroslav@93
   864
  var stack = new Array(3);
jaroslav@93
   865
  var gt = 0;
jaroslav@93
   866
  for(;;) switch(gt) {
jaroslav@93
   867
    case 0: stack.push(arg0); // 42
jaroslav@93
   868
    case 1: stack.push(stack.pop().hash); // 180 1 98
jaroslav@93
   869
    case 4: arg1 = stack.pop(); // 60
jaroslav@93
   870
    case 5: stack.push(arg0); // 42
jaroslav@93
   871
    case 6: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   872
    case 9: arg2 = stack.pop(); // 61
jaroslav@93
   873
    case 10: stack.push(arg1); // 27
jaroslav@93
   874
    case 11: if (stack.pop() != 0) { gt = 62; continue; } // 154 0 51
jaroslav@93
   875
    case 14: stack.push(arg2); // 28
jaroslav@93
   876
    case 15: if (stack.pop() <= 0) { gt = 62; continue; } // 158 0 47
jaroslav@93
   877
    case 18: stack.push(arg0); // 42
jaroslav@93
   878
    case 19: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   879
    case 22: arg3 = stack.pop(); // 62
jaroslav@93
   880
    case 23: stack.push(arg0); // 42
jaroslav@93
   881
    case 24: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   882
    case 27: arg4 = stack.pop() // 58 4
jaroslav@93
   883
    case 29: stack.push(0); // 3
jaroslav@93
   884
    case 30: arg5 = stack.pop() // 54 5
jaroslav@93
   885
    case 32: stack.push(arg5); // 21 5
jaroslav@93
   886
    case 34: stack.push(arg2); // 28
jaroslav@93
   887
    case 35: if (stack.pop() <= stack.pop()) { gt = 57; continue; } // 162 0 22
jaroslav@93
   888
    case 38: stack.push(31); // 16 31
jaroslav@93
   889
    case 40: stack.push(arg1); // 27
jaroslav@93
   890
    case 41: stack.push(stack.pop() * stack.pop()); // 104
jaroslav@93
   891
    case 42: stack.push(arg4); // 25 4
jaroslav@93
   892
    case 44: stack.push(arg3); // 29
jaroslav@93
   893
    case 45: arg3++; // 132 3 1
jaroslav@93
   894
    case 48: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   895
    case 49: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   896
    case 50: arg1 = stack.pop(); // 60
jaroslav@93
   897
    case 51: arg5++; // 132 5 1
jaroslav@93
   898
    case 54: gt = 32; continue; // 167 255 234
jaroslav@93
   899
    case 57: stack.push(arg0); // 42
jaroslav@93
   900
    case 58: stack.push(arg1); // 27
jaroslav@93
   901
    case 59: { var v = stack.pop(); stack.pop().hash = v; } // 181 1 98
jaroslav@93
   902
    case 62: stack.push(arg1); // 27
jaroslav@93
   903
    case 63: return stack.pop(); // 172
jaroslav@93
   904
  }
jaroslav@93
   905
}
jaroslav@93
   906
function java_lang_String_lastIndexOfII(arg0,arg1) {
jaroslav@93
   907
  var arg2;
jaroslav@93
   908
;
jaroslav@93
   909
  var stack = new Array(4);
jaroslav@93
   910
  var gt = 0;
jaroslav@93
   911
  for(;;) switch(gt) {
jaroslav@93
   912
    case 0: stack.push(arg0); // 42
jaroslav@93
   913
    case 1: stack.push(arg1); // 27
jaroslav@93
   914
    case 2: stack.push(arg0); // 42
jaroslav@93
   915
    case 3: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   916
    case 6: stack.push(1); // 4
jaroslav@93
   917
    case 7: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   918
    case 8: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.lastIndexOfIII(self, v0, v1)); } // 182 1 136
jaroslav@93
   919
    case 11: return stack.pop(); // 172
jaroslav@93
   920
  }
jaroslav@93
   921
}
jaroslav@93
   922
function java_lang_String_lastIndexOfIII(arg0,arg1,arg2) {
jaroslav@93
   923
  var arg3;
jaroslav@93
   924
  var arg4;
jaroslav@93
   925
  var arg5;
jaroslav@93
   926
  var arg6;
jaroslav@93
   927
  var arg7;
jaroslav@93
   928
  var arg8;
jaroslav@93
   929
;
jaroslav@93
   930
  var stack = new Array(3);
jaroslav@93
   931
  var gt = 0;
jaroslav@93
   932
  for(;;) switch(gt) {
jaroslav@93
   933
    case 0: stack.push(arg0); // 42
jaroslav@93
   934
    case 1: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   935
    case 4: arg3 = stack.pop(); // 62
jaroslav@93
   936
    case 5: stack.push(arg0); // 42
jaroslav@93
   937
    case 6: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
   938
    case 9: arg4 = stack.pop() // 58 4
jaroslav@93
   939
    case 11: stack.push(arg0); // 42
jaroslav@93
   940
    case 12: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   941
    case 15: stack.push(arg2); // 28
jaroslav@93
   942
    case 16: stack.push(arg0); // 42
jaroslav@93
   943
    case 17: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   944
    case 20: if (stack.pop() > stack.pop()) { gt = 32; continue; } // 161 0 12
jaroslav@93
   945
    case 23: stack.push(arg0); // 42
jaroslav@93
   946
    case 24: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   947
    case 27: stack.push(1); // 4
jaroslav@93
   948
    case 28: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   949
    case 29: gt = 33; continue; // 167 0 4
jaroslav@93
   950
    case 32: stack.push(arg2); // 28
jaroslav@93
   951
    case 33: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   952
    case 34: arg5 = stack.pop() // 54 5
jaroslav@93
   953
    case 36: stack.push(arg1); // 27
jaroslav@93
   954
    case 37: stack.push(65536); // 18 3
jaroslav@93
   955
    case 39: if (stack.pop() <= stack.pop()) { gt = 73; continue; } // 162 0 34
jaroslav@93
   956
    case 42: stack.push(arg5); // 21 5
jaroslav@93
   957
    case 44: stack.push(arg3); // 29
jaroslav@93
   958
    case 45: if (stack.pop() > stack.pop()) { gt = 71; continue; } // 161 0 26
jaroslav@93
   959
    case 48: stack.push(arg4); // 25 4
jaroslav@93
   960
    case 50: stack.push(arg5); // 21 5
jaroslav@93
   961
    case 52: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   962
    case 53: stack.push(arg1); // 27
jaroslav@93
   963
    case 54: if (stack.pop() != stack.pop()) { gt = 65; continue; } // 160 0 11
jaroslav@93
   964
    case 57: stack.push(arg5); // 21 5
jaroslav@93
   965
    case 59: stack.push(arg0); // 42
jaroslav@93
   966
    case 60: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   967
    case 63: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
   968
    case 64: return stack.pop(); // 172
jaroslav@93
   969
    case 65: arg5 += 255; // 132 5 255
jaroslav@93
   970
    case 68: gt = 42; continue; // 167 255 230
jaroslav@93
   971
    case 71:  // 2
jaroslav@93
   972
    case 72: return stack.pop(); // 172
jaroslav@93
   973
    case 73: stack.push(arg0); // 42
jaroslav@93
   974
    case 74: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
   975
    case 77: stack.push(arg0); // 42
jaroslav@93
   976
    case 78: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
   977
    case 81: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   978
    case 82: arg6 = stack.pop() // 54 6
jaroslav@93
   979
    case 84: stack.push(arg1); // 27
jaroslav@93
   980
    case 85: stack.push(1114111); // 18 4
jaroslav@93
   981
    case 87: if (stack.pop() < stack.pop()) { gt = 154; continue; } // 163 0 67
jaroslav@93
   982
    case 90: stack.push(arg1); // 27
jaroslav@93
   983
    case 91: { var v0 = stack.pop(); stack.push(java_lang_Character_toCharsACI(v0)); } // 184 1 109
jaroslav@93
   984
    case 94: arg7 = stack.pop() // 58 7
jaroslav@93
   985
    case 96: stack.push(arg5); // 21 5
jaroslav@93
   986
    case 98: stack.push(arg3); // 29
jaroslav@93
   987
    case 99: if (stack.pop() > stack.pop()) { gt = 154; continue; } // 161 0 55
jaroslav@93
   988
    case 102: stack.push(arg4); // 25 4
jaroslav@93
   989
    case 104: stack.push(arg5); // 21 5
jaroslav@93
   990
    case 106: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   991
    case 107: stack.push(arg7); // 25 7
jaroslav@93
   992
    case 109: stack.push(0); // 3
jaroslav@93
   993
    case 110: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
   994
    case 111: if (stack.pop() != stack.pop()) { gt = 148; continue; } // 160 0 37
jaroslav@93
   995
    case 114: stack.push(arg5); // 21 5
jaroslav@93
   996
    case 116: stack.push(1); // 4
jaroslav@93
   997
    case 117: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
   998
    case 118: stack.push(arg6); // 21 6
jaroslav@93
   999
    case 120: if (stack.pop() != stack.pop()) { gt = 126; continue; } // 160 0 6
jaroslav@93
  1000
    case 123: gt = 154; continue; // 167 0 31
jaroslav@93
  1001
    case 126: stack.push(arg4); // 25 4
jaroslav@93
  1002
    case 128: stack.push(arg5); // 21 5
jaroslav@93
  1003
    case 130: stack.push(1); // 4
jaroslav@93
  1004
    case 131: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1005
    case 132: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1006
    case 133: stack.push(arg7); // 25 7
jaroslav@93
  1007
    case 135: stack.push(1); // 4
jaroslav@93
  1008
    case 136: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1009
    case 137: if (stack.pop() != stack.pop()) { gt = 148; continue; } // 160 0 11
jaroslav@93
  1010
    case 140: stack.push(arg5); // 21 5
jaroslav@93
  1011
    case 142: stack.push(arg0); // 42
jaroslav@93
  1012
    case 143: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  1013
    case 146: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1014
    case 147: return stack.pop(); // 172
jaroslav@93
  1015
    case 148: arg5 += 255; // 132 5 255
jaroslav@93
  1016
    case 151: gt = 96; continue; // 167 255 201
jaroslav@93
  1017
    case 154:  // 2
jaroslav@93
  1018
    case 155: return stack.pop(); // 172
jaroslav@93
  1019
  }
jaroslav@93
  1020
}
jaroslav@93
  1021
function java_lang_String_indexOfILjava_lang_String(arg0,arg1) {
jaroslav@93
  1022
  var arg2;
jaroslav@93
  1023
;
jaroslav@93
  1024
  var stack = new Array(3);
jaroslav@93
  1025
  var gt = 0;
jaroslav@93
  1026
  for(;;) switch(gt) {
jaroslav@93
  1027
    case 0: stack.push(arg0); // 42
jaroslav@93
  1028
    case 1: stack.push(arg1); // 43
jaroslav@93
  1029
    case 2: stack.push(0); // 3
jaroslav@93
  1030
    case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.indexOfILjava_lang_StringI(self, v0, v1)); } // 182 1 150
jaroslav@93
  1031
    case 6: return stack.pop(); // 172
jaroslav@93
  1032
  }
jaroslav@93
  1033
}
jaroslav@93
  1034
function java_lang_String_indexOfILjava_lang_StringI(arg0,arg1,arg2) {
jaroslav@93
  1035
  var arg3;
jaroslav@93
  1036
;
jaroslav@93
  1037
  var stack = new Array(7);
jaroslav@93
  1038
  var gt = 0;
jaroslav@93
  1039
  for(;;) switch(gt) {
jaroslav@93
  1040
    case 0: stack.push(arg0); // 42
jaroslav@93
  1041
    case 1: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
  1042
    case 4: stack.push(arg0); // 42
jaroslav@93
  1043
    case 5: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  1044
    case 8: stack.push(arg0); // 42
jaroslav@93
  1045
    case 9: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1046
    case 12: stack.push(arg1); // 43
jaroslav@93
  1047
    case 13: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
  1048
    case 16: stack.push(arg1); // 43
jaroslav@93
  1049
    case 17: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  1050
    case 20: stack.push(arg1); // 43
jaroslav@93
  1051
    case 21: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1052
    case 24: stack.push(arg2); // 28
jaroslav@93
  1053
    case 25: { var v6 = stack.pop(); var v5 = stack.pop(); var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_String_indexOfAIACAIAIACAIAIAI(v0, v1, v2, v3, v4, v5, v6)); } // 184 1 144
jaroslav@93
  1054
    case 28: return stack.pop(); // 172
jaroslav@93
  1055
  }
jaroslav@93
  1056
}
jaroslav@93
  1057
function java_lang_String_indexOfIACIIACIII(arg0,arg1,arg2,arg3,arg4,arg5,arg6) {
jaroslav@93
  1058
  var arg7;
jaroslav@93
  1059
  var arg8;
jaroslav@93
  1060
  var arg9;
jaroslav@93
  1061
  var arg10;
jaroslav@93
  1062
  var arg11;
jaroslav@93
  1063
  var arg12;
jaroslav@93
  1064
  var stack = new Array();
jaroslav@93
  1065
  var gt = 0;
jaroslav@93
  1066
  for(;;) switch(gt) {
jaroslav@93
  1067
    case 0: stack.push(arg6); // 21 6
jaroslav@93
  1068
    case 2: stack.push(arg2); // 28
jaroslav@93
  1069
    case 3: if (stack.pop() > stack.pop()) { gt = 17; continue; } // 161 0 14
jaroslav@93
  1070
    case 6: stack.push(arg5); // 21 5
jaroslav@93
  1071
    case 8: if (stack.pop() != 0) { gt = 15; continue; } // 154 0 7
jaroslav@93
  1072
    case 11: stack.push(arg2); // 28
jaroslav@93
  1073
    case 12: gt = 16; continue; // 167 0 4
jaroslav@93
  1074
    case 15:  // 2
jaroslav@93
  1075
    case 16: return stack.pop(); // 172
jaroslav@93
  1076
    case 17: stack.push(arg6); // 21 6
jaroslav@93
  1077
    case 19: if (stack.pop() >= 0) { gt = 25; continue; } // 156 0 6
jaroslav@93
  1078
    case 22: stack.push(0); // 3
jaroslav@93
  1079
    case 23: arg6 = stack.pop() // 54 6
jaroslav@93
  1080
    case 25: stack.push(arg5); // 21 5
jaroslav@93
  1081
    case 27: if (stack.pop() != 0) { gt = 33; continue; } // 154 0 6
jaroslav@93
  1082
    case 30: stack.push(arg6); // 21 6
jaroslav@93
  1083
    case 32: return stack.pop(); // 172
jaroslav@93
  1084
    case 33: stack.push(arg3); // 45
jaroslav@93
  1085
    case 34: stack.push(arg4); // 21 4
jaroslav@93
  1086
    case 36: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1087
    case 37: arg7 = stack.pop() // 54 7
jaroslav@93
  1088
    case 39: stack.push(arg1); // 27
jaroslav@93
  1089
    case 40: stack.push(arg2); // 28
jaroslav@93
  1090
    case 41: stack.push(arg5); // 21 5
jaroslav@93
  1091
    case 43: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1092
    case 44: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1093
    case 45: arg8 = stack.pop() // 54 8
jaroslav@93
  1094
    case 47: stack.push(arg1); // 27
jaroslav@93
  1095
    case 48: stack.push(arg6); // 21 6
jaroslav@93
  1096
    case 50: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1097
    case 51: arg9 = stack.pop() // 54 9
jaroslav@93
  1098
    case 53: stack.push(arg9); // 21 9
jaroslav@93
  1099
    case 55: stack.push(arg8); // 21 8
jaroslav@93
  1100
    case 57: if (stack.pop() < stack.pop()) { gt = 164; continue; } // 163 0 107
jaroslav@93
  1101
    case 60: stack.push(arg0); // 42
jaroslav@93
  1102
    case 61: stack.push(arg9); // 21 9
jaroslav@93
  1103
    case 63: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1104
    case 64: stack.push(arg7); // 21 7
jaroslav@93
  1105
    case 66: if (stack.pop() == stack.pop()) { gt = 91; continue; } // 159 0 25
jaroslav@93
  1106
    case 69: arg9++; // 132 9 1
jaroslav@93
  1107
    case 72: stack.push(arg9); // 21 9
jaroslav@93
  1108
    case 74: stack.push(arg8); // 21 8
jaroslav@93
  1109
    case 76: if (stack.pop() < stack.pop()) { gt = 91; continue; } // 163 0 15
jaroslav@93
  1110
    case 79: stack.push(arg0); // 42
jaroslav@93
  1111
    case 80: stack.push(arg9); // 21 9
jaroslav@93
  1112
    case 82: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1113
    case 83: stack.push(arg7); // 21 7
jaroslav@93
  1114
    case 85: if (stack.pop() == stack.pop()) { gt = 91; continue; } // 159 0 6
jaroslav@93
  1115
    case 88: gt = 69; continue; // 167 255 237
jaroslav@93
  1116
    case 91: stack.push(arg9); // 21 9
jaroslav@93
  1117
    case 93: stack.push(arg8); // 21 8
jaroslav@93
  1118
    case 95: if (stack.pop() < stack.pop()) { gt = 158; continue; } // 163 0 63
jaroslav@93
  1119
    case 98: stack.push(arg9); // 21 9
jaroslav@93
  1120
    case 100: stack.push(1); // 4
jaroslav@93
  1121
    case 101: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1122
    case 102: arg10 = stack.pop() // 54 10
jaroslav@93
  1123
    case 104: stack.push(arg10); // 21 10
jaroslav@93
  1124
    case 106: stack.push(arg5); // 21 5
jaroslav@93
  1125
    case 108: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1126
    case 109: stack.push(1); // 4
jaroslav@93
  1127
    case 110: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1128
    case 111: arg11 = stack.pop() // 54 11
jaroslav@93
  1129
    case 113: stack.push(arg4); // 21 4
jaroslav@93
  1130
    case 115: stack.push(1); // 4
jaroslav@93
  1131
    case 116: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1132
    case 117: arg12 = stack.pop() // 54 12
jaroslav@93
  1133
    case 119: stack.push(arg10); // 21 10
jaroslav@93
  1134
    case 121: stack.push(arg11); // 21 11
jaroslav@93
  1135
    case 123: if (stack.pop() <= stack.pop()) { gt = 146; continue; } // 162 0 23
jaroslav@93
  1136
    case 126: stack.push(arg0); // 42
jaroslav@93
  1137
    case 127: stack.push(arg10); // 21 10
jaroslav@93
  1138
    case 129: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1139
    case 130: stack.push(arg3); // 45
jaroslav@93
  1140
    case 131: stack.push(arg12); // 21 12
jaroslav@93
  1141
    case 133: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1142
    case 134: if (stack.pop() != stack.pop()) { gt = 146; continue; } // 160 0 12
jaroslav@93
  1143
    case 137: arg10++; // 132 10 1
jaroslav@93
  1144
    case 140: arg12++; // 132 12 1
jaroslav@93
  1145
    case 143: gt = 119; continue; // 167 255 232
jaroslav@93
  1146
    case 146: stack.push(arg10); // 21 10
jaroslav@93
  1147
    case 148: stack.push(arg11); // 21 11
jaroslav@93
  1148
    case 150: if (stack.pop() != stack.pop()) { gt = 158; continue; } // 160 0 8
jaroslav@93
  1149
    case 153: stack.push(arg9); // 21 9
jaroslav@93
  1150
    case 155: stack.push(arg1); // 27
jaroslav@93
  1151
    case 156: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1152
    case 157: return stack.pop(); // 172
jaroslav@93
  1153
    case 158: arg9++; // 132 9 1
jaroslav@93
  1154
    case 161: gt = 53; continue; // 167 255 148
jaroslav@93
  1155
    case 164:  // 2
jaroslav@93
  1156
    case 165: return stack.pop(); // 172
jaroslav@93
  1157
  }
jaroslav@93
  1158
}
jaroslav@93
  1159
function java_lang_String_lastIndexOfILjava_lang_String(arg0,arg1) {
jaroslav@93
  1160
  var arg2;
jaroslav@93
  1161
;
jaroslav@93
  1162
  var stack = new Array(3);
jaroslav@93
  1163
  var gt = 0;
jaroslav@93
  1164
  for(;;) switch(gt) {
jaroslav@93
  1165
    case 0: stack.push(arg0); // 42
jaroslav@93
  1166
    case 1: stack.push(arg1); // 43
jaroslav@93
  1167
    case 2: stack.push(arg0); // 42
jaroslav@93
  1168
    case 3: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1169
    case 6: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.lastIndexOfILjava_lang_StringI(self, v0, v1)); } // 182 1 151
jaroslav@93
  1170
    case 9: return stack.pop(); // 172
jaroslav@93
  1171
  }
jaroslav@93
  1172
}
jaroslav@93
  1173
function java_lang_String_lastIndexOfILjava_lang_StringI(arg0,arg1,arg2) {
jaroslav@93
  1174
  var arg3;
jaroslav@93
  1175
;
jaroslav@93
  1176
  var stack = new Array(7);
jaroslav@93
  1177
  var gt = 0;
jaroslav@93
  1178
  for(;;) switch(gt) {
jaroslav@93
  1179
    case 0: stack.push(arg0); // 42
jaroslav@93
  1180
    case 1: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
  1181
    case 4: stack.push(arg0); // 42
jaroslav@93
  1182
    case 5: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  1183
    case 8: stack.push(arg0); // 42
jaroslav@93
  1184
    case 9: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1185
    case 12: stack.push(arg1); // 43
jaroslav@93
  1186
    case 13: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
  1187
    case 16: stack.push(arg1); // 43
jaroslav@93
  1188
    case 17: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  1189
    case 20: stack.push(arg1); // 43
jaroslav@93
  1190
    case 21: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1191
    case 24: stack.push(arg2); // 28
jaroslav@93
  1192
    case 25: { var v6 = stack.pop(); var v5 = stack.pop(); var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_String_lastIndexOfAIACAIAIACAIAIAI(v0, v1, v2, v3, v4, v5, v6)); } // 184 1 145
jaroslav@93
  1193
    case 28: return stack.pop(); // 172
jaroslav@93
  1194
  }
jaroslav@93
  1195
}
jaroslav@93
  1196
function java_lang_String_lastIndexOfIACIIACIII(arg0,arg1,arg2,arg3,arg4,arg5,arg6) {
jaroslav@93
  1197
  var arg7;
jaroslav@93
  1198
  var arg8;
jaroslav@93
  1199
  var arg9;
jaroslav@93
  1200
  var arg10;
jaroslav@93
  1201
  var arg11;
jaroslav@93
  1202
  var arg12;
jaroslav@93
  1203
  var arg13;
jaroslav@93
  1204
  var arg14;
jaroslav@93
  1205
  var stack = new Array();
jaroslav@93
  1206
  var gt = 0;
jaroslav@93
  1207
  for(;;) switch(gt) {
jaroslav@93
  1208
    case 0: stack.push(arg2); // 28
jaroslav@93
  1209
    case 1: stack.push(arg5); // 21 5
jaroslav@93
  1210
    case 3: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1211
    case 4: arg7 = stack.pop() // 54 7
jaroslav@93
  1212
    case 6: stack.push(arg6); // 21 6
jaroslav@93
  1213
    case 8: if (stack.pop() >= 0) { gt = 13; continue; } // 156 0 5
jaroslav@93
  1214
    case 11:  // 2
jaroslav@93
  1215
    case 12: return stack.pop(); // 172
jaroslav@93
  1216
    case 13: stack.push(arg6); // 21 6
jaroslav@93
  1217
    case 15: stack.push(arg7); // 21 7
jaroslav@93
  1218
    case 17: if (stack.pop() >= stack.pop()) { gt = 24; continue; } // 164 0 7
jaroslav@93
  1219
    case 20: stack.push(arg7); // 21 7
jaroslav@93
  1220
    case 22: arg6 = stack.pop() // 54 6
jaroslav@93
  1221
    case 24: stack.push(arg5); // 21 5
jaroslav@93
  1222
    case 26: if (stack.pop() != 0) { gt = 32; continue; } // 154 0 6
jaroslav@93
  1223
    case 29: stack.push(arg6); // 21 6
jaroslav@93
  1224
    case 31: return stack.pop(); // 172
jaroslav@93
  1225
    case 32: stack.push(arg4); // 21 4
jaroslav@93
  1226
    case 34: stack.push(arg5); // 21 5
jaroslav@93
  1227
    case 36: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1228
    case 37: stack.push(1); // 4
jaroslav@93
  1229
    case 38: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1230
    case 39: arg8 = stack.pop() // 54 8
jaroslav@93
  1231
    case 41: stack.push(arg3); // 45
jaroslav@93
  1232
    case 42: stack.push(arg8); // 21 8
jaroslav@93
  1233
    case 44: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1234
    case 45: arg9 = stack.pop() // 54 9
jaroslav@93
  1235
    case 47: stack.push(arg1); // 27
jaroslav@93
  1236
    case 48: stack.push(arg5); // 21 5
jaroslav@93
  1237
    case 50: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1238
    case 51: stack.push(1); // 4
jaroslav@93
  1239
    case 52: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1240
    case 53: arg10 = stack.pop() // 54 10
jaroslav@93
  1241
    case 55: stack.push(arg10); // 21 10
jaroslav@93
  1242
    case 57: stack.push(arg6); // 21 6
jaroslav@93
  1243
    case 59: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1244
    case 60: arg11 = stack.pop() // 54 11
jaroslav@93
  1245
    case 62: stack.push(arg11); // 21 11
jaroslav@93
  1246
    case 64: stack.push(arg10); // 21 10
jaroslav@93
  1247
    case 66: if (stack.pop() > stack.pop()) { gt = 84; continue; } // 161 0 18
jaroslav@93
  1248
    case 69: stack.push(arg0); // 42
jaroslav@93
  1249
    case 70: stack.push(arg11); // 21 11
jaroslav@93
  1250
    case 72: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1251
    case 73: stack.push(arg9); // 21 9
jaroslav@93
  1252
    case 75: if (stack.pop() == stack.pop()) { gt = 84; continue; } // 159 0 9
jaroslav@93
  1253
    case 78: arg11 += 255; // 132 11 255
jaroslav@93
  1254
    case 81: gt = 62; continue; // 167 255 237
jaroslav@93
  1255
    case 84: stack.push(arg11); // 21 11
jaroslav@93
  1256
    case 86: stack.push(arg10); // 21 10
jaroslav@93
  1257
    case 88: if (stack.pop() <= stack.pop()) { gt = 93; continue; } // 162 0 5
jaroslav@93
  1258
    case 91:  // 2
jaroslav@93
  1259
    case 92: return stack.pop(); // 172
jaroslav@93
  1260
    case 93: stack.push(arg11); // 21 11
jaroslav@93
  1261
    case 95: stack.push(1); // 4
jaroslav@93
  1262
    case 96: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1263
    case 97: arg12 = stack.pop() // 54 12
jaroslav@93
  1264
    case 99: stack.push(arg12); // 21 12
jaroslav@93
  1265
    case 101: stack.push(arg5); // 21 5
jaroslav@93
  1266
    case 103: stack.push(1); // 4
jaroslav@93
  1267
    case 104: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1268
    case 105: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1269
    case 106: arg13 = stack.pop() // 54 13
jaroslav@93
  1270
    case 108: stack.push(arg8); // 21 8
jaroslav@93
  1271
    case 110: stack.push(1); // 4
jaroslav@93
  1272
    case 111: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1273
    case 112: arg14 = stack.pop() // 54 14
jaroslav@93
  1274
    case 114: stack.push(arg12); // 21 12
jaroslav@93
  1275
    case 116: stack.push(arg13); // 21 13
jaroslav@93
  1276
    case 118: if (stack.pop() >= stack.pop()) { gt = 144; continue; } // 164 0 26
jaroslav@93
  1277
    case 121: stack.push(arg0); // 42
jaroslav@93
  1278
    case 122: stack.push(arg12); // 21 12
jaroslav@93
  1279
    case 124: arg12 += 255; // 132 12 255
jaroslav@93
  1280
    case 127: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1281
    case 128: stack.push(arg3); // 45
jaroslav@93
  1282
    case 129: stack.push(arg14); // 21 14
jaroslav@93
  1283
    case 131: arg14 += 255; // 132 14 255
jaroslav@93
  1284
    case 134: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1285
    case 135: if (stack.pop() == stack.pop()) { gt = 114; continue; } // 159 255 235
jaroslav@93
  1286
    case 138: arg11 += 255; // 132 11 255
jaroslav@93
  1287
    case 141: gt = 62; continue; // 167 255 177
jaroslav@93
  1288
    case 144: stack.push(arg13); // 21 13
jaroslav@93
  1289
    case 146: stack.push(arg1); // 27
jaroslav@93
  1290
    case 147: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1291
    case 148: stack.push(1); // 4
jaroslav@93
  1292
    case 149: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1293
    case 150: return stack.pop(); // 172
jaroslav@93
  1294
  }
jaroslav@93
  1295
}
jaroslav@116
  1296
*/
jaroslav@93
  1297
function java_lang_String_substringLjava_lang_StringI(arg0,arg1) {
jaroslav@116
  1298
    return arg0.toString().substring(arg1);
jaroslav@93
  1299
}
jaroslav@93
  1300
function java_lang_String_substringLjava_lang_StringII(arg0,arg1,arg2) {
jaroslav@116
  1301
    return arg0.toString().substring(arg1, arg2);
jaroslav@93
  1302
}
jaroslav@170
  1303
jaroslav@170
  1304
function java_lang_String_replaceLjava_lang_StringCC(arg0,arg1,arg2) {
jaroslav@183
  1305
    if (typeof arg1 === 'number') arg1 = String.fromCharCode(arg1);
jaroslav@183
  1306
    if (typeof arg2 === 'number') arg2 = String.fromCharCode(arg2);
jaroslav@183
  1307
    var s = arg0.toString();
jaroslav@183
  1308
    for (;;) {
jaroslav@183
  1309
        var ret = s.replace(arg1, arg2);
jaroslav@183
  1310
        if (ret === s) {
jaroslav@183
  1311
            return ret;
jaroslav@183
  1312
        }
jaroslav@183
  1313
        s = ret;
jaroslav@183
  1314
    }
jaroslav@170
  1315
}
jaroslav@170
  1316
function java_lang_String_containsZLjava_lang_CharSequence(arg0,arg1) {
jaroslav@170
  1317
    return arg0.toString().indexOf(arg1.toString()) >= 0;
jaroslav@170
  1318
}
jaroslav@170
  1319
jaroslav@116
  1320
/*
jaroslav@93
  1321
function java_lang_String_subSequenceLjava_lang_CharSequenceII(arg0,arg1,arg2) {
jaroslav@93
  1322
  var arg3;
jaroslav@93
  1323
;
jaroslav@93
  1324
  var stack = new Array(3);
jaroslav@93
  1325
  var gt = 0;
jaroslav@93
  1326
  for(;;) switch(gt) {
jaroslav@93
  1327
    case 0: stack.push(arg0); // 42
jaroslav@93
  1328
    case 1: stack.push(arg1); // 27
jaroslav@93
  1329
    case 2: stack.push(arg2); // 28
jaroslav@93
  1330
    case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.substringLjava_lang_StringII(self, v0, v1)); } // 182 1 147
jaroslav@93
  1331
    case 6: return stack.pop(); // 176
jaroslav@93
  1332
  }
jaroslav@93
  1333
}
jaroslav@93
  1334
function java_lang_String_concatLjava_lang_StringLjava_lang_String(arg0,arg1) {
jaroslav@93
  1335
  var arg2;
jaroslav@93
  1336
  var arg3;
jaroslav@93
  1337
  var arg4;
jaroslav@93
  1338
;
jaroslav@93
  1339
  var stack = new Array(5);
jaroslav@93
  1340
  var gt = 0;
jaroslav@93
  1341
  for(;;) switch(gt) {
jaroslav@93
  1342
    case 0: stack.push(arg1); // 43
jaroslav@93
  1343
    case 1: { var self = stack.pop(); stack.push(self.lengthI(self)); } // 182 1 133
jaroslav@93
  1344
    case 4: arg2 = stack.pop(); // 61
jaroslav@93
  1345
    case 5: stack.push(arg2); // 28
jaroslav@93
  1346
    case 6: if (stack.pop() != 0) { gt = 11; continue; } // 154 0 5
jaroslav@93
  1347
    case 9: stack.push(arg0); // 42
jaroslav@93
  1348
    case 10: return stack.pop(); // 176
jaroslav@93
  1349
    case 11: stack.push(arg0); // 42
jaroslav@93
  1350
    case 12: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1351
    case 15: stack.push(arg2); // 28
jaroslav@93
  1352
    case 16: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1353
    case 17: stack.push(new Array(stack.pop())); // 188 5
jaroslav@93
  1354
    case 19: arg3 = stack.pop(); // 78
jaroslav@93
  1355
    case 20: stack.push(arg0); // 42
jaroslav@93
  1356
    case 21: stack.push(0); // 3
jaroslav@93
  1357
    case 22: stack.push(arg0); // 42
jaroslav@93
  1358
    case 23: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1359
    case 26: stack.push(arg3); // 45
jaroslav@93
  1360
    case 27: stack.push(0); // 3
jaroslav@93
  1361
    case 28: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); self.getCharsVIIACAI(self, v0, v1, v2, v3); } // 182 1 138
jaroslav@93
  1362
    case 31: stack.push(arg1); // 43
jaroslav@93
  1363
    case 32: stack.push(0); // 3
jaroslav@93
  1364
    case 33: stack.push(arg2); // 28
jaroslav@93
  1365
    case 34: stack.push(arg3); // 45
jaroslav@93
  1366
    case 35: stack.push(arg0); // 42
jaroslav@93
  1367
    case 36: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1368
    case 39: { var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); self.getCharsVIIACAI(self, v0, v1, v2, v3); } // 182 1 138
jaroslav@93
  1369
    case 42: stack.push(new java_lang_String); // 187 0 200
jaroslav@93
  1370
    case 45: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  1371
    case 46: stack.push(0); // 3
jaroslav@93
  1372
    case 47: stack.push(arg0); // 42
jaroslav@93
  1373
    case 48: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1374
    case 51: stack.push(arg2); // 28
jaroslav@93
  1375
    case 52: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1376
    case 53: stack.push(arg3); // 45
jaroslav@93
  1377
    case 54: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137
jaroslav@93
  1378
    case 57: return stack.pop(); // 176
jaroslav@93
  1379
  }
jaroslav@93
  1380
}
jaroslav@93
  1381
function java_lang_String_matchesZLjava_lang_String(arg0,arg1) {
jaroslav@93
  1382
  var arg2;
jaroslav@93
  1383
;
jaroslav@93
  1384
  var stack = new Array(2);
jaroslav@93
  1385
  var gt = 0;
jaroslav@93
  1386
  for(;;) switch(gt) {
jaroslav@93
  1387
    case 0: stack.push(arg1); // 43
jaroslav@93
  1388
    case 1: stack.push(arg0); // 42
jaroslav@93
  1389
    case 2: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_util_regex_Pattern_matchesZLjava_lang_StringLjava_lang_CharSequence(v0, v1)); } // 184 1 183
jaroslav@93
  1390
    case 5: return stack.pop(); // 172
jaroslav@93
  1391
  }
jaroslav@93
  1392
}
jaroslav@93
  1393
function java_lang_String_replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String(arg0,arg1,arg2) {
jaroslav@93
  1394
  var arg3;
jaroslav@93
  1395
;
jaroslav@93
  1396
  var stack = new Array(2);
jaroslav@93
  1397
  var gt = 0;
jaroslav@93
  1398
  for(;;) switch(gt) {
jaroslav@93
  1399
    case 0: stack.push(arg1); // 43
jaroslav@93
  1400
    case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186
jaroslav@93
  1401
    case 4: stack.push(arg0); // 42
jaroslav@93
  1402
    case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185
jaroslav@93
  1403
    case 8: stack.push(arg2); // 44
jaroslav@93
  1404
    case 9: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceFirstLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 182
jaroslav@93
  1405
    case 12: return stack.pop(); // 176
jaroslav@93
  1406
  }
jaroslav@93
  1407
}
jaroslav@93
  1408
function java_lang_String_replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String(arg0,arg1,arg2) {
jaroslav@93
  1409
  var arg3;
jaroslav@93
  1410
;
jaroslav@93
  1411
  var stack = new Array(2);
jaroslav@93
  1412
  var gt = 0;
jaroslav@93
  1413
  for(;;) switch(gt) {
jaroslav@93
  1414
    case 0: stack.push(arg1); // 43
jaroslav@93
  1415
    case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186
jaroslav@93
  1416
    case 4: stack.push(arg0); // 42
jaroslav@93
  1417
    case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185
jaroslav@93
  1418
    case 8: stack.push(arg2); // 44
jaroslav@93
  1419
    case 9: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceAllLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 181
jaroslav@93
  1420
    case 12: return stack.pop(); // 176
jaroslav@93
  1421
  }
jaroslav@93
  1422
}
jaroslav@93
  1423
function java_lang_String_replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence(arg0,arg1,arg2) {
jaroslav@93
  1424
  var arg3;
jaroslav@93
  1425
;
jaroslav@93
  1426
  var stack = new Array(2);
jaroslav@93
  1427
  var gt = 0;
jaroslav@93
  1428
  for(;;) switch(gt) {
jaroslav@93
  1429
    case 0: stack.push(arg1); // 43
jaroslav@93
  1430
    case 1: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132
jaroslav@93
  1431
    case 4: stack.push(16); // 16 16
jaroslav@93
  1432
    case 6: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_StringI(v0, v1)); } // 184 1 187
jaroslav@93
  1433
    case 9: stack.push(arg0); // 42
jaroslav@93
  1434
    case 10: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.matcherLjava_util_regex_MatcherLjava_lang_CharSequence(self, v0)); } // 182 1 185
jaroslav@93
  1435
    case 13: stack.push(arg2); // 44
jaroslav@93
  1436
    case 14: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132
jaroslav@93
  1437
    case 17: { var v0 = stack.pop(); stack.push(java_util_regex_Matcher_quoteReplacementLjava_lang_StringLjava_lang_String(v0)); } // 184 1 180
jaroslav@93
  1438
    case 20: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.replaceAllLjava_lang_StringLjava_lang_String(self, v0)); } // 182 1 181
jaroslav@93
  1439
    case 23: return stack.pop(); // 176
jaroslav@93
  1440
  }
jaroslav@93
  1441
}
jaroslav@93
  1442
function java_lang_String_splitALjava_lang_StringLjava_lang_StringI(arg0,arg1,arg2) {
jaroslav@93
  1443
  var arg3;
jaroslav@93
  1444
;
jaroslav@93
  1445
  var stack = new Array(3);
jaroslav@93
  1446
  var gt = 0;
jaroslav@93
  1447
  for(;;) switch(gt) {
jaroslav@93
  1448
    case 0: stack.push(arg1); // 43
jaroslav@93
  1449
    case 1: { var v0 = stack.pop(); stack.push(java_util_regex_Pattern_compileLjava_util_regex_PatternLjava_lang_String(v0)); } // 184 1 186
jaroslav@93
  1450
    case 4: stack.push(arg0); // 42
jaroslav@93
  1451
    case 5: stack.push(arg2); // 28
jaroslav@93
  1452
    case 6: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.splitALjava_lang_StringLjava_lang_CharSequenceI(self, v0, v1)); } // 182 1 184
jaroslav@93
  1453
    case 9: return stack.pop(); // 176
jaroslav@93
  1454
  }
jaroslav@93
  1455
}
jaroslav@93
  1456
function java_lang_String_splitALjava_lang_StringLjava_lang_String(arg0,arg1) {
jaroslav@93
  1457
  var arg2;
jaroslav@93
  1458
;
jaroslav@93
  1459
  var stack = new Array(3);
jaroslav@93
  1460
  var gt = 0;
jaroslav@93
  1461
  for(;;) switch(gt) {
jaroslav@93
  1462
    case 0: stack.push(arg0); // 42
jaroslav@93
  1463
    case 1: stack.push(arg1); // 43
jaroslav@93
  1464
    case 2: stack.push(0); // 3
jaroslav@93
  1465
    case 3: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.splitALjava_lang_StringLjava_lang_StringI(self, v0, v1)); } // 182 1 157
jaroslav@93
  1466
    case 6: return stack.pop(); // 176
jaroslav@93
  1467
  }
jaroslav@93
  1468
}
jaroslav@93
  1469
function java_lang_String_toLowerCaseLjava_lang_StringLjava_util_Locale(arg0,arg1) {
jaroslav@93
  1470
  var arg2;
jaroslav@93
  1471
  var arg3;
jaroslav@93
  1472
  var arg4;
jaroslav@93
  1473
  var arg5;
jaroslav@93
  1474
  var arg6;
jaroslav@93
  1475
  var arg7;
jaroslav@93
  1476
  var arg8;
jaroslav@93
  1477
  var arg9;
jaroslav@93
  1478
  var arg10;
jaroslav@93
  1479
  var arg11;
jaroslav@93
  1480
  var arg12;
jaroslav@93
  1481
  var arg13;
jaroslav@93
  1482
  var arg14;
jaroslav@93
  1483
;
jaroslav@93
  1484
  var stack = new Array(6);
jaroslav@93
  1485
  var gt = 0;
jaroslav@93
  1486
  for(;;) switch(gt) {
jaroslav@93
  1487
    case 0: stack.push(arg1); // 43
jaroslav@93
  1488
    case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11
jaroslav@93
  1489
    case 4: stack.push(new java_lang_NullPointerException); // 187 0 198
jaroslav@93
  1490
    case 7: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  1491
    case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128
jaroslav@93
  1492
    case 11:  // 191
jaroslav@93
  1493
    case 12: stack.push(0); // 3
jaroslav@93
  1494
    case 13: arg2 = stack.pop(); // 61
jaroslav@93
  1495
    case 14: stack.push(arg2); // 28
jaroslav@93
  1496
    case 15: stack.push(arg0); // 42
jaroslav@93
  1497
    case 16: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1498
    case 19: if (stack.pop() <= stack.pop()) { gt = 94; continue; } // 162 0 75
jaroslav@93
  1499
    case 22: stack.push(arg0); // 42
jaroslav@93
  1500
    case 23: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
  1501
    case 26: stack.push(arg0); // 42
jaroslav@93
  1502
    case 27: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  1503
    case 30: stack.push(arg2); // 28
jaroslav@93
  1504
    case 31: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1505
    case 32: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1506
    case 33: arg3 = stack.pop(); // 62
jaroslav@93
  1507
    case 34: stack.push(arg3); // 29
jaroslav@93
  1508
    case 35: stack.push(55296); // 18 1
jaroslav@93
  1509
    case 37: if (stack.pop() > stack.pop()) { gt = 77; continue; } // 161 0 40
jaroslav@93
  1510
    case 40: stack.push(arg3); // 29
jaroslav@93
  1511
    case 41: stack.push(56319); // 18 2
jaroslav@93
  1512
    case 43: if (stack.pop() < stack.pop()) { gt = 77; continue; } // 163 0 34
jaroslav@93
  1513
    case 46: stack.push(arg0); // 42
jaroslav@93
  1514
    case 47: stack.push(arg2); // 28
jaroslav@93
  1515
    case 48: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134
jaroslav@93
  1516
    case 51: arg4 = stack.pop() // 54 4
jaroslav@93
  1517
    case 53: stack.push(arg4); // 21 4
jaroslav@93
  1518
    case 55: stack.push(arg4); // 21 4
jaroslav@93
  1519
    case 57: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseII(v0)); } // 184 1 107
jaroslav@93
  1520
    case 60: if (stack.pop() == stack.pop()) { gt = 66; continue; } // 159 0 6
jaroslav@93
  1521
    case 63: gt = 96; continue; // 167 0 33
jaroslav@93
  1522
    case 66: stack.push(arg2); // 28
jaroslav@93
  1523
    case 67: stack.push(arg4); // 21 4
jaroslav@93
  1524
    case 69: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106
jaroslav@93
  1525
    case 72: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1526
    case 73: arg2 = stack.pop(); // 61
jaroslav@93
  1527
    case 74: gt = 91; continue; // 167 0 17
jaroslav@93
  1528
    case 77: stack.push(arg3); // 29
jaroslav@93
  1529
    case 78: stack.push(arg3); // 29
jaroslav@93
  1530
    case 79: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseCC(v0)); } // 184 1 104
jaroslav@93
  1531
    case 82: if (stack.pop() == stack.pop()) { gt = 88; continue; } // 159 0 6
jaroslav@93
  1532
    case 85: gt = 96; continue; // 167 0 11
jaroslav@93
  1533
    case 88: arg2++; // 132 2 1
jaroslav@93
  1534
    case 91: gt = 14; continue; // 167 255 179
jaroslav@93
  1535
    case 94: stack.push(arg0); // 42
jaroslav@93
  1536
    case 95: return stack.pop(); // 176
jaroslav@93
  1537
    case 96: stack.push(arg0); // 42
jaroslav@93
  1538
    case 97: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1539
    case 100: stack.push(new Array(stack.pop())); // 188 5
jaroslav@93
  1540
    case 102: arg3 = stack.pop(); // 78
jaroslav@93
  1541
    case 103: stack.push(0); // 3
jaroslav@93
  1542
    case 104: arg4 = stack.pop() // 54 4
jaroslav@93
  1543
    case 106: stack.push(arg0); // 42
jaroslav@93
  1544
    case 107: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
  1545
    case 110: stack.push(arg0); // 42
jaroslav@93
  1546
    case 111: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  1547
    case 114: stack.push(arg3); // 45
jaroslav@93
  1548
    case 115: stack.push(0); // 3
jaroslav@93
  1549
    case 116: stack.push(arg2); // 28
jaroslav@93
  1550
    case 117: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171
jaroslav@93
  1551
    case 120: stack.push(arg1); // 43
jaroslav@93
  1552
    case 121: { var self = stack.pop(); stack.push(self.getLanguageLjava_lang_String(self)); } // 182 1 178
jaroslav@93
  1553
    case 124: arg5 = stack.pop() // 58 5
jaroslav@93
  1554
    case 126: stack.push(arg5); // 25 5
jaroslav@93
  1555
    case 128: stack.push("tr"); // 18 11
jaroslav@93
  1556
    case 130:  // 165
jaroslav@93
  1557
    case 131:  // 0
jaroslav@93
  1558
    case 132: stack.push(6405); // 17 25 5
jaroslav@93
  1559
    case 135: stack.push("az"); // 18 5
jaroslav@93
  1560
    case 137:  // 165
jaroslav@93
  1561
    case 138:  // 0
jaroslav@93
  1562
    case 139: stack.push(1); // 10
jaroslav@93
  1563
    case 140: stack.push(arg5); // 25 5
jaroslav@93
  1564
    case 142: stack.push("lt"); // 18 9
jaroslav@93
  1565
    case 144:  // 166
jaroslav@93
  1566
    case 145:  // 0
jaroslav@93
  1567
    case 146: stack.push(4); // 7
jaroslav@93
  1568
    case 147: stack.push(1); // 4
jaroslav@93
  1569
    case 148: gt = 152; continue; // 167 0 4
jaroslav@93
  1570
    case 151: stack.push(0); // 3
jaroslav@93
  1571
    case 152: arg6 = stack.pop() // 54 6
jaroslav@93
  1572
    case 154: stack.push(arg2); // 28
jaroslav@93
  1573
    case 155: arg11 = stack.pop() // 54 11
jaroslav@93
  1574
    case 157: stack.push(arg11); // 21 11
jaroslav@93
  1575
    case 159: stack.push(arg0); // 42
jaroslav@93
  1576
    case 160: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1577
    case 163: if (stack.pop() <= stack.pop()) { gt = 419; continue; } // 162 1 0
jaroslav@93
  1578
    case 166: stack.push(arg0); // 42
jaroslav@93
  1579
    case 167: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
  1580
    case 170: stack.push(arg0); // 42
jaroslav@93
  1581
    case 171: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  1582
    case 174: stack.push(arg11); // 21 11
jaroslav@93
  1583
    case 176: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1584
    case 177: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1585
    case 178: arg9 = stack.pop() // 54 9
jaroslav@93
  1586
    case 180: stack.push(arg9); // 21 9
jaroslav@93
  1587
    case 182: // number conversion  // 146
jaroslav@93
  1588
    case 183: stack.push(55296); // 18 1
jaroslav@93
  1589
    case 185: if (stack.pop() > stack.pop()) { gt = 214; continue; } // 161 0 29
jaroslav@93
  1590
    case 188: stack.push(arg9); // 21 9
jaroslav@93
  1591
    case 190: // number conversion  // 146
jaroslav@93
  1592
    case 191: stack.push(56319); // 18 2
jaroslav@93
  1593
    case 193: if (stack.pop() < stack.pop()) { gt = 214; continue; } // 163 0 21
jaroslav@93
  1594
    case 196: stack.push(arg0); // 42
jaroslav@93
  1595
    case 197: stack.push(arg11); // 21 11
jaroslav@93
  1596
    case 199: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134
jaroslav@93
  1597
    case 202: arg9 = stack.pop() // 54 9
jaroslav@93
  1598
    case 204: stack.push(arg9); // 21 9
jaroslav@93
  1599
    case 206: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106
jaroslav@93
  1600
    case 209: arg10 = stack.pop() // 54 10
jaroslav@93
  1601
    case 211: gt = 217; continue; // 167 0 6
jaroslav@93
  1602
    case 214: stack.push(1); // 4
jaroslav@93
  1603
    case 215: arg10 = stack.pop() // 54 10
jaroslav@93
  1604
    case 217: stack.push(arg6); // 21 6
jaroslav@93
  1605
    case 219: if (stack.pop() != 0) { gt = 230; continue; } // 154 0 11
jaroslav@93
  1606
    case 222: stack.push(arg9); // 21 9
jaroslav@93
  1607
    case 224: stack.push(931); // 17 3 163
jaroslav@93
  1608
    case 227: if (stack.pop() != stack.pop()) { gt = 242; continue; } // 160 0 15
jaroslav@93
  1609
    case 230: stack.push(arg0); // 42
jaroslav@93
  1610
    case 231: stack.push(arg11); // 21 11
jaroslav@93
  1611
    case 233: stack.push(arg1); // 43
jaroslav@93
  1612
    case 234: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toLowerCaseExILjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 117
jaroslav@93
  1613
    case 237: arg8 = stack.pop() // 54 8
jaroslav@93
  1614
    case 239: gt = 249; continue; // 167 0 10
jaroslav@93
  1615
    case 242: stack.push(arg9); // 21 9
jaroslav@93
  1616
    case 244: { var v0 = stack.pop(); stack.push(java_lang_Character_toLowerCaseII(v0)); } // 184 1 107
jaroslav@93
  1617
    case 247: arg8 = stack.pop() // 54 8
jaroslav@93
  1618
    case 249: stack.push(arg8); // 21 8
jaroslav@93
  1619
    case 251:  // 2
jaroslav@93
  1620
    case 252: if (stack.pop() == stack.pop()) { gt = 262; continue; } // 159 0 10
jaroslav@93
  1621
    case 255: stack.push(arg8); // 21 8
jaroslav@93
  1622
    case 257: stack.push(65536); // 18 3
jaroslav@93
  1623
    case 259: if (stack.pop() > stack.pop()) { gt = 399; continue; } // 161 0 140
jaroslav@93
  1624
    case 262: stack.push(arg8); // 21 8
jaroslav@93
  1625
    case 264:  // 2
jaroslav@93
  1626
    case 265: if (stack.pop() != stack.pop()) { gt = 280; continue; } // 160 0 15
jaroslav@93
  1627
    case 268: stack.push(arg0); // 42
jaroslav@93
  1628
    case 269: stack.push(arg11); // 21 11
jaroslav@93
  1629
    case 271: stack.push(arg1); // 43
jaroslav@93
  1630
    case 272: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toLowerCaseCharArrayACLjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 119
jaroslav@93
  1631
    case 275: arg7 = stack.pop() // 58 7
jaroslav@93
  1632
    case 277: gt = 315; continue; // 167 0 38
jaroslav@93
  1633
    case 280: stack.push(arg10); // 21 10
jaroslav@93
  1634
    case 282: stack.push(2); // 5
jaroslav@93
  1635
    case 283: if (stack.pop() != stack.pop()) { gt = 308; continue; } // 160 0 25
jaroslav@93
  1636
    case 286: stack.push(arg4); // 21 4
jaroslav@93
  1637
    case 288: stack.push(arg8); // 21 8
jaroslav@93
  1638
    case 290: stack.push(arg3); // 45
jaroslav@93
  1639
    case 291: stack.push(arg11); // 21 11
jaroslav@93
  1640
    case 293: stack.push(arg4); // 21 4
jaroslav@93
  1641
    case 295: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1642
    case 296: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_toCharsAIIACAI(v0, v1, v2)); } // 184 1 111
jaroslav@93
  1643
    case 299: stack.push(arg10); // 21 10
jaroslav@93
  1644
    case 301: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1645
    case 302: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1646
    case 303: arg4 = stack.pop() // 54 4
jaroslav@93
  1647
    case 305: gt = 409; continue; // 167 0 104
jaroslav@93
  1648
    case 308: stack.push(arg8); // 21 8
jaroslav@93
  1649
    case 310: { var v0 = stack.pop(); stack.push(java_lang_Character_toCharsACI(v0)); } // 184 1 109
jaroslav@93
  1650
    case 313: arg7 = stack.pop() // 58 7
jaroslav@93
  1651
    case 315: stack.push(arg7); // 25 7
jaroslav@93
  1652
    case 317: stack.push(stack.pop().length); // 190
jaroslav@93
  1653
    case 318: arg12 = stack.pop() // 54 12
jaroslav@93
  1654
    case 320: stack.push(arg12); // 21 12
jaroslav@93
  1655
    case 322: stack.push(arg10); // 21 10
jaroslav@93
  1656
    case 324: if (stack.pop() >= stack.pop()) { gt = 355; continue; } // 164 0 31
jaroslav@93
  1657
    case 327: stack.push(arg3); // 45
jaroslav@93
  1658
    case 328: stack.push(stack.pop().length); // 190
jaroslav@93
  1659
    case 329: stack.push(arg12); // 21 12
jaroslav@93
  1660
    case 331: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1661
    case 332: stack.push(arg10); // 21 10
jaroslav@93
  1662
    case 334: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1663
    case 335: stack.push(new Array(stack.pop())); // 188 5
jaroslav@93
  1664
    case 337: arg13 = stack.pop() // 58 13
jaroslav@93
  1665
    case 339: stack.push(arg3); // 45
jaroslav@93
  1666
    case 340: stack.push(0); // 3
jaroslav@93
  1667
    case 341: stack.push(arg13); // 25 13
jaroslav@93
  1668
    case 343: stack.push(0); // 3
jaroslav@93
  1669
    case 344: stack.push(arg11); // 21 11
jaroslav@93
  1670
    case 346: stack.push(arg4); // 21 4
jaroslav@93
  1671
    case 348: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1672
    case 349: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171
jaroslav@93
  1673
    case 352: stack.push(arg13); // 25 13
jaroslav@93
  1674
    case 354: arg3 = stack.pop(); // 78
jaroslav@93
  1675
    case 355: stack.push(0); // 3
jaroslav@93
  1676
    case 356: arg13 = stack.pop() // 54 13
jaroslav@93
  1677
    case 358: stack.push(arg13); // 21 13
jaroslav@93
  1678
    case 360: stack.push(arg12); // 21 12
jaroslav@93
  1679
    case 362: if (stack.pop() <= stack.pop()) { gt = 386; continue; } // 162 0 24
jaroslav@93
  1680
    case 365: stack.push(arg3); // 45
jaroslav@93
  1681
    case 366: stack.push(arg11); // 21 11
jaroslav@93
  1682
    case 368: stack.push(arg4); // 21 4
jaroslav@93
  1683
    case 370: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1684
    case 371: stack.push(arg13); // 21 13
jaroslav@93
  1685
    case 373: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1686
    case 374: stack.push(arg7); // 25 7
jaroslav@93
  1687
    case 376: stack.push(arg13); // 21 13
jaroslav@93
  1688
    case 378: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1689
    case 379: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85
jaroslav@93
  1690
    case 380: arg13++; // 132 13 1
jaroslav@93
  1691
    case 383: gt = 358; continue; // 167 255 231
jaroslav@93
  1692
    case 386: stack.push(arg4); // 21 4
jaroslav@93
  1693
    case 388: stack.push(arg12); // 21 12
jaroslav@93
  1694
    case 390: stack.push(arg10); // 21 10
jaroslav@93
  1695
    case 392: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1696
    case 393: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1697
    case 394: arg4 = stack.pop() // 54 4
jaroslav@93
  1698
    case 396: gt = 409; continue; // 167 0 13
jaroslav@93
  1699
    case 399: stack.push(arg3); // 45
jaroslav@93
  1700
    case 400: stack.push(arg11); // 21 11
jaroslav@93
  1701
    case 402: stack.push(arg4); // 21 4
jaroslav@93
  1702
    case 404: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1703
    case 405: stack.push(arg8); // 21 8
jaroslav@93
  1704
    case 407: // number conversion  // 146
jaroslav@93
  1705
    case 408: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85
jaroslav@93
  1706
    case 409: stack.push(arg11); // 21 11
jaroslav@93
  1707
    case 411: stack.push(arg10); // 21 10
jaroslav@93
  1708
    case 413: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1709
    case 414: arg11 = stack.pop() // 54 11
jaroslav@93
  1710
    case 416: gt = 157; continue; // 167 254 253
jaroslav@93
  1711
    case 419: stack.push(new java_lang_String); // 187 0 200
jaroslav@93
  1712
    case 422: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  1713
    case 423: stack.push(0); // 3
jaroslav@93
  1714
    case 424: stack.push(arg0); // 42
jaroslav@93
  1715
    case 425: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1716
    case 428: stack.push(arg4); // 21 4
jaroslav@93
  1717
    case 430: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1718
    case 431: stack.push(arg3); // 45
jaroslav@93
  1719
    case 432: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137
jaroslav@93
  1720
    case 435: return stack.pop(); // 176
jaroslav@93
  1721
  }
jaroslav@93
  1722
}
jaroslav@93
  1723
function java_lang_String_toLowerCaseLjava_lang_String(arg0) {
jaroslav@93
  1724
  var arg1;
jaroslav@93
  1725
;
jaroslav@93
  1726
  var stack = new Array(2);
jaroslav@93
  1727
  var gt = 0;
jaroslav@93
  1728
  for(;;) switch(gt) {
jaroslav@93
  1729
    case 0: stack.push(arg0); // 42
jaroslav@93
  1730
    case 1: { stack.push(java_util_Locale_getDefaultLjava_util_Locale()); } // 184 1 179
jaroslav@93
  1731
    case 4: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.toLowerCaseLjava_lang_StringLjava_util_Locale(self, v0)); } // 182 1 158
jaroslav@93
  1732
    case 7: return stack.pop(); // 176
jaroslav@93
  1733
  }
jaroslav@93
  1734
}
jaroslav@93
  1735
function java_lang_String_toUpperCaseLjava_lang_StringLjava_util_Locale(arg0,arg1) {
jaroslav@93
  1736
  var arg2;
jaroslav@93
  1737
  var arg3;
jaroslav@93
  1738
  var arg4;
jaroslav@93
  1739
  var arg5;
jaroslav@93
  1740
  var arg6;
jaroslav@93
  1741
  var arg7;
jaroslav@93
  1742
  var arg8;
jaroslav@93
  1743
  var arg9;
jaroslav@93
  1744
  var arg10;
jaroslav@93
  1745
  var arg11;
jaroslav@93
  1746
  var arg12;
jaroslav@93
  1747
  var arg13;
jaroslav@93
  1748
  var arg14;
jaroslav@93
  1749
;
jaroslav@93
  1750
  var stack = new Array(6);
jaroslav@93
  1751
  var gt = 0;
jaroslav@93
  1752
  for(;;) switch(gt) {
jaroslav@93
  1753
    case 0: stack.push(arg1); // 43
jaroslav@93
  1754
    case 1: if (stack.pop()) { gt = 12; continue; } // 199 0 11
jaroslav@93
  1755
    case 4: stack.push(new java_lang_NullPointerException); // 187 0 198
jaroslav@93
  1756
    case 7: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  1757
    case 8: { java_lang_NullPointerException_consV(stack.pop()); } // 183 1 128
jaroslav@93
  1758
    case 11:  // 191
jaroslav@93
  1759
    case 12: stack.push(0); // 3
jaroslav@93
  1760
    case 13: arg2 = stack.pop(); // 61
jaroslav@93
  1761
    case 14: stack.push(arg2); // 28
jaroslav@93
  1762
    case 15: stack.push(arg0); // 42
jaroslav@93
  1763
    case 16: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1764
    case 19: if (stack.pop() <= stack.pop()) { gt = 93; continue; } // 162 0 74
jaroslav@93
  1765
    case 22: stack.push(arg0); // 42
jaroslav@93
  1766
    case 23: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
  1767
    case 26: stack.push(arg0); // 42
jaroslav@93
  1768
    case 27: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  1769
    case 30: stack.push(arg2); // 28
jaroslav@93
  1770
    case 31: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1771
    case 32: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1772
    case 33: arg3 = stack.pop(); // 62
jaroslav@93
  1773
    case 34: stack.push(arg3); // 29
jaroslav@93
  1774
    case 35: stack.push(55296); // 18 1
jaroslav@93
  1775
    case 37: if (stack.pop() > stack.pop()) { gt = 61; continue; } // 161 0 24
jaroslav@93
  1776
    case 40: stack.push(arg3); // 29
jaroslav@93
  1777
    case 41: stack.push(56319); // 18 2
jaroslav@93
  1778
    case 43: if (stack.pop() < stack.pop()) { gt = 61; continue; } // 163 0 18
jaroslav@93
  1779
    case 46: stack.push(arg0); // 42
jaroslav@93
  1780
    case 47: stack.push(arg2); // 28
jaroslav@93
  1781
    case 48: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134
jaroslav@93
  1782
    case 51: arg3 = stack.pop(); // 62
jaroslav@93
  1783
    case 52: stack.push(arg3); // 29
jaroslav@93
  1784
    case 53: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106
jaroslav@93
  1785
    case 56: arg4 = stack.pop() // 54 4
jaroslav@93
  1786
    case 58: gt = 64; continue; // 167 0 6
jaroslav@93
  1787
    case 61: stack.push(1); // 4
jaroslav@93
  1788
    case 62: arg4 = stack.pop() // 54 4
jaroslav@93
  1789
    case 64: stack.push(arg3); // 29
jaroslav@93
  1790
    case 65: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseExII(v0)); } // 184 1 108
jaroslav@93
  1791
    case 68: arg5 = stack.pop() // 54 5
jaroslav@93
  1792
    case 70: stack.push(arg5); // 21 5
jaroslav@93
  1793
    case 72:  // 2
jaroslav@93
  1794
    case 73: if (stack.pop() == stack.pop()) { gt = 95; continue; } // 159 0 22
jaroslav@93
  1795
    case 76: stack.push(arg3); // 29
jaroslav@93
  1796
    case 77: stack.push(arg5); // 21 5
jaroslav@93
  1797
    case 79: if (stack.pop() == stack.pop()) { gt = 85; continue; } // 159 0 6
jaroslav@93
  1798
    case 82: gt = 95; continue; // 167 0 13
jaroslav@93
  1799
    case 85: stack.push(arg2); // 28
jaroslav@93
  1800
    case 86: stack.push(arg4); // 21 4
jaroslav@93
  1801
    case 88: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1802
    case 89: arg2 = stack.pop(); // 61
jaroslav@93
  1803
    case 90: gt = 14; continue; // 167 255 180
jaroslav@93
  1804
    case 93: stack.push(arg0); // 42
jaroslav@93
  1805
    case 94: return stack.pop(); // 176
jaroslav@93
  1806
    case 95: stack.push(arg0); // 42
jaroslav@93
  1807
    case 96: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1808
    case 99: stack.push(new Array(stack.pop())); // 188 5
jaroslav@93
  1809
    case 101: arg3 = stack.pop(); // 78
jaroslav@93
  1810
    case 102: stack.push(0); // 3
jaroslav@93
  1811
    case 103: arg4 = stack.pop() // 54 4
jaroslav@93
  1812
    case 105: stack.push(arg0); // 42
jaroslav@93
  1813
    case 106: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
  1814
    case 109: stack.push(arg0); // 42
jaroslav@93
  1815
    case 110: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  1816
    case 113: stack.push(arg3); // 45
jaroslav@93
  1817
    case 114: stack.push(0); // 3
jaroslav@93
  1818
    case 115: stack.push(arg2); // 28
jaroslav@93
  1819
    case 116: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171
jaroslav@93
  1820
    case 119: stack.push(arg1); // 43
jaroslav@93
  1821
    case 120: { var self = stack.pop(); stack.push(self.getLanguageLjava_lang_String(self)); } // 182 1 178
jaroslav@93
  1822
    case 123: arg5 = stack.pop() // 58 5
jaroslav@93
  1823
    case 125: stack.push(arg5); // 25 5
jaroslav@93
  1824
    case 127: stack.push("tr"); // 18 11
jaroslav@93
  1825
    case 129:  // 165
jaroslav@93
  1826
    case 130:  // 0
jaroslav@93
  1827
    case 131: stack.push(6405); // 17 25 5
jaroslav@93
  1828
    case 134: stack.push("az"); // 18 5
jaroslav@93
  1829
    case 136:  // 165
jaroslav@93
  1830
    case 137:  // 0
jaroslav@93
  1831
    case 138: stack.push(1); // 10
jaroslav@93
  1832
    case 139: stack.push(arg5); // 25 5
jaroslav@93
  1833
    case 141: stack.push("lt"); // 18 9
jaroslav@93
  1834
    case 143:  // 166
jaroslav@93
  1835
    case 144:  // 0
jaroslav@93
  1836
    case 145: stack.push(4); // 7
jaroslav@93
  1837
    case 146: stack.push(1); // 4
jaroslav@93
  1838
    case 147: gt = 151; continue; // 167 0 4
jaroslav@93
  1839
    case 150: stack.push(0); // 3
jaroslav@93
  1840
    case 151: arg6 = stack.pop() // 54 6
jaroslav@93
  1841
    case 153: stack.push(arg2); // 28
jaroslav@93
  1842
    case 154: arg11 = stack.pop() // 54 11
jaroslav@93
  1843
    case 156: stack.push(arg11); // 21 11
jaroslav@93
  1844
    case 158: stack.push(arg0); // 42
jaroslav@93
  1845
    case 159: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1846
    case 162: if (stack.pop() <= stack.pop()) { gt = 425; continue; } // 162 1 7
jaroslav@93
  1847
    case 165: stack.push(arg0); // 42
jaroslav@93
  1848
    case 166: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
  1849
    case 169: stack.push(arg0); // 42
jaroslav@93
  1850
    case 170: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  1851
    case 173: stack.push(arg11); // 21 11
jaroslav@93
  1852
    case 175: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1853
    case 176: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1854
    case 177: arg9 = stack.pop() // 54 9
jaroslav@93
  1855
    case 179: stack.push(arg9); // 21 9
jaroslav@93
  1856
    case 181: // number conversion  // 146
jaroslav@93
  1857
    case 182: stack.push(55296); // 18 1
jaroslav@93
  1858
    case 184: if (stack.pop() > stack.pop()) { gt = 213; continue; } // 161 0 29
jaroslav@93
  1859
    case 187: stack.push(arg9); // 21 9
jaroslav@93
  1860
    case 189: // number conversion  // 146
jaroslav@93
  1861
    case 190: stack.push(56319); // 18 2
jaroslav@93
  1862
    case 192: if (stack.pop() < stack.pop()) { gt = 213; continue; } // 163 0 21
jaroslav@93
  1863
    case 195: stack.push(arg0); // 42
jaroslav@93
  1864
    case 196: stack.push(arg11); // 21 11
jaroslav@93
  1865
    case 198: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.codePointAtII(self, v0)); } // 182 1 134
jaroslav@93
  1866
    case 201: arg9 = stack.pop() // 54 9
jaroslav@93
  1867
    case 203: stack.push(arg9); // 21 9
jaroslav@93
  1868
    case 205: { var v0 = stack.pop(); stack.push(java_lang_Character_charCountII(v0)); } // 184 1 106
jaroslav@93
  1869
    case 208: arg10 = stack.pop() // 54 10
jaroslav@93
  1870
    case 210: gt = 216; continue; // 167 0 6
jaroslav@93
  1871
    case 213: stack.push(1); // 4
jaroslav@93
  1872
    case 214: arg10 = stack.pop() // 54 10
jaroslav@93
  1873
    case 216: stack.push(arg6); // 21 6
jaroslav@93
  1874
    case 218: if (stack.pop() == 0) { gt = 233; continue; } // 153 0 15
jaroslav@93
  1875
    case 221: stack.push(arg0); // 42
jaroslav@93
  1876
    case 222: stack.push(arg11); // 21 11
jaroslav@93
  1877
    case 224: stack.push(arg1); // 43
jaroslav@93
  1878
    case 225: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toUpperCaseExILjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 118
jaroslav@93
  1879
    case 228: arg8 = stack.pop() // 54 8
jaroslav@93
  1880
    case 230: gt = 240; continue; // 167 0 10
jaroslav@93
  1881
    case 233: stack.push(arg9); // 21 9
jaroslav@93
  1882
    case 235: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseExII(v0)); } // 184 1 108
jaroslav@93
  1883
    case 238: arg8 = stack.pop() // 54 8
jaroslav@93
  1884
    case 240: stack.push(arg8); // 21 8
jaroslav@93
  1885
    case 242:  // 2
jaroslav@93
  1886
    case 243: if (stack.pop() == stack.pop()) { gt = 253; continue; } // 159 0 10
jaroslav@93
  1887
    case 246: stack.push(arg8); // 21 8
jaroslav@93
  1888
    case 248: stack.push(65536); // 18 3
jaroslav@93
  1889
    case 250: if (stack.pop() > stack.pop()) { gt = 405; continue; } // 161 0 155
jaroslav@93
  1890
    case 253: stack.push(arg8); // 21 8
jaroslav@93
  1891
    case 255:  // 2
jaroslav@93
  1892
    case 256: if (stack.pop() != stack.pop()) { gt = 286; continue; } // 160 0 30
jaroslav@93
  1893
    case 259: stack.push(arg6); // 21 6
jaroslav@93
  1894
    case 261: if (stack.pop() == 0) { gt = 276; continue; } // 153 0 15
jaroslav@93
  1895
    case 264: stack.push(arg0); // 42
jaroslav@93
  1896
    case 265: stack.push(arg11); // 21 11
jaroslav@93
  1897
    case 267: stack.push(arg1); // 43
jaroslav@93
  1898
    case 268: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_ConditionalSpecialCasing_toUpperCaseCharArrayACLjava_lang_StringILjava_util_Locale(v0, v1, v2)); } // 184 1 120
jaroslav@93
  1899
    case 271: arg7 = stack.pop() // 58 7
jaroslav@93
  1900
    case 273: gt = 321; continue; // 167 0 48
jaroslav@93
  1901
    case 276: stack.push(arg9); // 21 9
jaroslav@93
  1902
    case 278: { var v0 = stack.pop(); stack.push(java_lang_Character_toUpperCaseCharArrayACI(v0)); } // 184 1 110
jaroslav@93
  1903
    case 281: arg7 = stack.pop() // 58 7
jaroslav@93
  1904
    case 283: gt = 321; continue; // 167 0 38
jaroslav@93
  1905
    case 286: stack.push(arg10); // 21 10
jaroslav@93
  1906
    case 288: stack.push(2); // 5
jaroslav@93
  1907
    case 289: if (stack.pop() != stack.pop()) { gt = 314; continue; } // 160 0 25
jaroslav@93
  1908
    case 292: stack.push(arg4); // 21 4
jaroslav@93
  1909
    case 294: stack.push(arg8); // 21 8
jaroslav@93
  1910
    case 296: stack.push(arg3); // 45
jaroslav@93
  1911
    case 297: stack.push(arg11); // 21 11
jaroslav@93
  1912
    case 299: stack.push(arg4); // 21 4
jaroslav@93
  1913
    case 301: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1914
    case 302: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Character_toCharsAIIACAI(v0, v1, v2)); } // 184 1 111
jaroslav@93
  1915
    case 305: stack.push(arg10); // 21 10
jaroslav@93
  1916
    case 307: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1917
    case 308: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1918
    case 309: arg4 = stack.pop() // 54 4
jaroslav@93
  1919
    case 311: gt = 415; continue; // 167 0 104
jaroslav@93
  1920
    case 314: stack.push(arg8); // 21 8
jaroslav@93
  1921
    case 316: { var v0 = stack.pop(); stack.push(java_lang_Character_toCharsACI(v0)); } // 184 1 109
jaroslav@93
  1922
    case 319: arg7 = stack.pop() // 58 7
jaroslav@93
  1923
    case 321: stack.push(arg7); // 25 7
jaroslav@93
  1924
    case 323: stack.push(stack.pop().length); // 190
jaroslav@93
  1925
    case 324: arg12 = stack.pop() // 54 12
jaroslav@93
  1926
    case 326: stack.push(arg12); // 21 12
jaroslav@93
  1927
    case 328: stack.push(arg10); // 21 10
jaroslav@93
  1928
    case 330: if (stack.pop() >= stack.pop()) { gt = 361; continue; } // 164 0 31
jaroslav@93
  1929
    case 333: stack.push(arg3); // 45
jaroslav@93
  1930
    case 334: stack.push(stack.pop().length); // 190
jaroslav@93
  1931
    case 335: stack.push(arg12); // 21 12
jaroslav@93
  1932
    case 337: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1933
    case 338: stack.push(arg10); // 21 10
jaroslav@93
  1934
    case 340: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1935
    case 341: stack.push(new Array(stack.pop())); // 188 5
jaroslav@93
  1936
    case 343: arg13 = stack.pop() // 58 13
jaroslav@93
  1937
    case 345: stack.push(arg3); // 45
jaroslav@93
  1938
    case 346: stack.push(0); // 3
jaroslav@93
  1939
    case 347: stack.push(arg13); // 25 13
jaroslav@93
  1940
    case 349: stack.push(0); // 3
jaroslav@93
  1941
    case 350: stack.push(arg11); // 21 11
jaroslav@93
  1942
    case 352: stack.push(arg4); // 21 4
jaroslav@93
  1943
    case 354: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1944
    case 355: { var v4 = stack.pop(); var v3 = stack.pop(); var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_System_arraycopyVLjava_lang_ObjectILjava_lang_ObjectII(v0, v1, v2, v3, v4); } // 184 1 171
jaroslav@93
  1945
    case 358: stack.push(arg13); // 25 13
jaroslav@93
  1946
    case 360: arg3 = stack.pop(); // 78
jaroslav@93
  1947
    case 361: stack.push(0); // 3
jaroslav@93
  1948
    case 362: arg13 = stack.pop() // 54 13
jaroslav@93
  1949
    case 364: stack.push(arg13); // 21 13
jaroslav@93
  1950
    case 366: stack.push(arg12); // 21 12
jaroslav@93
  1951
    case 368: if (stack.pop() <= stack.pop()) { gt = 392; continue; } // 162 0 24
jaroslav@93
  1952
    case 371: stack.push(arg3); // 45
jaroslav@93
  1953
    case 372: stack.push(arg11); // 21 11
jaroslav@93
  1954
    case 374: stack.push(arg4); // 21 4
jaroslav@93
  1955
    case 376: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1956
    case 377: stack.push(arg13); // 21 13
jaroslav@93
  1957
    case 379: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1958
    case 380: stack.push(arg7); // 25 7
jaroslav@93
  1959
    case 382: stack.push(arg13); // 21 13
jaroslav@93
  1960
    case 384: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  1961
    case 385: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85
jaroslav@93
  1962
    case 386: arg13++; // 132 13 1
jaroslav@93
  1963
    case 389: gt = 364; continue; // 167 255 231
jaroslav@93
  1964
    case 392: stack.push(arg4); // 21 4
jaroslav@93
  1965
    case 394: stack.push(arg12); // 21 12
jaroslav@93
  1966
    case 396: stack.push(arg10); // 21 10
jaroslav@93
  1967
    case 398: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  1968
    case 399: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1969
    case 400: arg4 = stack.pop() // 54 4
jaroslav@93
  1970
    case 402: gt = 415; continue; // 167 0 13
jaroslav@93
  1971
    case 405: stack.push(arg3); // 45
jaroslav@93
  1972
    case 406: stack.push(arg11); // 21 11
jaroslav@93
  1973
    case 408: stack.push(arg4); // 21 4
jaroslav@93
  1974
    case 410: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1975
    case 411: stack.push(arg8); // 21 8
jaroslav@93
  1976
    case 413: // number conversion  // 146
jaroslav@93
  1977
    case 414: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85
jaroslav@93
  1978
    case 415: stack.push(arg11); // 21 11
jaroslav@93
  1979
    case 417: stack.push(arg10); // 21 10
jaroslav@93
  1980
    case 419: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1981
    case 420: arg11 = stack.pop() // 54 11
jaroslav@93
  1982
    case 422: gt = 156; continue; // 167 254 246
jaroslav@93
  1983
    case 425: stack.push(new java_lang_String); // 187 0 200
jaroslav@93
  1984
    case 428: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  1985
    case 429: stack.push(0); // 3
jaroslav@93
  1986
    case 430: stack.push(arg0); // 42
jaroslav@93
  1987
    case 431: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  1988
    case 434: stack.push(arg4); // 21 4
jaroslav@93
  1989
    case 436: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  1990
    case 437: stack.push(arg3); // 45
jaroslav@93
  1991
    case 438: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137
jaroslav@93
  1992
    case 441: return stack.pop(); // 176
jaroslav@93
  1993
  }
jaroslav@93
  1994
}
jaroslav@93
  1995
function java_lang_String_toUpperCaseLjava_lang_String(arg0) {
jaroslav@93
  1996
  var arg1;
jaroslav@93
  1997
;
jaroslav@93
  1998
  var stack = new Array(2);
jaroslav@93
  1999
  var gt = 0;
jaroslav@93
  2000
  for(;;) switch(gt) {
jaroslav@93
  2001
    case 0: stack.push(arg0); // 42
jaroslav@93
  2002
    case 1: { stack.push(java_util_Locale_getDefaultLjava_util_Locale()); } // 184 1 179
jaroslav@93
  2003
    case 4: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.toUpperCaseLjava_lang_StringLjava_util_Locale(self, v0)); } // 182 1 159
jaroslav@93
  2004
    case 7: return stack.pop(); // 176
jaroslav@93
  2005
  }
jaroslav@93
  2006
}
jaroslav@93
  2007
function java_lang_String_trimLjava_lang_String(arg0) {
jaroslav@93
  2008
  var arg1;
jaroslav@93
  2009
  var arg2;
jaroslav@93
  2010
  var arg3;
jaroslav@93
  2011
  var arg4;
jaroslav@93
  2012
  var arg5;
jaroslav@93
  2013
;
jaroslav@93
  2014
  var stack = new Array(3);
jaroslav@93
  2015
  var gt = 0;
jaroslav@93
  2016
  for(;;) switch(gt) {
jaroslav@93
  2017
    case 0: stack.push(arg0); // 42
jaroslav@93
  2018
    case 1: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  2019
    case 4: arg1 = stack.pop(); // 60
jaroslav@93
  2020
    case 5: stack.push(0); // 3
jaroslav@93
  2021
    case 6: arg2 = stack.pop(); // 61
jaroslav@93
  2022
    case 7: stack.push(arg0); // 42
jaroslav@93
  2023
    case 8: stack.push(stack.pop().offset); // 180 1 99
jaroslav@93
  2024
    case 11: arg3 = stack.pop(); // 62
jaroslav@93
  2025
    case 12: stack.push(arg0); // 42
jaroslav@93
  2026
    case 13: stack.push(stack.pop().value); // 180 1 100
jaroslav@93
  2027
    case 16: arg4 = stack.pop() // 58 4
jaroslav@93
  2028
    case 18: stack.push(arg2); // 28
jaroslav@93
  2029
    case 19: stack.push(arg1); // 27
jaroslav@93
  2030
    case 20: if (stack.pop() <= stack.pop()) { gt = 40; continue; } // 162 0 20
jaroslav@93
  2031
    case 23: stack.push(arg4); // 25 4
jaroslav@93
  2032
    case 25: stack.push(arg3); // 29
jaroslav@93
  2033
    case 26: stack.push(arg2); // 28
jaroslav@93
  2034
    case 27: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  2035
    case 28: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  2036
    case 29: stack.push(32); // 16 32
jaroslav@93
  2037
    case 31: if (stack.pop() < stack.pop()) { gt = 40; continue; } // 163 0 9
jaroslav@93
  2038
    case 34: arg2++; // 132 2 1
jaroslav@93
  2039
    case 37: gt = 18; continue; // 167 255 237
jaroslav@93
  2040
    case 40: stack.push(arg2); // 28
jaroslav@93
  2041
    case 41: stack.push(arg1); // 27
jaroslav@93
  2042
    case 42: if (stack.pop() <= stack.pop()) { gt = 64; continue; } // 162 0 22
jaroslav@93
  2043
    case 45: stack.push(arg4); // 25 4
jaroslav@93
  2044
    case 47: stack.push(arg3); // 29
jaroslav@93
  2045
    case 48: stack.push(arg1); // 27
jaroslav@93
  2046
    case 49: stack.push(stack.pop() + stack.pop()); // 96
jaroslav@93
  2047
    case 50: stack.push(1); // 4
jaroslav@93
  2048
    case 51: { var tmp = stack.pop(); stack.push(stack.pop() - tmp); } // 100
jaroslav@93
  2049
    case 52: { var indx = stack.pop(); stack.push(stack.pop()[indx]); } // 52
jaroslav@93
  2050
    case 53: stack.push(32); // 16 32
jaroslav@93
  2051
    case 55: if (stack.pop() < stack.pop()) { gt = 64; continue; } // 163 0 9
jaroslav@93
  2052
    case 58: arg1 += 255; // 132 1 255
jaroslav@93
  2053
    case 61: gt = 40; continue; // 167 255 235
jaroslav@93
  2054
    case 64: stack.push(arg2); // 28
jaroslav@93
  2055
    case 65: if (stack.pop() > 0) { gt = 76; continue; } // 157 0 11
jaroslav@93
  2056
    case 68: stack.push(arg1); // 27
jaroslav@93
  2057
    case 69: stack.push(arg0); // 42
jaroslav@93
  2058
    case 70: stack.push(stack.pop().count); // 180 1 97
jaroslav@93
  2059
    case 73: if (stack.pop() <= stack.pop()) { gt = 85; continue; } // 162 0 12
jaroslav@93
  2060
    case 76: stack.push(arg0); // 42
jaroslav@93
  2061
    case 77: stack.push(arg2); // 28
jaroslav@93
  2062
    case 78: stack.push(arg1); // 27
jaroslav@93
  2063
    case 79: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.substringLjava_lang_StringII(self, v0, v1)); } // 182 1 147
jaroslav@93
  2064
    case 82: gt = 86; continue; // 167 0 4
jaroslav@93
  2065
    case 85: stack.push(arg0); // 42
jaroslav@93
  2066
    case 86: return stack.pop(); // 176
jaroslav@93
  2067
  }
jaroslav@93
  2068
}
jaroslav@93
  2069
*/
jaroslav@93
  2070
function java_lang_String_toStringLjava_lang_String(arg0) {
jaroslav@93
  2071
    return arg0.toString();
jaroslav@93
  2072
}
jtulach@169
  2073
function java_lang_String_toCharArrayAC(arg0) {
jtulach@169
  2074
    return arg0.toString().split('');
jtulach@169
  2075
}
jaroslav@93
  2076
/*
jaroslav@93
  2077
function java_lang_String_formatLjava_lang_StringLjava_lang_StringLjava_lang_Object(arg0,arg1) {
jaroslav@93
  2078
  var stack = new Array();
jaroslav@93
  2079
  var gt = 0;
jaroslav@93
  2080
  for(;;) switch(gt) {
jaroslav@93
  2081
    case 0: stack.push(new java_util_Formatter); // 187 0 211
jaroslav@93
  2082
    case 3: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  2083
    case 4: { java_util_Formatter_consV(stack.pop()); } // 183 1 174
jaroslav@93
  2084
    case 7: stack.push(arg0); // 42
jaroslav@93
  2085
    case 8: stack.push(arg1); // 43
jaroslav@93
  2086
    case 9: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.formatALjava_util_FormatterLjava_lang_StringALjava_lang_Object(self, v0, v1)); } // 182 1 177
jaroslav@93
  2087
    case 12: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 175
jaroslav@93
  2088
    case 15: return stack.pop(); // 176
jaroslav@93
  2089
  }
jaroslav@93
  2090
}
jaroslav@93
  2091
function java_lang_String_formatLjava_lang_StringLjava_util_LocaleLjava_lang_StringLjava_lang_Object(arg0,arg1,arg2) {
jaroslav@93
  2092
  var stack = new Array();
jaroslav@93
  2093
  var gt = 0;
jaroslav@93
  2094
  for(;;) switch(gt) {
jaroslav@93
  2095
    case 0: stack.push(new java_util_Formatter); // 187 0 211
jaroslav@93
  2096
    case 3: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  2097
    case 4: stack.push(arg0); // 42
jaroslav@93
  2098
    case 5: { var v0 = stack.pop(); java_util_Formatter_consVLjava_util_Locale(stack.pop(), v0); } // 183 1 176
jaroslav@93
  2099
    case 8: stack.push(arg1); // 43
jaroslav@93
  2100
    case 9: stack.push(arg2); // 44
jaroslav@93
  2101
    case 10: { var v1 = stack.pop(); var v0 = stack.pop(); var self = stack.pop(); stack.push(self.formatALjava_util_FormatterLjava_lang_StringALjava_lang_Object(self, v0, v1)); } // 182 1 177
jaroslav@93
  2102
    case 13: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 175
jaroslav@93
  2103
    case 16: return stack.pop(); // 176
jaroslav@93
  2104
  }
jaroslav@93
  2105
}
jaroslav@93
  2106
function java_lang_String_valueOfLjava_lang_StringLjava_lang_Object(arg0) {
jaroslav@93
  2107
  var stack = new Array();
jaroslav@93
  2108
  var gt = 0;
jaroslav@93
  2109
  for(;;) switch(gt) {
jaroslav@93
  2110
    case 0: stack.push(arg0); // 42
jaroslav@93
  2111
    case 1: if (stack.pop()) { gt = 9; continue; } // 199 0 8
jaroslav@93
  2112
    case 4: stack.push("null"); // 18 10
jaroslav@93
  2113
    case 6: gt = 13; continue; // 167 0 7
jaroslav@93
  2114
    case 9: stack.push(arg0); // 42
jaroslav@93
  2115
    case 10: { var self = stack.pop(); stack.push(self.toStringLjava_lang_String(self)); } // 182 1 132
jaroslav@93
  2116
    case 13: return stack.pop(); // 176
jaroslav@93
  2117
  }
jaroslav@93
  2118
}
jaroslav@93
  2119
function java_lang_String_valueOfLjava_lang_StringAC(arg0) {
jaroslav@93
  2120
  var stack = new Array();
jaroslav@93
  2121
  var gt = 0;
jaroslav@93
  2122
  for(;;) switch(gt) {
jaroslav@93
  2123
    case 0: stack.push(new java_lang_String); // 187 0 200
jaroslav@93
  2124
    case 3: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  2125
    case 4: stack.push(arg0); // 42
jaroslav@93
  2126
    case 5: { var v0 = stack.pop(); java_lang_String_consVAC(stack.pop(), v0); } // 183 1 142
jaroslav@93
  2127
    case 8: return stack.pop(); // 176
jaroslav@93
  2128
  }
jaroslav@93
  2129
}
jaroslav@93
  2130
function java_lang_String_valueOfLjava_lang_StringACII(arg0,arg1,arg2) {
jaroslav@93
  2131
  var stack = new Array();
jaroslav@93
  2132
  var gt = 0;
jaroslav@93
  2133
  for(;;) switch(gt) {
jaroslav@93
  2134
    case 0: stack.push(new java_lang_String); // 187 0 200
jaroslav@93
  2135
    case 3: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  2136
    case 4: stack.push(arg0); // 42
jaroslav@93
  2137
    case 5: stack.push(arg1); // 27
jaroslav@93
  2138
    case 6: stack.push(arg2); // 28
jaroslav@93
  2139
    case 7: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVACAIAI(stack.pop(), v0, v1, v2); } // 183 1 143
jaroslav@93
  2140
    case 10: return stack.pop(); // 176
jaroslav@93
  2141
  }
jaroslav@93
  2142
}
jaroslav@93
  2143
function java_lang_String_copyValueOfLjava_lang_StringACII(arg0,arg1,arg2) {
jaroslav@93
  2144
  var stack = new Array();
jaroslav@93
  2145
  var gt = 0;
jaroslav@93
  2146
  for(;;) switch(gt) {
jaroslav@93
  2147
    case 0: stack.push(new java_lang_String); // 187 0 200
jaroslav@93
  2148
    case 3: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  2149
    case 4: stack.push(arg0); // 42
jaroslav@93
  2150
    case 5: stack.push(arg1); // 27
jaroslav@93
  2151
    case 6: stack.push(arg2); // 28
jaroslav@93
  2152
    case 7: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVACAIAI(stack.pop(), v0, v1, v2); } // 183 1 143
jaroslav@93
  2153
    case 10: return stack.pop(); // 176
jaroslav@93
  2154
  }
jaroslav@93
  2155
}
jaroslav@93
  2156
function java_lang_String_copyValueOfLjava_lang_StringAC(arg0) {
jaroslav@93
  2157
  var stack = new Array();
jaroslav@93
  2158
  var gt = 0;
jaroslav@93
  2159
  for(;;) switch(gt) {
jaroslav@93
  2160
    case 0: stack.push(arg0); // 42
jaroslav@93
  2161
    case 1: stack.push(0); // 3
jaroslav@93
  2162
    case 2: stack.push(arg0); // 42
jaroslav@93
  2163
    case 3: stack.push(stack.pop().length); // 190
jaroslav@93
  2164
    case 4: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_String_copyValueOfALjava_lang_StringACAIAI(v0, v1, v2)); } // 184 1 155
jaroslav@93
  2165
    case 7: return stack.pop(); // 176
jaroslav@93
  2166
  }
jaroslav@93
  2167
}
jaroslav@93
  2168
function java_lang_String_valueOfLjava_lang_StringZ(arg0) {
jaroslav@93
  2169
  var stack = new Array();
jaroslav@93
  2170
  var gt = 0;
jaroslav@93
  2171
  for(;;) switch(gt) {
jaroslav@93
  2172
    case 0: stack.push(arg0); // 26
jaroslav@93
  2173
    case 1: if (stack.pop() == 0) { gt = 9; continue; } // 153 0 8
jaroslav@93
  2174
    case 4: stack.push("true"); // 18 12
jaroslav@93
  2175
    case 6: gt = 11; continue; // 167 0 5
jaroslav@93
  2176
    case 9: stack.push("false"); // 18 8
jaroslav@93
  2177
    case 11: return stack.pop(); // 176
jaroslav@93
  2178
  }
jaroslav@93
  2179
}
jaroslav@93
  2180
function java_lang_String_valueOfLjava_lang_StringC(arg0) {
jaroslav@93
  2181
  var arg1;
jaroslav@93
  2182
  var stack = new Array();
jaroslav@93
  2183
  var gt = 0;
jaroslav@93
  2184
  for(;;) switch(gt) {
jaroslav@93
  2185
    case 0: stack.push(1); // 4
jaroslav@93
  2186
    case 1: stack.push(new Array(stack.pop())); // 188 5
jaroslav@93
  2187
    case 3: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  2188
    case 4: stack.push(0); // 3
jaroslav@93
  2189
    case 5: stack.push(arg0); // 26
jaroslav@93
  2190
    case 6: { var value = stack.pop(); var indx = stack.pop(); stack.pop()[indx] = value; } // 85
jaroslav@93
  2191
    case 7: arg1 = stack.pop(); // 76
jaroslav@93
  2192
    case 8: stack.push(new java_lang_String); // 187 0 200
jaroslav@93
  2193
    case 11: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  2194
    case 12: stack.push(0); // 3
jaroslav@93
  2195
    case 13: stack.push(1); // 4
jaroslav@93
  2196
    case 14: stack.push(arg1); // 43
jaroslav@93
  2197
    case 15: { var v2 = stack.pop(); var v1 = stack.pop(); var v0 = stack.pop(); java_lang_String_consVIIAC(stack.pop(), v0, v1, v2); } // 183 1 137
jaroslav@93
  2198
    case 18: return stack.pop(); // 176
jaroslav@93
  2199
  }
jaroslav@93
  2200
}
jaroslav@93
  2201
function java_lang_String_valueOfLjava_lang_StringJ(arg0) {
jaroslav@93
  2202
  var arg1;
jaroslav@93
  2203
  var stack = new Array();
jaroslav@93
  2204
  var gt = 0;
jaroslav@93
  2205
  for(;;) switch(gt) {
jaroslav@93
  2206
    case 0: stack.push(arg0); // 30
jaroslav@93
  2207
    case 1: stack.push(10); // 16 10
jaroslav@93
  2208
    case 3: { var v1 = stack.pop(); var v0 = stack.pop(); stack.push(java_lang_Long_toStringLjava_lang_StringJI(v0, v1)); } // 184 1 126
jaroslav@93
  2209
    case 6: return stack.pop(); // 176
jaroslav@93
  2210
  }
jaroslav@93
  2211
}
jaroslav@93
  2212
function java_lang_String_valueOfLjava_lang_StringF(arg0) {
jaroslav@93
  2213
  var stack = new Array();
jaroslav@93
  2214
  var gt = 0;
jaroslav@93
  2215
  for(;;) switch(gt) {
jaroslav@93
  2216
    case 0: stack.push(arg0); // 34
jaroslav@93
  2217
    case 1: { var v0 = stack.pop(); stack.push(java_lang_Float_toStringLjava_lang_StringF(v0)); } // 184 1 122
jaroslav@93
  2218
    case 4: return stack.pop(); // 176
jaroslav@93
  2219
  }
jaroslav@93
  2220
}
jaroslav@93
  2221
function java_lang_String_valueOfLjava_lang_StringD(arg0) {
jaroslav@93
  2222
  var arg1;
jaroslav@93
  2223
  var stack = new Array();
jaroslav@93
  2224
  var gt = 0;
jaroslav@93
  2225
  for(;;) switch(gt) {
jaroslav@93
  2226
    case 0: stack.push(arg0); // 38
jaroslav@93
  2227
    case 1: { var v0 = stack.pop(); stack.push(java_lang_Double_toStringLjava_lang_StringD(v0)); } // 184 1 121
jaroslav@93
  2228
    case 4: return stack.pop(); // 176
jaroslav@93
  2229
  }
jaroslav@93
  2230
}
jaroslav@93
  2231
function java_lang_String_internLjava_lang_String(arg0) {
jaroslav@93
  2232
  // no code found for null 
jaroslav@93
  2233
}
jaroslav@93
  2234
function java_lang_String_compareToILjava_lang_Object(arg0,arg1) {
jaroslav@93
  2235
  var arg2;
jaroslav@93
  2236
;
jaroslav@93
  2237
  var stack = new Array(2);
jaroslav@93
  2238
  var gt = 0;
jaroslav@93
  2239
  for(;;) switch(gt) {
jaroslav@93
  2240
    case 0: stack.push(arg0); // 42
jaroslav@93
  2241
    case 1: stack.push(arg1); // 43
jaroslav@93
  2242
    case 2: if(stack[stack.length - 1].$instOf_java_lang_String != 1) throw {}; // 192 0 200
jaroslav@93
  2243
    case 5: { var v0 = stack.pop(); var self = stack.pop(); stack.push(self.compareToILjava_lang_String(self, v0)); } // 182 1 148
jaroslav@93
  2244
    case 8: return stack.pop(); // 172
jaroslav@93
  2245
  }
jaroslav@93
  2246
}
jaroslav@93
  2247
function java_lang_String_classV() {
jaroslav@93
  2248
  var stack = new Array();
jaroslav@93
  2249
  var gt = 0;
jaroslav@93
  2250
  for(;;) switch(gt) {
jaroslav@93
  2251
    case 0: stack.push(0); // 3
jaroslav@93
  2252
    case 1: stack.push(new Array(stack.pop())); // 189 0 183
jaroslav@93
  2253
    case 4: java_lang_String_serialPersistentFields = stack.pop(); // 179 1 101
jaroslav@93
  2254
    case 7: stack.push(new java_lang_String$CaseInsensitiveComparator); // 187 0 202
jaroslav@93
  2255
    case 10: stack.push(stack[stack.length - 1]); // 89
jaroslav@93
  2256
    case 11:  // 1
jaroslav@93
  2257
    case 12: { var v0 = stack.pop(); java_lang_String$CaseInsensitiveComparator_consVLjava_lang_String$1(stack.pop(), v0); } // 183 1 160
jaroslav@93
  2258
    case 15: java_lang_String_CASE_INSENSITIVE_ORDER = stack.pop(); // 179 1 102
jaroslav@93
  2259
    case 18: return; // 177
jaroslav@93
  2260
  }
jaroslav@93
  2261
}
jaroslav@93
  2262
*/
jaroslav@93
  2263
var java_lang_String_serialVersionUID = 0;
jaroslav@93
  2264
var java_lang_String_serialPersistentFields = 0;
jaroslav@93
  2265
var java_lang_String_CASE_INSENSITIVE_ORDER = 0;
jaroslav@93
  2266
function java_lang_String() {
jaroslav@93
  2267
  /** the real value of this 'string' we delegate to */
jaroslav@93
  2268
  this.r = '';
jaroslav@93
  2269
  
jaroslav@93
  2270
  var self = this;
jaroslav@93
  2271
    /*
jaroslav@93
  2272
  this.value = 0;
jaroslav@93
  2273
  this.offset = 0;
jaroslav@93
  2274
  this.count = 0;
jaroslav@93
  2275
  this.hash = 0;
jaroslav@93
  2276
  */
jaroslav@93
  2277
  this.toString = function() { return self.r; };
jaroslav@93
  2278
}
jaroslav@93
  2279
java_lang_String.prototype = new String;
jaroslav@93
  2280
//java_lang_String_classV();
jaroslav@93
  2281
jaroslav@93
  2282
/* new method for JavaScript String */
jaroslav@93
  2283
String.prototype.charAtCI = java_lang_String_charAtCI;
jaroslav@93
  2284
String.prototype.lengthI = java_lang_String_lengthI;
jaroslav@93
  2285
String.prototype.isEmptyZ = java_lang_String_isEmptyZ;
jaroslav@93
  2286
String.prototype.getCharsVIIACI = java_lang_String_getCharsVIIACAI;
jaroslav@184
  2287
String.prototype.getCharsVACI = java_lang_String_getCharsVACI;
jaroslav@93
  2288
String.prototype.toStringLjava_lang_String = java_lang_String_toStringLjava_lang_String;
jaroslav@116
  2289
String.prototype.substringLjava_lang_StringI = java_lang_String_substringLjava_lang_StringI;
jaroslav@116
  2290
String.prototype.substringLjava_lang_StringII = java_lang_String_substringLjava_lang_StringII;
jaroslav@170
  2291
String.prototype.replaceLjava_lang_StringCC = java_lang_String_replaceLjava_lang_StringCC;
jaroslav@170
  2292
String.prototype.containsZLjava_lang_CharSequence = java_lang_String_containsZLjava_lang_CharSequence;
jaroslav@116
  2293
String.prototype.equalsZLjava_lang_Object = java_lang_String_equalsZLjava_lang_Object;
jtulach@169
  2294
String.prototype.toCharArrayAC = java_lang_String_toCharArrayAC;
jaroslav@177
  2295
String.prototype.valueOfLjava_lang_StringI=java_lang_String_valueOfLjava_lang_StringI;
jaroslav@182
  2296
String.prototype.startsWithZLjava_lang_StringI = java_lang_String_startsWithZLjava_lang_StringI;
jaroslav@182
  2297
String.prototype.startsWithZLjava_lang_String=java_lang_String_startsWithZLjava_lang_String;
jaroslav@182
  2298
String.prototype.endsWithZLjava_lang_String=java_lang_String_endsWithZLjava_lang_String;
jaroslav@184
  2299
String.prototype.indexOfII=java_lang_String_indexOfII;
jaroslav@184
  2300
String.prototype.indexOfIII=java_lang_String_indexOfIII;
jaroslav@182
  2301
jaroslav@93
  2302
String.prototype.$instOf_java_lang_String = true;
jaroslav@93
  2303
String.prototype.$instOf_java_io_Serializable = true;
jaroslav@93
  2304
String.prototype.$instOf_java_lang_Comparable = true;
jaroslav@93
  2305
String.prototype.$instOf_java_lang_CharSequence = true;
jaroslav@93
  2306
jaroslav@93
  2307
/*
jaroslav@93
  2308
  this.lengthI = java_lang_String_lengthI;
jaroslav@93
  2309
  this.isEmptyZ = java_lang_String_isEmptyZ;
jaroslav@93
  2310
  this.charAtCI = java_lang_String_charAtCI;
jaroslav@93
  2311
  this.codePointAtII = java_lang_String_codePointAtII;
jaroslav@93
  2312
  this.codePointBeforeII = java_lang_String_codePointBeforeII;
jaroslav@93
  2313
  this.codePointCountIII = java_lang_String_codePointCountIII;
jaroslav@93
  2314
  this.offsetByCodePointsIII = java_lang_String_offsetByCodePointsIII;
jaroslav@93
  2315
  this.getCharsVACI = java_lang_String_getCharsVACI;
jaroslav@93
  2316
  this.getCharsVIIACI = java_lang_String_getCharsVIIACI;
jaroslav@93
  2317
  this.getBytesVIIABI = java_lang_String_getBytesVIIABI;
jaroslav@93
  2318
  this.getBytesABLjava_lang_String = java_lang_String_getBytesABLjava_lang_String;
jaroslav@93
  2319
  this.getBytesABLjava_nio_charset_Charset = java_lang_String_getBytesABLjava_nio_charset_Charset;
jaroslav@93
  2320
  this.getBytesAB = java_lang_String_getBytesAB;
jaroslav@93
  2321
  this.equalsZLjava_lang_Object = java_lang_String_equalsZLjava_lang_Object;
jaroslav@93
  2322
  this.contentEqualsZLjava_lang_StringBuffer = java_lang_String_contentEqualsZLjava_lang_StringBuffer;
jaroslav@93
  2323
  this.contentEqualsZLjava_lang_CharSequence = java_lang_String_contentEqualsZLjava_lang_CharSequence;
jaroslav@93
  2324
  this.equalsIgnoreCaseZLjava_lang_String = java_lang_String_equalsIgnoreCaseZLjava_lang_String;
jaroslav@93
  2325
  this.compareToILjava_lang_String = java_lang_String_compareToILjava_lang_String;
jaroslav@93
  2326
  this.compareToIgnoreCaseILjava_lang_String = java_lang_String_compareToIgnoreCaseILjava_lang_String;
jaroslav@93
  2327
  this.regionMatchesZILjava_lang_StringII = java_lang_String_regionMatchesZILjava_lang_StringII;
jaroslav@93
  2328
  this.regionMatchesZZILjava_lang_StringII = java_lang_String_regionMatchesZZILjava_lang_StringII;
jaroslav@93
  2329
  this.startsWithZLjava_lang_StringI = java_lang_String_startsWithZLjava_lang_StringI;
jaroslav@93
  2330
  this.startsWithZLjava_lang_String = java_lang_String_startsWithZLjava_lang_String;
jaroslav@93
  2331
  this.endsWithZLjava_lang_String = java_lang_String_endsWithZLjava_lang_String;
jaroslav@93
  2332
  this.hashCodeI = java_lang_String_hashCodeI;
jaroslav@93
  2333
  this.indexOfII = java_lang_String_indexOfII;
jaroslav@93
  2334
  this.indexOfIII = java_lang_String_indexOfIII;
jaroslav@93
  2335
  this.lastIndexOfII = java_lang_String_lastIndexOfII;
jaroslav@93
  2336
  this.lastIndexOfIII = java_lang_String_lastIndexOfIII;
jaroslav@93
  2337
  this.indexOfILjava_lang_String = java_lang_String_indexOfILjava_lang_String;
jaroslav@93
  2338
  this.indexOfILjava_lang_StringI = java_lang_String_indexOfILjava_lang_StringI;
jaroslav@93
  2339
  this.lastIndexOfILjava_lang_String = java_lang_String_lastIndexOfILjava_lang_String;
jaroslav@93
  2340
  this.lastIndexOfILjava_lang_StringI = java_lang_String_lastIndexOfILjava_lang_StringI;
jaroslav@93
  2341
  this.substringLjava_lang_StringI = java_lang_String_substringLjava_lang_StringI;
jaroslav@93
  2342
  this.substringLjava_lang_StringII = java_lang_String_substringLjava_lang_StringII;
jaroslav@93
  2343
  this.subSequenceLjava_lang_CharSequenceII = java_lang_String_subSequenceLjava_lang_CharSequenceII;
jaroslav@93
  2344
  this.concatLjava_lang_StringLjava_lang_String = java_lang_String_concatLjava_lang_StringLjava_lang_String;
jaroslav@93
  2345
  this.replaceLjava_lang_StringCC = java_lang_String_replaceLjava_lang_StringCC;
jaroslav@93
  2346
  this.matchesZLjava_lang_String = java_lang_String_matchesZLjava_lang_String;
jaroslav@93
  2347
  this.containsZLjava_lang_CharSequence = java_lang_String_containsZLjava_lang_CharSequence;
jaroslav@93
  2348
  this.replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String = java_lang_String_replaceFirstLjava_lang_StringLjava_lang_StringLjava_lang_String;
jaroslav@93
  2349
  this.replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String = java_lang_String_replaceAllLjava_lang_StringLjava_lang_StringLjava_lang_String;
jaroslav@93
  2350
  this.replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence = java_lang_String_replaceLjava_lang_StringLjava_lang_CharSequenceLjava_lang_CharSequence;
jaroslav@93
  2351
  this.splitALjava_lang_StringLjava_lang_StringI = java_lang_String_splitALjava_lang_StringLjava_lang_StringI;
jaroslav@93
  2352
  this.splitALjava_lang_StringLjava_lang_String = java_lang_String_splitALjava_lang_StringLjava_lang_String;
jaroslav@93
  2353
  this.toLowerCaseLjava_lang_StringLjava_util_Locale = java_lang_String_toLowerCaseLjava_lang_StringLjava_util_Locale;
jaroslav@93
  2354
  this.toLowerCaseLjava_lang_String = java_lang_String_toLowerCaseLjava_lang_String;
jaroslav@93
  2355
  this.toUpperCaseLjava_lang_StringLjava_util_Locale = java_lang_String_toUpperCaseLjava_lang_StringLjava_util_Locale;
jaroslav@93
  2356
  this.toUpperCaseLjava_lang_String = java_lang_String_toUpperCaseLjava_lang_String;
jaroslav@93
  2357
  this.trimLjava_lang_String = java_lang_String_trimLjava_lang_String;
jaroslav@93
  2358
  this.toStringLjava_lang_String = java_lang_String_toStringLjava_lang_String;
jaroslav@93
  2359
  this.internLjava_lang_String = java_lang_String_internLjava_lang_String;
jaroslav@93
  2360
  this.compareToILjava_lang_Object = java_lang_String_compareToILjava_lang_Object;
jaroslav@93
  2361
 */
jaroslav@93
  2362
jaroslav@93
  2363
jaroslav@93
  2364