Make int an abstract class.

runtime/vm/snapshot.cc

 // 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.
 
 #include "vm/snapshot.h"
 
 #include "platform/assert.h"
 #include "vm/bigint_operations.h"
 #include "vm/bootstrap.h"
 #include "vm/exceptions.h"
@@ skipping 46 matching lines @@
   switch (index) {
     case kObjectType: return object_store->object_type();
     case kNullType: return object_store->null_type();
     case kDynamicType: return object_store->dynamic_type();
     case kVoidType: return object_store->void_type();
     case kFunctionType: return object_store->function_type();
     case kNumberType: return object_store->number_type();
     case kSmiType: return object_store->smi_type();
     case kMintType: return object_store->mint_type();
     case kDoubleType: return object_store->double_type();
-    case kIntInterface: return object_store->int_interface();
+    case kIntType: return object_store->int_type();
     case kBoolType: return object_store->bool_type();
     case kStringInterface: return object_store->string_interface();
     case kListInterface: return object_store->list_interface();
     case kByteArrayInterface: return object_store->byte_array_interface();
     default: break;
   }
   UNREACHABLE();
   return Type::null();
 }
 
@@ skipping 11 matching lines @@
   } else if (raw_type == object_store->function_type()) {
     return kFunctionType;
   } else if (raw_type == object_store->number_type()) {
     return kNumberType;
   } else if (raw_type == object_store->smi_type()) {
     return kSmiType;
   } else if (raw_type == object_store->mint_type()) {
     return kMintType;
   } else if (raw_type == object_store->double_type()) {
     return kDoubleType;
-  } else if (raw_type == object_store->int_interface()) {
-    return kIntInterface;
+  } else if (raw_type == object_store->int_type()) {
+    return kIntType;
   } else if (raw_type == object_store->bool_type()) {
     return kBoolType;
   } else if (raw_type == object_store->string_interface()) {
     return kStringInterface;
   } else if (raw_type == object_store->list_interface()) {
     return kListInterface;
   } else if (raw_type == object_store->byte_array_interface()) {
     return kByteArrayInterface;
   }
   return kInvalidIndex;
@@ skipping 1059 matching lines @@
 
 
 void MessageWriter::WriteMessage(const Object& obj) {
   ASSERT(kind() == Snapshot::kMessage);
   WriteObject(obj.raw());
   UnmarkAll();
 }
 
 
 }  // namespace dart