Add mixin support to source mirrors.

sdk/lib/_internal/compiler/implementation/mirrors/mirrors_util.dart

 // 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.
 
 library mirrors_util;
 
 import 'dart:collection' show Queue, IterableBase;
 
 // TODO(rnystrom): Use "package:" URL (#4968).
 import 'mirrors.dart';
@@ skipping 154 matching lines @@
       _current = object;
       object = null;
       return true;
     } else {
       _current = push(queue.removeFirst());
       return true;
     }
   }
 }
 
+bool isMixinApplication(ClassMirror mirror) {
+  return mirror != null && mirror.mixin != mirror;
+}
+
+/**
+ * Returns the superclass of [cls] skipping unnamed mixin applications.
+ *
+ * For instance, for all of the following definitions this method returns [:B:].
+ *
+ *     class A extends B {}
+ *     class A extends B with C1, C2 {}
+ *     class A extends B implements D1, D2 {}
+ *     class A extends B with C1, C2 implements D1, D2 {}
+ *     typedef A = B with C1, C2;
+ *     typedef A = abstract B with C1, C2 implements D1, D2;
+ */
+ClassMirror getExtends(ClassMirror cls) {

[karlklose, 2013/11/05 10:34:18]

Change to 'getSuperclass'?

[Johnni Winther, 2013/11/05 11:20:47]

Done.

+  ClassMirror superclass = cls.superclass;
+  while (isMixinApplication(superclass) && superclass.isNameSynthetic) {
+    superclass = superclass.superclass;
+  }
+  return superclass;
+}
+
+/**
+ * Returns the mixins directly applied to [cls].
+ *
+ * For instance, for all of the following definitions this method returns
+ * [:C1, C2:].
+ *
+ *     class A extends B with C1, C2 {}
+ *     class A extends B with C1, C2 implements D1, D2 {}
+ *     typedef A = B with C1, C2;
+ *     typedef A = abstract B with C1, C2 implements D1, D2;
+ */
+Iterable<ClassMirror> getWith(ClassMirror cls) {

[karlklose, 2013/11/05 10:34:18]

Change to 'getAppliedMixins'?

[Johnni Winther, 2013/11/05 11:20:47]

Done.

+  List<ClassMirror> mixins = <ClassMirror>[];
+  ClassMirror superclass = cls.superclass;
+  while (isMixinApplication(superclass) && superclass.isNameSynthetic) {
+    mixins.add(superclass.mixin);
+    superclass = superclass.superclass;
+  }
+  if (mixins.length > 1) {
+    mixins = new List<ClassMirror>.from(mixins.reversed);
+  }
+  if (isMixinApplication(cls)) {
+    mixins.add(cls.mixin);
+  }
+  return mixins;
+}
+
+/**
+ * Returns the superinterfaces directly and explicitly implemented by [cls].
+ *
+ * For instance, for all of the following definitions this method returns
+ * [:D1, D2:].
+ *
+ *     class A extends B implements D1, D2 {}
+ *     class A extends B with C1, C2 implements D1, D2 {}
+ *     typedef A = abstract B with C1, C2 implements D1, D2;
+ */
+Iterable<ClassMirror> getImplements(ClassMirror cls) {

[karlklose, 2013/11/05 10:34:18]

Change to 'getExplicitInterfaces' or something similar?

[Johnni Winther, 2013/11/05 11:20:47]

Done.

+  if (isMixinApplication(cls)) {
+    bool first = true;
+    ClassMirror mixin = cls.mixin;
+    bool filter(ClassMirror superinterface) {
+      if (first && superinterface == mixin) {
+        first = false;
+        return false;
+      }
+      return true;
+    }
+    return cls.superinterfaces.where(filter);
+  }
+  return cls.superinterfaces;
+}
+
 final RegExp _singleLineCommentStart = new RegExp(r'^///? ?(.*)');
 final RegExp _multiLineCommentStartEnd =
     new RegExp(r'^/\*\*? ?([\s\S]*)\*/$', multiLine: true);
 final RegExp _multiLineCommentLineStart = new RegExp(r'^[ \t]*\* ?(.*)');
 
 /**
  * Pulls the raw text out of a comment (i.e. removes the comment
  * characters).
  */
 String stripComment(String comment) {
@@ skipping 28 matching lines @@
     }
     return sb.toString();
   }
   throw new ArgumentError('Invalid comment $comment');
 }
 
 /**
  * Looks up [name] in the scope [declaration].
  *
  * If [name] is of the form 'a.b.c', 'a' is looked up in the scope of
- * [declaration] and if unresolved 'a.b' is looked in the scope of 
+ * [declaration] and if unresolved 'a.b' is looked in the scope of
  * [declaration]. Each identifier of the remaining suffix, 'c' or 'b.c', is
  * then looked up in the local scope of the previous result.
- * 
+ *
  * For instance, assumming that [:Iterable:] is imported into the scope of
- * [declaration] via the prefix 'col', 'col.Iterable.E' finds the type 
+ * [declaration] via the prefix 'col', 'col.Iterable.E' finds the type
  * variable of [:Iterable:] and 'col.Iterable.contains.element' finds the
  * [:element:] parameter of the [:contains:] method on [:Iterable:].
  */
 DeclarationMirror lookupQualifiedInScope(DeclarationMirror declaration,
                                          String name) {
   // TODO(11653): Support lookup of constructors using the [:new Foo:]
   // syntax.
-  int offset = 1; 
+  int offset = 1;
   List<String> parts = name.split('.');
   DeclarationMirror result = declaration.lookupInScope(parts[0]);
   if (result == null && parts.length > 1) {
     // Try lookup of `prefix.id`.
     result = declaration.lookupInScope('${parts[0]}.${parts[1]}');
     offset = 2;
   }
   if (result == null) return null;
   while (result != null && offset < parts.length) {
     result = _lookupLocal(result, parts[offset++]);
@@ skipping 15 matching lines @@
     result = classMirror.typeVariables.firstWhere(
         (TypeVariableMirror v) => v.simpleName == id, orElse: () => null);
   } else if (mirror is MethodMirror) {
     MethodMirror methodMirror = mirror;
     result = methodMirror.parameters.firstWhere(
         (ParameterMirror p) => p.simpleName == id, orElse: () => null);
   }
   return result;
 
 }