Support type parameters and classes as expression in the vm.

runtime/vm/flow_graph_builder.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/flow_graph_builder.h"
 
 #include "lib/invocation_mirror.h"
 #include "vm/ast_printer.h"
 #include "vm/bit_vector.h"
 #include "vm/code_descriptors.h"
@@ skipping 836 matching lines @@
 
 // Type nodes are used when a type is referenced as a literal. Type nodes
 // can also be used for the right-hand side of instanceof comparisons,
 // but they are handled specially in that context, not here.
 void EffectGraphVisitor::VisitTypeNode(TypeNode* node) {
   return;
 }
 
 
 void ValueGraphVisitor::VisitTypeNode(TypeNode* node) {
-  ReturnDefinition(new ConstantInstr(node->type()));
+  const AbstractType& type = node->type();
+  ASSERT(type.IsFinalized() && !type.IsMalformed());
+  if (type.IsInstantiated()) {
+    ReturnDefinition(new ConstantInstr(type));
+  } else {
+    const Class& instantiator_class = Class::ZoneHandle(
+        owner()->parsed_function()->function().Owner());
+    Value* instantiator_value = BuildInstantiatorTypeArguments(
+        node->token_pos(), instantiator_class, NULL);
+    ReturnDefinition(new InstantiateTypeInstr(
+        node->token_pos(), type, instantiator_class, instantiator_value));
+  }
 }
 
 
 // Returns true if the type check can be skipped, for example, if the
 // destination type is dynamic or if the compile type of the value is a subtype
 // of the destination type.
 bool EffectGraphVisitor::CanSkipTypeCheck(intptr_t token_pos,
                                           Value* value,
                                           const AbstractType& dst_type,
                                           const String& dst_name) {
@@ skipping 2667 matching lines @@
   intptr_t len = OS::SNPrint(NULL, 0, kFormat, function_name, reason) + 1;
   char* chars = Isolate::Current()->current_zone()->Alloc<char>(len);
   OS::SNPrint(chars, len, kFormat, function_name, reason);
   const Error& error = Error::Handle(
       LanguageError::New(String::Handle(String::New(chars))));
   Isolate::Current()->long_jump_base()->Jump(1, error);
 }
 
 
 }  // namespace dart