Support displaying of types in the observatory (back-end only for now):

runtime/vm/isolate.cc

 // Copyright (c) 2013, 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/isolate.h"
 
 #include "include/dart_api.h"
 #include "platform/assert.h"
 #include "platform/json.h"
 #include "lib/mirrors.h"
@@ skipping 735 matching lines @@
   ASSERT(this == Isolate::Current());
   ASSERT(top_resource() == NULL);
   ASSERT((heap_ == NULL) || heap_->Verify());
 
   // Create an area where we do have a zone and a handle scope so that we can
   // call VM functions while tearing this isolate down.
   {
     StackZone stack_zone(this);
     HandleScope handle_scope(this);
 
+    // TODO(regis): Remove this debug/coverage code before submitting.
+    {
+      ObjectStore* store = object_store();
+      if (store != NULL) {
+        const Array& table = Array::Handle(store->canonical_type_arguments());
+        ASSERT(table.Length() > 0);
+        TypeArguments& type_args = TypeArguments::Handle();
+        const intptr_t table_size = table.Length() - 1;
+        JSONStream js;
+        for (intptr_t i = 0; i < table_size; i++) {
+          type_args ^= table.At(i);
+          if (!type_args.IsNull()) {
+            type_args.PrintToJSONStream(&js, false);
+          }
+        }
+      }
+    }
+
     // Clean up debugger resources.
     debugger()->Shutdown();
 
     // Close all the ports owned by this isolate.
     PortMap::ClosePorts(message_handler());
 
     // Fail fast if anybody tries to post any more messsages to this isolate.
     delete message_handler();
     set_message_handler(NULL);
 
@@ skipping 140 matching lines @@
     // TODO(turnidge): Implement depth differently -- differentiate
     // inlined frames.
     jsobj.AddProperty("depth", (intptr_t)0);
   }
 
   const Library& lib =
       Library::Handle(object_store()->root_library());
   jsobj.AddProperty("rootLib", lib);
 
   timer_list().PrintTimersToJSONProperty(&jsobj);
+
+  jsobj.AddPropertyF("canonicalTypeArguments", "isolates/%" Pd "/typearguments",

[Ivan Posva, 2014/03/11 08:02:32]

Is this ("isolates/%" Pd "/...", main_port()) really the best way to express ids
within the current isolate()?

[Cutch, 2014/03/11 13:50:01]

It's not necessary (and a bug) to include the isolate ID in an object's ID. 
Also, you should send this as a proper reference (which requires a type and an
id field). e.g:

{
  JSONObject obj(&jsobj, "canonicalTypeArguments");
  typeargRef.AddProperty("type", "@TypeList");
  typeargRef.AddProperty("id", "typearguments");
}

[regis, 2014/03/14 23:52:07]

Done.

+                     static_cast<intptr_t>(main_port()));
+
+  jsobj.AddPropertyF("canonicalTypeArgumentsWithCachedInstantiations",

[Cutch, 2014/03/11 13:50:01]

Same here.

[regis, 2014/03/14 23:52:07]

Done.

+                     "isolates/%" Pd "/typeargumentswithinstantiations",
+                     static_cast<intptr_t>(main_port()));
 }
 
 
 void Isolate::VisitIsolates(IsolateVisitor* visitor) {
   if (visitor == NULL) {
     return;
   }
   MonitorLocker ml(isolates_list_monitor_);
   Isolate* current = isolates_list_head_;
   while (current) {
@@ skipping 152 matching lines @@
   return func.raw();
 }
 
 
 void IsolateSpawnState::Cleanup() {
   SwitchIsolateScope switch_scope(isolate());
   Dart::ShutdownIsolate();
 }
 
 }  // namespace dart