Report CompileTimeErrorCode.MIXIN_REFERENCES_SUPER

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

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ClassElementImpl.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ClassElementImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ClassElementImpl.java
index 3b590dbfb0e09f5ec3679cd8dc94057c92e3aae4..73b7c1257107901116d586b0d327d70cf7cda1c0 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ClassElementImpl.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ClassElementImpl.java
@@ -287,6 +287,11 @@ public class ClassElementImpl extends ElementImpl implements ClassElement {
   }
 
   @Override
+  public boolean isReferencesSuper() {
+    return hasModifier(Modifier.REFERENCES_SUPER);
+  }
+
+  @Override
   public boolean isTypedef() {
     return hasModifier(Modifier.TYPEDEF);
   }
@@ -445,6 +450,15 @@ public class ClassElementImpl extends ElementImpl implements ClassElement {
   }
 
   /**
+   * Set whether this class references 'super' to the given value.
+   * 
+   * @param isReferencedSuper {@code true} references 'super'
+   */
+  public void setReferencesSuper(boolean isReferencedSuper) {
+    setModifier(Modifier.REFERENCES_SUPER, isReferencedSuper);
+  }
+
+  /**
    * Set the superclass of the class to the given type.
    * 
    * @param supertype the superclass of the class