Report CompileTimeErrorCode.MIXIN_REFERENCES_SUPER

editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
index 2d29686f08133f646600572ef80d64a3453fc89e..2b2ea4528de2833f0cdf793a5a9696ba764080a0 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/verifier/ErrorVerifier.java
@@ -1505,6 +1505,24 @@ public class ErrorVerifier extends RecursiveASTVisitor<Void> {
   }
 
   /**
+   * This verifies that the passed mixin does not reference 'super'.
+   * 
+   * @param mixinName the node to report problem on
+   * @param mixinElement the mixing to evaluate
+   * @return {@code true} if and only if an error code is generated on the passed node
+   * @see CompileTimeErrorCode#MIXIN_REFERENCES_SUPER
+   */
+  private boolean checkForMixinReferencesSuper(TypeName mixinName, ClassElement mixinElement) {
+    if (mixinElement.isReferencesSuper()) {
+      errorReporter.reportError(
+          CompileTimeErrorCode.MIXIN_REFERENCES_SUPER,
+          mixinName,
+          mixinElement.getName());
+    }
+    return false;
+  }
+
+  /**
    * This verifies that all classes of the passed 'with' clause are valid.
    * 
    * @param node the 'with' clause to evaluate
@@ -1524,6 +1542,7 @@ public class ErrorVerifier extends RecursiveASTVisitor<Void> {
       ClassElement mixinElement = ((InterfaceType) mixinType).getElement();
       problemReported |= checkForMixinDeclaresConstructor(mixinName, mixinElement);
       problemReported |= checkForMixinInheritsNotFromObject(mixinName, mixinElement);
+      problemReported |= checkForMixinReferencesSuper(mixinName, mixinElement);
     }
     return problemReported;
   }