Complete implementation of bounds checking in the vm, by introducing a vm object

runtime/vm/snapshot.h

 // 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.
 
 #ifndef VM_SNAPSHOT_H_
 #define VM_SNAPSHOT_H_
 
 #include "platform/assert.h"
 #include "vm/allocation.h"
 #include "vm/bitfield.h"
@@ skipping 16 matching lines @@
 class GrowableObjectArray;
 class Heap;
 class LanguageError;
 class Library;
 class Object;
 class ObjectStore;
 class RawAbstractTypeArguments;
 class RawApiError;
 class RawArray;
 class RawBigint;
+class RawBoundedType;
 class RawClass;
 class RawContext;
 class RawDouble;
 class RawField;
 class RawClosureData;
 class RawRedirectionData;
 class RawFunction;
 class RawGrowableObjectArray;
 class RawFloat32x4;
 class RawUint32x4;
@@ skipping 201 matching lines @@
   RawTypeArguments* NewTypeArguments(intptr_t len);
   RawTokenStream* NewTokenStream(intptr_t len);
   RawContext* NewContext(intptr_t num_variables);
   RawClass* NewClass(intptr_t class_id);
   RawMint* NewMint(int64_t value);
   RawBigint* NewBigint(const char* hex_string);
   RawDouble* NewDouble(double value);
   RawUnresolvedClass* NewUnresolvedClass();
   RawType* NewType();
   RawTypeParameter* NewTypeParameter();
+  RawBoundedType* NewBoundedType();
   RawPatchClass* NewPatchClass();
   RawClosureData* NewClosureData();
   RawRedirectionData* NewRedirectionData();
   RawFunction* NewFunction();
   RawField* NewField();
   RawLibrary* NewLibrary();
   RawLibraryPrefix* NewLibraryPrefix();
   RawNamespace* NewNamespace();
   RawScript* NewScript();
   RawLiteralToken* NewLiteralToken();
@@ skipping 53 matching lines @@
   AbstractType& type_;  // Temporary type handle.
   AbstractTypeArguments& type_arguments_;  // Temporary type argument handle.
   Array& tokens_;  // Temporary tokens handle.
   TokenStream& stream_;  // Temporary token stream handle.
   ExternalUint8Array& data_;  // Temporary stream data handle.
   UnhandledException& error_;  // Error handle.
   GrowableArray<BackRefNode*> backward_references_;
 
   friend class ApiError;
   friend class Array;
+  friend class BoundedType;
   friend class Class;
   friend class Context;
   friend class ContextScope;
   friend class Field;
   friend class ClosureData;
   friend class RedirectionData;
   friend class Function;
   friend class GrowableObjectArray;
   friend class ImmutableArray;
   friend class InstantiatedTypeArguments;
@@ skipping 257 matching lines @@
  private:
   SnapshotWriter* writer_;
   bool as_references_;
 
   DISALLOW_COPY_AND_ASSIGN(SnapshotWriterVisitor);
 };
 
 }  // namespace dart
 
 #endif  // VM_SNAPSHOT_H_