adds array bounds checking

frog/minfrog

 #!/usr/bin/env node
 //  ********** Library dart:core **************
 //  ********** Natives dart:core **************
 function $throw(e) {
   // If e is not a value, we can use V8's captureStackTrace utility method.
   // TODO(jmesserly): capture the stack trace on other JS engines.
   if (e && (typeof e == 'object') && Error.captureStackTrace) {
     // TODO(jmesserly): this will clobber the e.stack property
     Error.captureStackTrace(e, $throw);
   }
   throw e;
 }
 Object.defineProperty(Object.prototype, '$index', { value: function(i) {
   var proto = Object.getPrototypeOf(this);
   if (proto !== Object) {
     proto.$index = function(i) { return this[i]; }
   }
   return this[i];
 }, enumerable: false, writable: true, configurable: true});
-Object.defineProperty(Array.prototype, '$index', { value: function(i) { 
-  return this[i]; 
+Object.defineProperty(Array.prototype, '$index', { value: function(index) {
+  var i = index | 0;
+  if (i !== index) {
+    throw new IllegalArgumentException('index is not int');
+  } else if (i < 0 || i >= this.length) {
+    throw new IndexOutOfRangeException(index);
+  }
+  return this[i];
 }, enumerable: false, writable: true, configurable: true});
-Object.defineProperty(String.prototype, '$index', { value: function(i) { 
-  return this[i]; 
+Object.defineProperty(String.prototype, '$index', { value: function(i) {
+  return this[i];
 }, enumerable: false, writable: true, configurable: true});
 Object.defineProperty(Object.prototype, '$setindex', { value: function(i, value) {
   var proto = Object.getPrototypeOf(this);
   if (proto !== Object) {
     proto.$setindex = function(i, value) { return this[i] = value; }
   }
   return this[i] = value;
 }, enumerable: false, writable: true, configurable: true});
-Object.defineProperty(Array.prototype, '$setindex', { value: function(i, value) { 
-  return this[i] = value; }, enumerable: false, writable: true, 
+Object.defineProperty(Array.prototype, '$setindex', { value: function(index, value) {
+  var i = index | 0;
+  if (i !== index) {
+    throw new IllegalArgumentException('index is not int');
+  } else if (i < 0 || i >= this.length) {
+    throw new IndexOutOfRangeException(index);
+  }
+  return this[i] = value; }, enumerable: false, writable: true,
   configurable: true});
 function $add(x, y) {
   return ((typeof(x) == 'number' && typeof(y) == 'number') ||
           (typeof(x) == 'string'))
     ? x + y : x.$add(y);
 }
 function $bit_xor(x, y) {
   return (typeof(x) == 'number' && typeof(y) == 'number')
     ? x ^ y : x.$bit_xor(y);
 }
 function $eq(x, y) {
   if (x == null) return y == null;
   return (typeof(x) == 'number' && typeof(y) == 'number') ||
          (typeof(x) == 'boolean' && typeof(y) == 'boolean') ||
          (typeof(x) == 'string' && typeof(y) == 'string')
     ? x == y : x.$eq(y);
 }
 // TODO(jimhug): Should this or should it not match equals?
-Object.defineProperty(Object.prototype, '$eq', { value: function(other) { 
+Object.defineProperty(Object.prototype, '$eq', { value: function(other) {
   return this === other;
 }, enumerable: false, writable: true, configurable: true });
 function $gt(x, y) {
   return (typeof(x) == 'number' && typeof(y) == 'number')
     ? x > y : x.$gt(y);
 }
 function $gte(x, y) {
   return (typeof(x) == 'number' && typeof(y) == 'number')
     ? x >= y : x.$gte(y);
 }
@@ skipping 127 matching lines @@
   return this.noSuchMethod("write", [$0]);
 }, enumerable: false, writable: true, configurable: true });
 // ********** Code for Clock **************
 function Clock() {}
 Clock.now = function() {
   return new Date().getTime();
 }
 Clock.frequency = function() {
   return (1000);
 }
+// ********** Code for IndexOutOfRangeException **************
+function IndexOutOfRangeException(_index) {
+  this._index = _index;
+}
+IndexOutOfRangeException.prototype.is$IndexOutOfRangeException = function(){return true};
+IndexOutOfRangeException.prototype.toString = function() {
+  return ("IndexOutOfRangeException: " + this._index);
+}
+IndexOutOfRangeException.prototype.toString$0 = IndexOutOfRangeException.prototype.toString;
 // ********** Code for IllegalAccessException **************
 function IllegalAccessException() {
 
 }
 IllegalAccessException.prototype.toString = function() {
   return "Attempt to modify an immutable object";
 }
 IllegalAccessException.prototype.toString$0 = IllegalAccessException.prototype.toString;
 // ********** Code for NoSuchMethodException **************
 function NoSuchMethodException(_receiver, _functionName, _arguments) {
@@ skipping 23 matching lines @@
 }
 ClosureArgumentMismatchException.prototype.toString$0 = ClosureArgumentMismatchException.prototype.toString;
 // ********** Code for ObjectNotClosureException **************
 function ObjectNotClosureException() {
 
 }
 ObjectNotClosureException.prototype.toString = function() {
   return "Object is not closure";
 }
 ObjectNotClosureException.prototype.toString$0 = ObjectNotClosureException.prototype.toString;
+// ********** Code for IllegalArgumentException **************
+function IllegalArgumentException(args) {
+  this._args = args;
+}
+IllegalArgumentException.prototype.is$IllegalArgumentException = function(){return true};
+IllegalArgumentException.prototype.toString = function() {
+  return ("Illegal argument(s): " + this._args);
+}
+IllegalArgumentException.prototype.toString$0 = IllegalArgumentException.prototype.toString;
 // ********** Code for StackOverflowException **************
 function StackOverflowException() {
 
 }
 StackOverflowException.prototype.toString = function() {
   return "Stack Overflow";
 }
 StackOverflowException.prototype.toString$0 = StackOverflowException.prototype.toString;
 // ********** Code for BadNumberFormatException **************
 function BadNumberFormatException(_s) {
@@ skipping 20 matching lines @@
 }
 NoMoreElementsException.prototype.toString$0 = NoMoreElementsException.prototype.toString;
 // ********** Code for EmptyQueueException **************
 function EmptyQueueException() {
 
 }
 EmptyQueueException.prototype.toString = function() {
   return "EmptyQueueException";
 }
 EmptyQueueException.prototype.toString$0 = EmptyQueueException.prototype.toString;
+// ********** Code for IntegerDivisionByZeroException **************
+function IntegerDivisionByZeroException() {
+
+}
+IntegerDivisionByZeroException.prototype.is$IntegerDivisionByZeroException = function(){return true};
+IntegerDivisionByZeroException.prototype.toString = function() {
+  return "IntegerDivisionByZeroException";
+}
+IntegerDivisionByZeroException.prototype.toString$0 = IntegerDivisionByZeroException.prototype.toString;
 // ********** Code for dart_core_Function **************
 Function.prototype.to$call$0 = function() {
   this.call$0 = this._genStub(0);
   this.to$call$0 = function() { return this.call$0; };
   return this.call$0;
 };
 Function.prototype.call$0 = function() {
   return this.to$call$0()();
 };
 function to$call$0(f) { return f && f.to$call$0(); }
@@ skipping 134 matching lines @@
     this.add(item);
   }
 }, enumerable: false, writable: true, configurable: true });
 Object.defineProperty(ListFactory.prototype, "clear", { value: function() {
   this.set$length((0));
 }, enumerable: false, writable: true, configurable: true });
 Object.defineProperty(ListFactory.prototype, "removeLast", { value: function() {
   return this.pop();
 }, enumerable: false, writable: true, configurable: true });
 Object.defineProperty(ListFactory.prototype, "last", { value: function() {
-  return this[this.get$length() - (1)];
+  return this.$index(this.get$length() - (1));
 }, enumerable: false, writable: true, configurable: true });
 Object.defineProperty(ListFactory.prototype, "getRange", { value: function(start, length) {
-  return this.slice(start, start + length);
+      if (length == 0) return [];
+      if (length < 0) throw new IllegalArgumentException('length');
+      if (start < 0 || start + length > this.length)
+        throw new IndexOutOfRangeException(start);
+      return this.slice(start, start + length);
+    
 }, enumerable: false, writable: true, configurable: true });
 Object.defineProperty(ListFactory.prototype, "insertRange", { value: function(start, length, initialValue) {
+      if (length == 0) return;
+      if (length < 0) throw new IllegalArgumentException('length');
+      if (start < 0 || start > this.length)
+        throw new IndexOutOfRangeException(start);
+
       // Splice in the values with a minimum of array allocations.
       var args = new Array(length + 2);
       args[0] = start;
       args[1] = 0;
       for (var i = 0; i < length; i++) {
         args[i + 2] = initialValue;
       }
       this.splice.apply(this, args);
       
 }, enumerable: false, writable: true, configurable: true });
@@ skipping 1152 matching lines @@
         if (entry.map.hasOwnProperty(tag)) {
           method = methods[entry.tag];
           if (method) break;
         }
       }
     }
     method = method || methods.Object;
     var proto = Object.getPrototypeOf(obj);
     if (!proto.hasOwnProperty(name)) {
       Object.defineProperty(proto, name,
-        { value: method, enumerable: false, writable: true, 
+        { value: method, enumerable: false, writable: true,
         configurable: true });
     }
 
     return method.apply(this, Array.prototype.slice.call(arguments));
   };
   $dynamicBind.methods = methods;
   Object.defineProperty(Object.prototype, name, { value: $dynamicBind,
       enumerable: false, writable: true, configurable: true});
   return methods;
 }
@@ skipping 1115 matching lines @@
   this.writeln(text);
 }
 CodeWriter.prototype.nextBlock = function(text) {
   this._indentation--;
   this.writeln(text);
   this._indentation++;
 }
 CodeWriter.prototype.write$1 = CodeWriter.prototype.write;
 // ********** Code for CoreJs **************
 function CoreJs() {
-  this.useAssert = false;
   this.useIsolates = false;
   this._generatedTypeNameOf = false;
   this._usedOperators = new HashMapImplementation();
   this._generatedInherits = false;
   this.useNotNullBool = false;
   this.writer = new CodeWriter();
   this.useWrap0 = false;
   this.useThrow = false;
   this._generatedDynamicProto = false;
   this.useWrap1 = false;
   this.useSetIndex = false;
   this.useIndex = false;
 }
 CoreJs.prototype.get$writer = function() { return this.writer; };
 CoreJs.prototype.set$writer = function(value) { return this.writer = value; };
 CoreJs.prototype.useOperator = function(name) {
   if ($ne(this._usedOperators.$index(name))) return;
   var code;
   switch (name) {
     case ":ne":
 
       code = "function $ne(x, y) {\n  if (x == null) return y != null;\n  return (typeof(x) == 'number' && typeof(y) == 'number') ||\n         (typeof(x) == 'boolean' && typeof(y) == 'boolean') ||\n         (typeof(x) == 'string' && typeof(y) == 'string')\n    ? x != y : !x.$eq(y);\n}";
       break;
 
     case ":eq":
 
-      code = "function $eq(x, y) {\n  if (x == null) return y == null;\n  return (typeof(x) == 'number' && typeof(y) == 'number') ||\n         (typeof(x) == 'boolean' && typeof(y) == 'boolean') ||\n         (typeof(x) == 'string' && typeof(y) == 'string')\n    ? x == y : x.$eq(y);\n}\n// TODO(jimhug): Should this or should it not match equals?\nObject.defineProperty(Object.prototype, '$eq', { value: function(other) { \n  return this === other;\n}, enumerable: false, writable: true, configurable: true });";
+      code = "function $eq(x, y) {\n  if (x == null) return y == null;\n  return (typeof(x) == 'number' && typeof(y) == 'number') ||\n         (typeof(x) == 'boolean' && typeof(y) == 'boolean') ||\n         (typeof(x) == 'string' && typeof(y) == 'string')\n    ? x == y : x.$eq(y);\n}\n// TODO(jimhug): Should this or should it not match equals?\nObject.defineProperty(Object.prototype, '$eq', { value: function(other) {\n  return this === other;\n}, enumerable: false, writable: true, configurable: true });";
       break;
 
     case ":bit_not":
 
       code = "function $bit_not(x) {\n  return (typeof(x) == 'number') ? ~x : x.$bit_not();\n}";
       break;
 
     case ":negate":
 
       code = "function $negate(x) {\n  return (typeof(x) == 'number') ? -x : x.$negate();\n}";
       break;
 
     case ":add":
 
       code = "function $add(x, y) {\n  return ((typeof(x) == 'number' && typeof(y) == 'number') ||\n          (typeof(x) == 'string'))\n    ? x + y : x.$add(y);\n}";
       break;
 
     case ":truncdiv":
 
       this.useThrow = true;
+      $globals.world.gen.markTypeUsed($globals.world.corelib.types.$index("IntegerDivisionByZeroException"));
       code = "function $truncdiv(x, y) {\n  if (typeof(x) == 'number' && typeof(y) == 'number') {\n    if (y == 0) $throw(new IntegerDivisionByZeroException());\n    var tmp = x / y;\n    return (tmp < 0) ? Math.ceil(tmp) : Math.floor(tmp);\n  } else {\n    return x.$truncdiv(y);\n  }\n}";
       break;
 
     case ":mod":
 
       code = "function $mod(x, y) {\n  if (typeof(x) == 'number' && typeof(y) == 'number') {\n    var result = x % y;\n    if (result == 0) {\n      return 0;  // Make sure we don't return -0.0.\n    } else if (result < 0) {\n      if (y < 0) {\n        return result - y;\n      } else {\n        return result + y;\n      }\n    }\n    return result;\n  } else {\n    return x.$mod(y);\n  }\n}";
       break;
 
     default:
 
       var op = TokenKind.rawOperatorFromMethod(name);
       var jsname = $globals.world.toJsIdentifier(name);
       code = _otherOperator(jsname, op);
       break;
 
   }
   this._usedOperators.$setindex(name, code);
 }
 CoreJs.prototype.ensureDynamicProto = function() {
   if (this._generatedDynamicProto) return;
   this._generatedDynamicProto = true;
   this.ensureTypeNameOf();
-  this.writer.writeln("function $dynamic(name) {\n  var f = Object.prototype[name];\n  if (f && f.methods) return f.methods;\n\n  var methods = {};\n  if (f) methods.Object = f;\n  function $dynamicBind() {\n    // Find the target method\n    var obj = this;\n    var tag = obj.$typeNameOf();\n    var method = methods[tag];\n    if (!method) {\n      var table = $dynamicMetadata;\n      for (var i = 0; i < table.length; i++) {\n        var entry = table[i];\n        if (entry.map.hasOwnProperty(tag)) {\n          method = methods[entry.tag];\n          if (method) break;\n        }\n      }\n    }\n    method = method || methods.Object;\n    var proto = Object.getPrototypeOf(obj);\n    if (!proto.hasOwnProperty(name)) {\n      Object.defineProperty(proto, name,\n        { value: method, enumerable: false, writable: true, \n        configurable: true });\n    }\n\n    return method.apply(this, Array.prototype.slice.call(arguments));\n  };\n  $dynamicBind.methods = methods;\n  Object.defineProperty(Object.prototype, name, { value: $dynamicBind,\n      enumerable: false, writable: true, configurable: true});\n  return methods;\n}\nif (typeof $dynamicMetadata == 'undefined') $dynamicMetadata = [];\n\nfunction $dynamicSetMetadata(inputTable) {\n  // TODO: Deal with light isolates.\n  var table = [];\n  for (var i = 0; i < inputTable.length; i++) {\n    var tag = inputTable[i][0];\n    var tags = inputTable[i][1];\n    var map = {};\n    var tagNames = tags.split('|');\n    for (var j = 0; j < tagNames.length; j++) {\n      map[tagNames[j]] = true;\n    }\n    table.push({tag: tag, tags: tags, map: map});\n  }\n  $dynamicMetadata = table;\n}\n");
+  this.writer.writeln("function $dynamic(name) {\n  var f = Object.prototype[name];\n  if (f && f.methods) return f.methods;\n\n  var methods = {};\n  if (f) methods.Object = f;\n  function $dynamicBind() {\n    // Find the target method\n    var obj = this;\n    var tag = obj.$typeNameOf();\n    var method = methods[tag];\n    if (!method) {\n      var table = $dynamicMetadata;\n      for (var i = 0; i < table.length; i++) {\n        var entry = table[i];\n        if (entry.map.hasOwnProperty(tag)) {\n          method = methods[entry.tag];\n          if (method) break;\n        }\n      }\n    }\n    method = method || methods.Object;\n    var proto = Object.getPrototypeOf(obj);\n    if (!proto.hasOwnProperty(name)) {\n      Object.defineProperty(proto, name,\n        { value: method, enumerable: false, writable: true,\n        configurable: true });\n    }\n\n    return method.apply(this, Array.prototype.slice.call(arguments));\n  };\n  $dynamicBind.methods = methods;\n  Object.defineProperty(Object.prototype, name, { value: $dynamicBind,\n      enumerable: false, writable: true, configurable: true});\n  return methods;\n}\nif (typeof $dynamicMetadata == 'undefined') $dynamicMetadata = [];\n\nfunction $dynamicSetMetadata(inputTable) {\n  // TODO: Deal with light isolates.\n  var table = [];\n  for (var i = 0; i < inputTable.length; i++) {\n    var tag = inputTable[i][0];\n    var tags = inputTable[i][1];\n    var map = {};\n    var tagNames = tags.split('|');\n    for (var j = 0; j < tagNames.length; j++) {\n      map[tagNames[j]] = true;\n    }\n    table.push({tag: tag, tags: tags, map: map});\n  }\n  $dynamicMetadata = table;\n}\n");
 }
 CoreJs.prototype.ensureTypeNameOf = function() {
   if (this._generatedTypeNameOf) return;
   this._generatedTypeNameOf = true;
   this.writer.writeln("Object.defineProperty(Object.prototype, '$typeNameOf', { value: function() {\n  if ((typeof(window) != 'undefined' && window.constructor.name == 'DOMWindow')\n      || typeof(process) != 'undefined') { // fast-path for Chrome and Node\n    return this.constructor.name;\n  }\n  var str = Object.prototype.toString.call(this);\n  str = str.substring(8, str.length - 1);\n  if (str == 'Window') {\n    str = 'DOMWindow';\n  } else if (str == 'Document') {\n    str = 'HTMLDocument';\n  }\n  return str;\n}, enumerable: false, writable: true, configurable: true});");
 }
 CoreJs.prototype.ensureInheritsHelper = function() {
   if (this._generatedInherits) return;
   this._generatedInherits = true;
   this.writer.writeln("/** Implements extends for Dart classes on JavaScript prototypes. */\nfunction $inherits(child, parent) {\n  if (child.prototype.__proto__) {\n    child.prototype.__proto__ = parent.prototype;\n  } else {\n    function tmp() {};\n    tmp.prototype = parent.prototype;\n    child.prototype = new tmp();\n    child.prototype.constructor = child;\n  }\n}");
 }
 CoreJs.prototype.generate = function(w) {
   w.write(this.writer.get$text());
   this.writer = w;
   if (this.useNotNullBool) {
     this.useThrow = true;
     w.writeln("function $notnull_bool(test) {\n  if (test === true || test === false) return test;\n  $throw(new TypeError(test, 'bool'));\n}");
   }
   if (this.useThrow) {
     w.writeln("function $throw(e) {\n  // If e is not a value, we can use V8's captureStackTrace utility method.\n  // TODO(jmesserly): capture the stack trace on other JS engines.\n  if (e && (typeof e == 'object') && Error.captureStackTrace) {\n    // TODO(jmesserly): this will clobber the e.stack property\n    Error.captureStackTrace(e, $throw);\n  }\n  throw e;\n}");
   }
   if (this.useIndex) {
-    w.writeln("Object.defineProperty(Object.prototype, '$index', { value: function(i) {\n  var proto = Object.getPrototypeOf(this);\n  if (proto !== Object) {\n    proto.$index = function(i) { return this[i]; }\n  }\n  return this[i];\n}, enumerable: false, writable: true, configurable: true});\nObject.defineProperty(Array.prototype, '$index', { value: function(i) { \n  return this[i]; \n}, enumerable: false, writable: true, configurable: true});\nObject.defineProperty(String.prototype, '$index', { value: function(i) { \n  return this[i]; \n}, enumerable: false, writable: true, configurable: true});");
+    w.writeln($globals.options.disableBoundsChecks ? "Object.defineProperty(Object.prototype, '$index', { value: function(i) {\n  var proto = Object.getPrototypeOf(this);\n  if (proto !== Object) {\n    proto.$index = function(i) { return this[i]; }\n  }\n  return this[i];\n}, enumerable: false, writable: true, configurable: true});\nObject.defineProperty(Array.prototype, '$index', { value: function(i) {\n  return this[i];\n}, enumerable: false, writable: true, configurable: true});\nObject.defineProperty(String.prototype, '$index', { value: function(i) {\n  return this[i];\n}, enumerable: false, writable: true, configurable: true});" : "Object.defineProperty(Object.prototype, '$index', { value: function(i) {\n  var proto = Object.getPrototypeOf(this);\n  if (proto !== Object) {\n    proto.$index = function(i) { return this[i]; }\n  }\n  return this[i];\n}, enumerable: false, writable: true, configurable: true});\nObject.defineProperty(Array.prototype, '$index', { value: function(index) {\n  var i = index | 0;\n  if (i !== index) {\n    throw new IllegalArgumentException('index is not int');\n  } else if (i < 0 || i >= this.length) {\n    throw new IndexOutOfRangeException(index);\n  }\n  return this[i];\n}, enumerable: false, writable: true, configurable: true});\nObject.defineProperty(String.prototype, '$index', { value: function(i) {\n  return this[i];\n}, enumerable: false, writable: true, configurable: true});");
   }
   if (this.useSetIndex) {
-    w.writeln("Object.defineProperty(Object.prototype, '$setindex', { value: function(i, value) {\n  var proto = Object.getPrototypeOf(this);\n  if (proto !== Object) {\n    proto.$setindex = function(i, value) { return this[i] = value; }\n  }\n  return this[i] = value;\n}, enumerable: false, writable: true, configurable: true});\nObject.defineProperty(Array.prototype, '$setindex', { value: function(i, value) { \n  return this[i] = value; }, enumerable: false, writable: true, \n  configurable: true});");
+    w.writeln($globals.options.disableBoundsChecks ? "Object.defineProperty(Object.prototype, '$setindex', { value: function(i, value) {\n  var proto = Object.getPrototypeOf(this);\n  if (proto !== Object) {\n    proto.$setindex = function(i, value) { return this[i] = value; }\n  }\n  return this[i] = value;\n}, enumerable: false, writable: true, configurable: true});\nObject.defineProperty(Array.prototype, '$setindex', { value: function(i, value) {\n  return this[i] = value; }, enumerable: false, writable: true,\n  configurable: true});" : "Object.defineProperty(Object.prototype, '$setindex', { value: function(i, value) {\n  var proto = Object.getPrototypeOf(this);\n  if (proto !== Object) {\n    proto.$setindex = function(i, value) { return this[i] = value; }\n  }\n  return this[i] = value;\n}, enumerable: false, writable: true, configurable: true});\nObject.defineProperty(Array.prototype, '$setindex', { value: function(index, value) {\n  var i = index | 0;\n  if (i !== index) {\n    throw new IllegalArgumentException('index is not int');\n  } else if (i < 0 || i >= this.length) {\n    throw new IndexOutOfRangeException(index);\n  }\n  return this[i] = value; }, enumerable: false, writable: true,\n  configurable: true});");
   }
   if (this.useIsolates) {
     if (this.useWrap0) {
       w.writeln("// Wrap a 0-arg dom-callback to bind it with the current isolate:\nfunction $wrap_call$0(fn) { return fn && fn.wrap$call$0(); }\nFunction.prototype.wrap$call$0 = function() {\n  var isolateContext = $globalState.currentContext;\n  var self = this;\n  this.wrap$0 = function() {\n    isolateContext.eval(self);\n    $globalState.topEventLoop.run();\n  };\n  this.wrap$call$0 = function() { return this.wrap$0; };\n  return this.wrap$0;\n}");
     }
     if (this.useWrap1) {
       w.writeln("// Wrap a 1-arg dom-callback to bind it with the current isolate:\nfunction $wrap_call$1(fn) { return fn && fn.wrap$call$1(); }\nFunction.prototype.wrap$call$1 = function() {\n  var isolateContext = $globalState.currentContext;\n  var self = this;\n  this.wrap$1 = function(arg) {\n    isolateContext.eval(function() { self(arg); });\n    $globalState.topEventLoop.run();\n  };\n  this.wrap$call$1 = function() { return this.wrap$1; };\n  return this.wrap$1;\n}");
     }
     w.writeln("var $globalThis = this;\nvar $globals = null;\nvar $globalState = null;");
   }
@@ skipping 187 matching lines @@
 WorldGenerator.prototype.run = function() {
   this.mainContext = new MethodGenerator(this.main, null);
   var mainTarget = new TypeValue(this.main.declaringType, this.main.get$span());
   var mainCall = this.main.invoke(this.mainContext, null, mainTarget, Arguments.get$EMPTY());
   this.main.declaringType.markUsed();
   if ($globals.options.compileAll) {
     this.markLibrariesUsed([$globals.world.coreimpl, $globals.world.corelib, this.main.declaringType.get$library()]);
   }
   $globals.world.numImplType.markUsed();
   $globals.world.stringImplType.markUsed();
+  if (this.corejs.useIndex || this.corejs.useSetIndex) {
+    if (!$globals.options.disableBoundsChecks) {
+      this.markTypeUsed($globals.world.corelib.types.$index("IndexOutOfRangeException"));
+      this.markTypeUsed($globals.world.corelib.types.$index("IllegalArgumentException"));
+    }
+  }
   if ($globals.world.corelib.types.$index("Isolate").get$isUsed() || $globals.world.coreimpl.types.$index("ReceivePortImpl").get$isUsed()) {
     if (this.corejs.useWrap0 || this.corejs.useWrap1) {
       this.genMethod($globals.world.coreimpl.types.$index("IsolateContext").getMember("eval"));
       this.genMethod($globals.world.coreimpl.types.$index("EventLoop").getMember("run"));
     }
     this.corejs.useIsolates = true;
     var isolateMain = $globals.world.coreimpl.lookup("startRootIsolate", this.main.get$span());
     var isolateMainTarget = new TypeValue($globals.world.coreimpl.topType, this.main.get$span());
     mainCall = isolateMain.invoke(this.mainContext, null, isolateMainTarget, new Arguments(null, [this.main._get(this.mainContext, this.main.definition, null)]));
   }
@@ skipping 3306 matching lines @@
     }
   }
   else if (target.get$type().get$isString()) {
     if (this.name == ":index" && args.values.$index((0)).get$type().get$isNum()) {
       return new Value(this.declaringType, ("" + target.get$code() + "[" + argsCode.$index((0)) + "]"), node.span);
     }
     else if (this.name == ":add" && args.values.$index((0)).get$type().get$isNum()) {
       return new Value(this.declaringType, ("" + target.get$code() + " + " + argsCode.$index((0))), node.span);
     }
   }
