Fix bug 557: Disallow user side allocation of ImmutableArray. Also added "instantiation-checks" f...

runtime/lib/integers.dart

 // Copyright (c) 2011, 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.
 
 // TODO(srdjan): fix limitations.
 // - shift amount must be a Smi.
 class IntegerImplementation {
+  factory IntegerImplementation._uninstantiable() {
+    throw const UnsupportedOperationException(
+        "IntegerImplementation can only be allocated by the VM");
+  }
   num operator +(num other) {
     return other.addFromInteger(this);
   }
   num operator -(num other) {
     return other.subFromInteger(this);
   }
   num operator *(num other) {
     return other.mulFromInteger(this);
   }
   num operator ~/(num other) {
@@ skipping 131 matching lines @@
     StringBuffer buffer = new StringBuffer();
     if (isNegative) buffer.add("-");
     for (int i = temp.length - 1; i >= 0; i--) {
       buffer.add(table[temp[i]]);
     }
     return buffer.toString();
   }
 }
 
 class Smi extends IntegerImplementation implements int {
+  factory Smi._uninstantiable() {
+    throw const UnsupportedOperationException(
+        "Smi can only be allocated by the VM");
+  }
   int hashCode() {
     return this;
   }
   int operator ~() native "Smi_bitNegate";
   int sarFromInt(int other) native "Smi_sarFromInt";
   int shlFromInt(int other) native "Smi_shlFromInt";
 }
 
 // Represents integers that cannot be represented by Smi but fit into 64bits.
 class Mint extends IntegerImplementation implements int {
+  factory Mint._uninstantiable() {
+    throw const UnsupportedOperationException(
+        "Mint can only be allocated by the VM");
+  }
   int hashCode() {
     return this;
   }
   int operator ~() native "Mint_bitNegate";
 }
 
 // A number that can be represented as Smi or Mint will never be represented as
 // Bigint.
 class Bigint extends IntegerImplementation implements int {
+  factory Bigint._uninstantiable() {
+    throw const UnsupportedOperationException(
+        "Bigint can only be allocated by the VM");
+  }
   int hashCode() {
     return this;
   }
   int operator ~() native "Bigint_bitNegate";
 
   // Shift by bigint exceeds range that can be handled by the VM.
   int sarFromInt(int other) {
     if (other < 0) {
       return -1;
     } else {
       return 0;
     }
   }
   int shlFromInt(int other) {
     throw const OutOfMemoryException();
   }
 }