Implement eager instantiation and canonicalization of type arguments at run

runtime/vm/ast.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_AST_H_
 #define VM_AST_H_
 
 #include "platform/assert.h"
 #include "vm/allocation.h"
 #include "vm/growable_array.h"
@@ skipping 281 matching lines @@
 
  private:
   const AbstractType& type_;
   GrowableArray<AstNode*> elements_;
 
   void CheckFields() {
     ASSERT(type_.IsZoneHandle());
     ASSERT(!type_.IsNull());
     ASSERT(type_.IsFinalized());
     // Type may be uninstantiated when creating a generic list literal.
-    ASSERT((type_.arguments() == AbstractTypeArguments::null()) ||
-           ((AbstractTypeArguments::Handle(type_.arguments()).Length() == 1)));
+    ASSERT((type_.arguments() == TypeArguments::null()) ||
+           ((TypeArguments::Handle(type_.arguments()).Length() == 1)));
   }
 
   DISALLOW_IMPLICIT_CONSTRUCTORS(ArrayNode);
 };
 
 
 class StringInterpolateNode : public AstNode {
  public:
   StringInterpolateNode(intptr_t token_pos, ArrayNode* value)
       : AstNode(token_pos), value_(value) { }
@@ skipping 1230 matching lines @@
 // the receiver at an offset in the receiver specified by the provided
 // instantiator_class.
 //
 // If the caller to the constructor or to the factory is a factory, then the
 // instantiator is the first parameter of this factory, which is already a
 // type argument vector. This case is identified by a null and unneeded
 // instantiator_class.
 class ConstructorCallNode : public AstNode {
  public:
   ConstructorCallNode(intptr_t token_pos,
-                      const AbstractTypeArguments& type_arguments,
+                      const TypeArguments& type_arguments,
                       const Function& constructor,
                       ArgumentListNode* arguments)
       : AstNode(token_pos),
         type_arguments_(type_arguments),
         constructor_(constructor),
         arguments_(arguments) {
     ASSERT(type_arguments_.IsZoneHandle());
     ASSERT(constructor_.IsZoneHandle());
     ASSERT(arguments_ != NULL);
   }
 
-  const AbstractTypeArguments& type_arguments() const {
+  const TypeArguments& type_arguments() const {
     return type_arguments_;
   }
   const Function& constructor() const { return constructor_; }
   ArgumentListNode* arguments() const { return arguments_; }
 
   virtual void VisitChildren(AstNodeVisitor* visitor) const {
     arguments()->Visit(visitor);
   }
 
   DECLARE_COMMON_NODE_FUNCTIONS(ConstructorCallNode);
 
  private:
-  const AbstractTypeArguments& type_arguments_;
+  const TypeArguments& type_arguments_;
   const Function& constructor_;
   ArgumentListNode* arguments_;
 
   DISALLOW_IMPLICIT_CONSTRUCTORS(ConstructorCallNode);
 };
 
 
 // The body of a Dart function marked as 'native' consists of this node.
 class NativeBodyNode : public AstNode {
  public:
@@ skipping 196 matching lines @@
   const intptr_t try_index_;
 
   DISALLOW_IMPLICIT_CONSTRUCTORS(InlinedFinallyNode);
 };
 
 }  // namespace dart
 
 #undef DECLARE_COMMON_NODE_FUNCTIONS
 
 #endif  // VM_AST_H_