-  else if (this.declaringType.get$isNative()) {
+  else if (this.declaringType.get$isNative() && $globals.options.disableBoundsChecks) {
     if (args.get$length() > (0) && args.values.$index((0)).get$type().get$isNum()) {
       if (this.name == ":index") {
         return new Value(this.returnType, ("" + target.get$code() + "[" + argsCode.$index((0)) + "]"), node.span);
       }
       else if (this.name == ":setindex") {
         return new Value(this.returnType, ("" + target.get$code() + "[" + argsCode.$index((0)) + "] = " + argsCode.$index((1))), node.span);
       }
     }
   }
   if (this.name == ":eq" || this.name == ":ne") {
@@ skipping 7656 matching lines @@
   var sw = new StopwatchImplementation();
   sw.start();
   var result = f();
   sw.stop();
   this.info(("" + name + " in " + sw.elapsedInMs() + "msec"));
   return result;
 }
 // ********** Code for FrogOptions **************
 function FrogOptions(homedir, args, files) {
   this.legOnly = false;
-  this.throwOnFatal = false;
+  this.disableBoundsChecks = false;
   this.maxInferenceIterations = (4);
-  this.config = "dev";
   this.throwOnWarnings = false;
   this.inferTypes = false;
-  this.verifyImplements = false;
   this.warningsAsErrors = false;
-  this.enableLeg = false;
   this.enableAsserts = false;
-  this.enableTypeChecks = false;
   this.forceDynamic = false;
-  this.showInfo = false;
   this.dietParse = false;
-  this.useColors = true;
   this.compileOnly = false;
   this.showWarnings = true;
+  this.throwOnFatal = false;
+  this.config = "dev";
+  this.verifyImplements = false;
+  this.enableLeg = false;
+  this.enableTypeChecks = false;
+  this.showInfo = false;
+  this.useColors = true;
   this.compileAll = false;
   this.throwOnErrors = false;
   if ($eq(this.config, "dev")) {
     this.libDir = joinPaths(homedir, "/lib");
   }
   else if ($eq(this.config, "sdk")) {
     this.libDir = joinPaths(homedir, "/../lib");
   }
   else {
     $globals.world.error(("Invalid configuration " + this.config));
@@ skipping 87 matching lines @@
       case "--no_colors":
 
         this.useColors = false;
         break;
 
       case "--Xinfer_types":
 
         this.inferTypes = true;
         break;
 
+      case "--checked":
+
+        this.enableTypeChecks = true;
+        this.enableAsserts = true;
+        break;
+
+      case "--unchecked":
+
+        this.disableBoundsChecks = true;
+        break;
+
       default:
 
         if (arg.endsWith(".dart")) {
           this.dartScript = arg;
           this.childArgs = args.getRange(i + (1), args.get$length() - i - (1));
           break loop;
         }
         else if (arg.startsWith("--out=")) {
           this.outfile = arg.substring$1("--out=".length);
         }
@@ skipping 334 matching lines @@
 }
 var const$0000 = Object.create(_DeletedKeySentinel.prototype, {});
 var const$0001 = Object.create(NoMoreElementsException.prototype, {});
 var const$0002 = Object.create(EmptyQueueException.prototype, {});
 var const$0006 = Object.create(IllegalAccessException.prototype, {});
 var const$0007 = ImmutableList.ImmutableList$from$factory([]);
 var const$0009 = new JSSyntaxRegExp("^[a-zA-Z]:/");
 var $globals = {};
 $static_init();
 main();