Improve List implementation.

dart/frog/leg/lib/js_helper.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #library('js_helper');
 
+#import('coreimpl.dart');
+
 /**
   * Returns true if both arguments are numbers.
   * If only the first argument is a number, throws the given message as
   * exception.
   */
 bool checkNumbers(var a, var b, var message) {
   if (a is num) {
     if (b is num) {
       return true;
     } else {
-      throw message;
+      throw new IllegalArgumentException(message);
     }
   }
   return false;
 }
 
 
 bool isJSArray(var value) {
   return JS("bool", @"$0.constructor === Array", value);
 }
 
@@ skipping 29 matching lines @@
 
 sub(var a, var b) {
   if (checkNumbers(a, b, "num- expects a number as second operand.")) {
     return JS("num", @"$0 - $1", a, b);
   }
   return UNINTERCEPTED(a - b);
 }
 
 mod(var a, var b) {
   if (checkNumbers(a, b, "int% expects an int as second operand.")) {
+    if (b === 0) throw new IntegerDivisionByZeroException();
     // Euclidean Modulo.
     int result = JS("num", @"$0 % $1", a, b);
     if (result == 0) return 0;  // Make sure we don't return -0.0.
     if (result > 0) return result;
     if (b < 0) {
       return result - b;
     } else {
       return result + b;
     }
   }
@@ skipping 66 matching lines @@
 le(var a, var b) {
   if (checkNumbers(a, b, "num<= expects a number as second operand.")) {
     return JS("bool", @"$0 <= $1", a, b);
   }
   return UNINTERCEPTED(a <= b);
 }
 
 shl(var a, var b) {
   // TODO(floitsch): inputs must be integers.
   if (checkNumbers(a, b, "int<< expects an int as second operand.")) {
+    if (b < 0) throw new IllegalArgumentException(b);
     return JS("num", @"$0 << $1", a, b);
   }
   return UNINTERCEPTED(a << b);
 }
 
 shr(var a, var b) {
   // TODO(floitsch): inputs must be integers.
   if (checkNumbers(a, b, "int>> expects an int as second operand.")) {
+    if (b < 0) throw new IllegalArgumentException(b);
     return JS("num", @"$0 >> $1", a, b);
   }
   return UNINTERCEPTED(a >> b);
 }
 
 and(var a, var b) {
   // TODO(floitsch): inputs must be integers.
   if (checkNumbers(a, b, "int& expects an int as second operand.")) {
     return JS("num", @"$0 & $1", a, b);
   }
@@ skipping 20 matching lines @@
   if (JS("bool", @"typeof $0 === 'number'", a)) return JS("num", @"~$0", a);
   return UNINTERCEPTED(~a);
 }
 
 neg(var a) {
   if (JS("bool", @"typeof $0 === 'number'", a)) return JS("num", @"-$0", a);
   return UNINTERCEPTED(-a);
 }
 
 index(var a, var index) {
+  checkNull(a);
   if (a is String || isJSArray(a)) {
     if (!(index is int)) {
       throw new IllegalArgumentException(index);
     }
     if (index < 0 || index >= a.length) {
       throw new IndexOutOfRangeException(index);
     }
     return JS("Object", @"$0[$1]", a, index);
   }
   return UNINTERCEPTED(a[index]);
 }
 
 indexSet(var a, var index, var value) {
+  checkNull(a);
   if (isJSArray(a)) {
     if (!(index is int)) {
       throw new IllegalArgumentException(index);
     }
     if (index < 0 || index >= a.length) {
       throw new IndexOutOfRangeException(index);
     }
     return JS("Object", @"$0[$1] = $2", a, index, value);
   }
   return UNINTERCEPTED(a[index] = value);
 }
 
 builtin$add$1(var receiver, var value) {
+  checkNull(receiver);
   if (isJSArray(receiver)) {
     JS("Object", @"$0.push($1)", receiver, value);
     return;
   }
   return UNINTERCEPTED(receiver.add(value));
 }
 
 builtin$removeLast$0(var receiver) {
+  checkNull(receiver);
   if (isJSArray(receiver)) {
+    if (receiver.length === 0) throw new IndexOutOfRangeException(-1);
     return JS("Object", @"$0.pop()", receiver);
   }
   return UNINTERCEPTED(receiver.removeLast());
 }
 
 builtin$filter$1(var receiver, var predicate) {
+  checkNull(receiver);
   if (isJSArray(receiver)) {
     return JS("Object", @"$0.filter(function(v) { return $1(v) === true; })",
               receiver, predicate);
   }
   return UNINTERCEPTED(receiver.filter(predicate));
 }
 
 
 builtin$get$length(var receiver) {
+  checkNull(receiver);
   if (receiver is String || isJSArray(receiver)) {
     return JS("num", @"$0.length", receiver);
   }
   return UNINTERCEPTED(receiver.length);
 }
 
+builtin$set$length(receiver, newLength) {
+  checkNull(receiver);
+  if (isJSArray(receiver)) {
+    checkNull(newLength); // TODO(ahe): This is not specified but co19 tests it.
+    if (newLength is !int) throw new IllegalArgumentException(newLength);
+    if (newLength < 0) throw new IndexOutOfRangeException(newLength);
+    JS('void', @"$0.length = $1", receiver, newLength);
+  } else {
+    UNINTERCEPTED(receiver.length = newLength);
+  }
+}
 
 builtin$toString$0(var value) {
   if (JS("bool", @"typeof $0 == 'object'", value)) {
     if (isJSArray(value)) {
       return "Instance of 'List'";
     }
     return UNINTERCEPTED(value.toString());
   }
   if (JS("bool", @"$0 === 0 && (1 / $0) < 0", value)) {
     return "-0.0";
   }
   if (value === null) return "null";
   if (JS("bool", @"typeof $0 == 'function'", value)) {
     return "Closure";
   }
   return JS("string", @"String($0)", value);
 }
 
 
-builtin$iterator$0(var receiver) {
+builtin$iterator$0(receiver) {
+  checkNull(receiver);
   if (isJSArray(receiver)) {
     return new ListIterator(receiver);
   }
   return UNINTERCEPTED(receiver.iterator());
 }
 
 class ListIterator<T> implements Iterator<T> {
   int i;
   List<T> list;
   ListIterator(List<T> this.list) : i = 0;
   bool hasNext() => i < JS("int", @"$0.length", list);
   T next() {
+    if (!hasNext()) throw new NoMoreElementsException();
     var value = JS("Object", @"$0[$1]", list, i);
     i += 1;
     return value;
   }
 }
 
 builtin$charCodeAt$1(var receiver, int index) {
   if (receiver is String) {
     return JS("string", @"$0.charCodeAt($1)", receiver, index);
   } else {
     return UNINTERCEPTED(receiver.charCodeAt(index));
   }
 }
 
 builtin$isEmpty$0(var receiver) {

[kasperl, 2012/02/21 07:16:43]

Want to remove var here too?

[ahe, 2012/02/21 23:03:25]

Done.

+  checkNull(receiver);
   if (receiver is String || isJSArray(receiver)) {
     return JS("bool", @"$0.length === 0", receiver);
   }
   return UNINTERCEPTED(receiver.isEmpty());
 }
 
 class Primitives {
   static void printString(String string) {
     var hasConsole = JS("bool", @"typeof console == 'object'");
     if (hasConsole) {
       JS("void", @"console.log($0)", string);
     } else {
       JS("void", @"write($0)", string);
       JS("void", @"write('\n')");
     }
   }
 
   static String objectToString(Object object) {
     String name = JS('String', @'$0.constructor.name', object);
     if (name === null) {
       name = JS('String', @'$0.match(/^\s*function\s*(\S*)\s*\(/)[1]',
                 JS('String', @'$0.constructor.toString()', object));
     }
     return "Instance of '$name'";
   }
 
-  static List newList(int length) {
+  static List newList(length) {
     if (length == null) return JS("Object", @"new Array()");
-    if (!(length is int)) throw "Invalid argument";
-    if (length < 0) throw "Negative size";
+    if ((length is !int) || (length < 0)) {
+      throw new IllegalArgumentException(length);
+    }
     return JS("Object", @"new Array($0)", length);
   }
 
   static num dateNow() => JS("num", @"Date.now()");
 
   static num mathFloor(num value) => JS("num", @"Math.floor($0)", value);
 
   static brokenDownDateToSecondsSinceEpoch(
       int years, int month, int day, int hours, int minutes, int seconds,
       bool isUtc) {
@@ skipping 49 matching lines @@
       return 1;
     } else {
       return -1;
     }
   } else if (a is String) {
     throw 'String.compareTo is not implemented';
   } else {
     return UNINTERCEPTED(a.compareTo(b));
   }
 }
+
+iae(argument) {

[kasperl, 2012/02/21 07:16:43]

Maybe make it clear (through a comment at least) that these methods are called
from generated code for user functions.

[ahe, 2012/02/21 23:03:25]

Done.

+  throw new IllegalArgumentException(argument);
+}
+
+ioore(index) {
+  throw new IndexOutOfRangeException(index);
+}
+
+builtin$addAll$1(receiver, collection) {
+  checkNull(receiver);
+  if (!isJSArray(receiver)) return UNINTERCEPTED(receiver.addAll(collection));
+
+  var iterator = collection.iterator();

[ngeoffray, 2012/02/21 10:41:45]

Why not using for in?

[ahe, 2012/02/21 23:03:25]

Because I thought it wasn't implemented and because I have seen it cause
problems in bailout code. I'll add a TODO.

+  while (iterator.hasNext()) {
+    receiver.add(iterator.next());
+  }
+}
+
+// TODO(ahe): Investigate why this method causes a compiler crash.
+XXX_builtin$addLast$1(receiver, value) {
+  checkNull(receiver);
+  if (!isJSArray(receiver)) return UNINTERCEPTED(receiver.addLast(value));
+
+  throw @'builtin$addLast$1 is not implemented';
+}
+
+builtin$clear$0(receiver) {
+  checkNull(receiver);
+  if (!isJSArray(receiver)) return UNINTERCEPTED(receiver.clear());
+  receiver.length = 0;
+}
+
+// TODO(ahe): Investigate why this method causes a compiler crash.
+XXX_builtin$forEach$1(receiver, f) {
+  checkNull(receiver);
+  if (!isJSArray(receiver)) return UNINTERCEPTED(receiver.forEach(f));
+
+  throw @'builtin$forEach$1 is not implemented';
+}
+
+builtin$getRange$2(receiver, start, length) {
+  checkNull(receiver);
+  if (!isJSArray(receiver)) {
+    return UNINTERCEPTED(receiver.getRange(start, length));
+  }
+  if (0 === length) return [];
+  checkNull(start); // TODO(ahe): This is not specified but co19 tests it.
+  checkNull(length); // TODO(ahe): This is not specified but co19 tests it.
+  if (start is !int) throw new IllegalArgumentException(start);
+  if (length is !int) throw new IllegalArgumentException(length);
+  if (start < 0) throw new IndexOutOfRangeException(start);
+  var end = start + length;
+  if (end > receiver.length) {
+    throw new IndexOutOfRangeException(length);
+  }
+  if (length < 0) throw new IllegalArgumentException(length);
+  return JS("Object", @"$0.slice($1, $2)", receiver, start, end);
+}
+
+builtin$indexOf$1(receiver, element) {
+  checkNull(receiver);
+  if (isJSArray(receiver) || receiver is String) {
+    return builtin$indexOf$2(receiver, element, 0);
+  }
+  return UNINTERCEPTED(receiver.indexOf(element));
+}
+
+builtin$indexOf$2(receiver, element, start) {
+  checkNull(receiver);
+  if (isJSArray(receiver)) {
+    if (start is !int) throw new IllegalArgumentException(start);
+    var length = JS("num", @"$0.length", receiver);
+    return Arrays.indexOf(receiver, element, start, length);
+  } else if (receiver is String) {
+    throw new NotImplementedException();
+  }
+  return UNINTERCEPTED(receiver.indexOf(element, start));
+}
+
+builtin$insertRange$2(receiver, start, length) {
+  checkNull(receiver);
+  if (isJSArray(receiver)) {
+    return builtin$insertRange$3(receiver, start, length, null);
+  }
+  return UNINTERCEPTED(receiver.insertRange(start, length));
+}
+
+builtin$insertRange$3(receiver, start, length, initialValue) {
+  checkNull(receiver);
+  if (!isJSArray(receiver)) {

[ngeoffray, 2012/02/21 10:41:45]

It would look consistent to have this check inverted.

[ahe, 2012/02/21 23:03:25]

I'll do this in a follow-up CL. I have 17 CL building on top of this, so I don't
want to make the merging harder than necessary.

+    return UNINTERCEPTED(receiver.insertRange(start, length, initialValue));
+  }
+  return listInsertRange(receiver, start, length, initialValue);
+}
+
+listInsertRange(receiver, start, length, initialValue) {
+  if (length === 0) {
+    return;
+  }
+  checkNull(start); // TODO(ahe): This is not specified but co19 tests it.
+  checkNull(length); // TODO(ahe): This is not specified but co19 tests it.
+  if (length is !int) throw new IllegalArgumentException(length);
+  if (length < 0) throw new IllegalArgumentException(length);
+  if (start is !int) throw new IllegalArgumentException(start);
+
+  var receiverLength = JS("num", @"$0.length", receiver);
+  if (start < 0 || start > receiverLength) {
+    throw new IndexOutOfRangeException(start);
+  }
+  receiver.length = receiverLength + length;
+  Arrays.copy(receiver,
+              start,
+              receiver,
+              start + length,
+              receiverLength - start);
+  if (initialValue !== null) {
+    for (int i = start; i < start + length; i++) {
+      receiver[i] = initialValue;
+    }
+  }
+  receiver.length = receiverLength + length;
+}
+
+builtin$last$0(receiver) {
+  checkNull(receiver);
+  if (!isJSArray(receiver)) {
+    return UNINTERCEPTED(receiver.last());

[ngeoffray, 2012/02/21 10:41:45]

Ditto for consistency,

+  }
+  return receiver[receiver.length - 1];
+}
+
+builtin$lastIndexOf$1(receiver, element) {
+  checkNull(receiver);
+  if (isJSArray(receiver)) {
+    var start = JS("num", @"$0.length", receiver);
+    return Arrays.lastIndexOf(receiver, element, start);
+  } else if (receiver is String) {
+    throw new NotImplementedException();
+  }
+  return UNINTERCEPTED(receiver.lastIndexOf(element));
+}
+
+builtin$lastIndexOf$2(receiver, element, start) {
+  checkNull(receiver);
+  if (isJSArray(receiver)) {
+    return Arrays.lastIndexOf(receiver, element, start);
+  } else if (receiver is String) {
+    throw new NotImplementedException();
+  }
+  return UNINTERCEPTED(receiver.lastIndexOf(element, start));
+}
+
+builtin$removeRange$2(receiver, start, length) {
+  checkNull(receiver);
+  if (!isJSArray(receiver)) {
+    return UNINTERCEPTED(receiver.removeRange(start, length));

[ngeoffray, 2012/02/21 10:41:45]

Ditto.

+  }
+  if (length == 0) {
+    return;
+  }
+  checkNull(start); // TODO(ahe): This is not specified but co19 tests it.
+  checkNull(length); // TODO(ahe): This is not specified but co19 tests it.
+  if (start is !int) throw new IllegalArgumentException(start);
+  if (length is !int) throw new IllegalArgumentException(length);
+  if (length < 0) throw new IllegalArgumentException(length);
+  var receiverLength = JS("num", @"$0.length", receiver);
+  if (start < 0 || start >= receiverLength) {
+    throw new IndexOutOfRangeException(start);
+  }
+  if (start + length > receiverLength) {
+    throw new IndexOutOfRangeException(start + length);
+  }
+  Arrays.copy(receiver,
+              start + length,
+              receiver,
+              start,
+              receiverLength - length - start);
+  receiver.length = receiverLength - length;
+}
+
+builtin$setRange$3(receiver, start, length, from) {
+  checkNull(receiver);
+  if (isJSArray(receiver)) {
+    return builtin$setRange$4(receiver, start, length, from, 0);
+  }
+  return UNINTERCEPTED(receiver.setRange(start, length, from));
+}
+
+builtin$setRange$4(receiver, start, length, from, startFrom) {
+  checkNull(receiver);
+  if (!isJSArray(receiver)) {
+    return UNINTERCEPTED(receiver.setRange(start, length, from, startFrom));
+  }
+
+  if (length === 0) return;
+  checkNull(start); // TODO(ahe): This is not specified but co19 tests it.
+  checkNull(length); // TODO(ahe): This is not specified but co19 tests it.
+  checkNull(from); // TODO(ahe): This is not specified but co19 tests it.
+  checkNull(startFrom); // TODO(ahe): This is not specified but co19 tests it.
+  if (start is !int) throw new IllegalArgumentException(start);
+  if (length is !int) throw new IllegalArgumentException(length);
+  if (startFrom is !int) throw new IllegalArgumentException(startFrom);
+  if (length < 0) throw new IllegalArgumentException(length);
+  if (start < 0) throw new IndexOutOfRangeException(start);
+  if (start + length > receiver.length) {
+    throw new IndexOutOfRangeException(start + length);
+  }
+
+  Arrays.copy(from, startFrom, receiver, start, length);
+}
+
+builtin$some$1(receiver, f) {
+  checkNull(receiver);
+  if (!isJSArray(receiver)) return UNINTERCEPTED(receiver.some(f));
+
+  return Collections.some(receiver, f);
+}
+
+builtin$sort$1(receiver, compare) {
+  checkNull(receiver);
+  if (!isJSArray(receiver)) return UNINTERCEPTED(receiver.sort(compare));
+
+  DualPivotQuicksort.sort(receiver, compare);
+}
+
+checkNull(object) {
+  if (object === null) throw new NullPointerException();
+}
+
+builtin$isNegative$0(receiver) {
+  checkNull(receiver);
+  if (receiver is num) {
+    return (receiver === 0) ? (1 / receiver) < 0 : receiver < 0;
+  } else {
+    return UNINTERCEPTED(receiver.isNegative());
+  }
+}
+
+builtin$isNaN$0(receiver) {
+  checkNull(receiver);
+  if (receiver is num) {
+    return JS("bool", @"isNaN($0)", receiver);
+  } else {
+    return UNINTERCEPTED(receiver.isNegative());
+  }
+}
+
+builtin$remainder$1(a, b) {
+  checkNull(a);
+  if (checkNumbers(a, b, "num.remainder expects a number as second operand.")) {
+    throw new NotImplementedException();
+  } else {
+    return UNINTERCEPTED(a.remainder(b));
+  }
+}
+
+builtin$abs$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !num) return UNINTERCEPTED(receiver.abs());
+
+  throw new NotImplementedException();
+}
+
+builtin$toInt$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !num) return UNINTERCEPTED(receiver.toInt());
+
+  throw new NotImplementedException();
+}
+
+builtin$ceil$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !num) return UNINTERCEPTED(receiver.ceil());
+
+  throw new NotImplementedException();
+}
+
+builtin$floor$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !num) return UNINTERCEPTED(receiver.floor());
+
+  throw new NotImplementedException();
+}
+
+builtin$isInfinite$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !num) return UNINTERCEPTED(receiver.isInfinite());
+
+  throw new NotImplementedException();
+}
+
+builtin$negate$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !num) return UNINTERCEPTED(receiver.negate());
+
+  throw new NotImplementedException();
+}
+
+builtin$round$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !num) return UNINTERCEPTED(receiver.round());
+
+  throw new NotImplementedException();
+}
+
+builtin$toDouble$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !num) return UNINTERCEPTED(receiver.toDouble());
+
+  throw new NotImplementedException();
+}
+
+builtin$truncate$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !num) return UNINTERCEPTED(receiver.truncate());
+
+  throw new NotImplementedException();
+}
+
+
+builtin$toStringAsFixed$1(receiver, fractionDigits) {
+  checkNull(receiver);
+  if (receiver is !num) {
+    return UNINTERCEPTED(receiver.toStringAsFixed(fractionDigits));
+  }
+
+  throw new NotImplementedException();
+}
+
+builtin$allMatches$1(receiver, str) {
+  checkNull(receiver);
+  if (receiver is !String) return UNINTERCEPTED(receiver.allMatches(str));
+
+  throw new NotImplementedException();
+}
+
+builtin$concat$1(receiver, other) {
+  checkNull(receiver);
+  if (receiver is !String) return UNINTERCEPTED(receiver.concat(other));
+
+  throw new NotImplementedException();
+}
+
+builtin$contains$2(receiver, other, startIndex) {
+  checkNull(receiver);
+  if (receiver is !String) {
+    return UNINTERCEPTED(receiver.contains(other, startIndex));
+  }
+
+  throw new NotImplementedException();
+}
+
+builtin$endsWith$1(receiver, other) {
+  checkNull(receiver);
+  if (receiver is !String) return UNINTERCEPTED(receiver.endsWith(other));
+
+  throw new NotImplementedException();
+}
+
+builtin$replaceAll$2(receiver, from, to) {
+  checkNull(receiver);
+  if (receiver is !String) return UNINTERCEPTED(receiver.replaceAll(from, to));
+
+  throw new NotImplementedException();
+}
+
+builtin$replaceFirst$2(receiver, from, to) {
+  checkNull(receiver);
+  if (receiver is !String) {
+    return UNINTERCEPTED(receiver.replaceFirst(from, to));
+  }
+
+  throw new NotImplementedException();
+}
+
+builtin$split$1(receiver, pattern) {
+  checkNull(receiver);
+  if (receiver is !String) return UNINTERCEPTED(receiver.split(pattern));
+
+  throw new NotImplementedException();
+}
+
+builtin$splitChars$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !String) return UNINTERCEPTED(receiver.splitChars());
+
+  throw new NotImplementedException();
+}
+
+builtin$startsWith$1(receiver, other) {
+  checkNull(receiver);
+  if (receiver is !String) return UNINTERCEPTED(receiver.startsWith(other));
+
+  throw new NotImplementedException();
+}
+
+builtin$substring$1(receiver, startIndex) {
+  checkNull(receiver);
+  if (receiver is !String) return UNINTERCEPTED(receiver.substring(startIndex));
+
+  throw new NotImplementedException();
+}
+
+builtin$substring$2(receiver, startIndex, endIndex) {
+  checkNull(receiver);
+  if (receiver is !String) {
+    return UNINTERCEPTED(receiver.substring(startIndex, endIndex));
+  }
+
+  throw new NotImplementedException();
+}
+
+builtin$toLowerCase$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !String) return UNINTERCEPTED(receiver.toLowerCase());
+
+  throw new NotImplementedException();
+}
+
+builtin$toUpperCase$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !String) return UNINTERCEPTED(receiver.toUpperCase());
+
+  throw new NotImplementedException();
+}
+
+builtin$trim$0(receiver) {
+  checkNull(receiver);
+  if (receiver is !String) return UNINTERCEPTED(receiver.trim());
+
+  throw new NotImplementedException();
+}