1.1 --- a/vm/src/main/resources/org/apidesign/vm4brwsr/emulation/java_lang_String.js	Fri Sep 28 07:27:34 2012 +0200
     1.2 +++ b/vm/src/main/resources/org/apidesign/vm4brwsr/emulation/java_lang_String.js	Fri Sep 28 07:43:53 2012 +0200
     1.3 @@ -662,32 +662,6 @@
     1.4      case 19: return; // 177
     1.5    }
     1.6  }
     1.7 -function java_lang_String_lengthI(arg0) {
     1.8 -  var arg1;
     1.9 -;
    1.10 -  var stack = new Array(1);
    1.11 -  var gt = 0;
    1.12 -  for(;;) switch(gt) {
    1.13 -    case 0: stack.push(arg0); // 42
    1.14 -    case 1: stack.push(stack.pop().count); // 180 1 97
    1.15 -    case 4: return stack.pop(); // 172
    1.16 -  }
    1.17 -}
    1.18 -function java_lang_String_isEmptyZ(arg0) {
    1.19 -  var arg1;
    1.20 -;
    1.21 -  var stack = new Array(1);
    1.22 -  var gt = 0;
    1.23 -  for(;;) switch(gt) {
    1.24 -    case 0: stack.push(arg0); // 42
    1.25 -    case 1: stack.push(stack.pop().count); // 180 1 97
    1.26 -    case 4: if (stack.pop() != 0) { gt = 11; continue; } // 154 0 7
    1.27 -    case 7: stack.push(1); // 4
    1.28 -    case 8: gt = 12; continue; // 167 0 4
    1.29 -    case 11: stack.push(0); // 3
    1.30 -    case 12: return stack.pop(); // 172
    1.31 -  }
    1.32 -}
    1.33  */
    1.34  
    1.35  String.prototype._toJS = function (self) { return self; };
    1.36 @@ -695,6 +669,13 @@
    1.37  function java_lang_String_charAtCI(arg0,arg1) {
    1.38      return arg0._toJS(arg0).charAt(arg1);
    1.39  }
    1.40 +function java_lang_String_lengthI(arg0) {
    1.41 +    return arg0._toJS(arg0).length;
    1.42 +}
    1.43 +function java_lang_String_isEmptyZ(arg0) {
    1.44 +    return arg0._toJS(arg0).length === 0;
    1.45 +}
    1.46 +
    1.47  /*
    1.48  function java_lang_String_codePointAtII(arg0,arg1) {
    1.49    var arg2;
    1.50 @@ -3395,6 +3376,8 @@
    1.51  
    1.52  /* new method for JavaScript String */
    1.53  String.prototype.charAtCI = java_lang_String_charAtCI;
    1.54 +String.prototype.lengthI = java_lang_String_lengthI;
    1.55 +String.prototype.isEmptyZ = java_lang_String_isEmptyZ;
    1.56  
    1.57  
    1.58