Report CompileTimeErrorCode.MIXIN_REFERENCES_SUPER

editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/ClassElement.java

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/ClassElement.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/ClassElement.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/ClassElement.java
index e835b0e9605a2c2fcab3bfdc671f3dd55dedf5ad..2145f7fc8d820899718513eb087b11e464987398 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/ClassElement.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/element/ClassElement.java
@@ -123,6 +123,13 @@ public interface ClassElement extends Element {
   public boolean isAbstract();
 
   /**
+   * Return {@code true} if this class refers to super (so, for example, cannot be used as a mixin).
+   * 
+   * @return {@code true} if this class refers to super
+   */
+  public boolean isReferencesSuper();

[Brian Wilkerson, 2013/05/09 20:41:37]

I think either "hasReferenceToSuper" or "referencesSuper" would be better names
for this method.

[scheglov, 2013/05/09 21:23:50]

Done.

+
+  /**
    * Return {@code true} if this class is defined by a typedef construct.
    * 
    * @return {@code true} if this class is defined by a typedef construct