Add flag 'implements' to class, it is set anytime someone implements this class. This is a way to r…

runtime/vm/class_finalizer.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/class_finalizer.h"
 
 #include "vm/flags.h"
 #include "vm/heap.h"
 #include "vm/isolate.h"
 #include "vm/longjump.h"
@@ skipping 86 matching lines @@
     if (!super_type.IsNull()) {
       if (super_type.HasResolvedTypeClass() &&
           Class::Handle(super_type.type_class()).is_finalized()) {
         AddSuperType(super_type, finalized_super_classes);
       }
     }
   }
 }
 
 
+static void MarkImplementedClasses(const GrowableObjectArray& class_array) {
+  Class& cls = Class::Handle();
+  Array& interfaces_array = Array::Handle();
+  Type& type = Type::Handle();
+  for (intptr_t i = 0; i < class_array.Length(); i++) {
+    cls ^= class_array.At(i);
+    interfaces_array = cls.interfaces();
+    for (intptr_t k = 0; k < interfaces_array.Length(); k++) {
+      type ^= interfaces_array.At(k);
+      cls = type.type_class();
+      cls.set_is_implemented();
+    }
+  }
+}
+
+
 // Class finalization occurs:
 // a) when bootstrap process completes (VerifyBootstrapClasses).
 // b) after the user classes are loaded (dart_api).
 bool ClassFinalizer::FinalizePendingClasses() {
   bool retval = true;
   Isolate* isolate = Isolate::Current();
   ASSERT(isolate != NULL);
   ObjectStore* object_store = isolate->object_store();
   const Error& error = Error::Handle(object_store->sticky_error());
   if (!error.IsNull()) {
@@ skipping 32 matching lines @@
     for (intptr_t i = 0; i < class_array.Length(); i++) {
       cls ^= class_array.At(i);
       FinalizeClass(cls);
     }
     if (FLAG_print_classes) {
       for (intptr_t i = 0; i < class_array.Length(); i++) {
         cls ^= class_array.At(i);
         PrintClassInformation(cls);
       }
     }
+    MarkImplementedClasses(class_array);

[regis, 2012/11/28 22:32:17]

Instead of adding another pass, you could mark interfaces directly inside
ResolveInterfaces().

[srdjan, 2012/11/28 22:43:50]

Done.

     // Clear pending classes array.
     class_array = GrowableObjectArray::New();
     object_store->set_pending_classes(class_array);
   } else {
     retval = false;
   }
   isolate->set_long_jump_base(base);
   if (FLAG_use_cha) {
     RemoveOptimizedCode(added_subclasses_to_cids);
   }
@@ skipping 1518 matching lines @@
 void ClassFinalizer::ReportError(const char* format, ...) {
   va_list args;
   va_start(args, format);
   const Error& error = Error::Handle(
       Parser::FormatError(Script::Handle(), -1, "Error", format, args));
   va_end(args);
   ReportError(error);
 }
 
 }  // namespace dart