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..61c551ba85f93f9899589d3d05051abc1da82f15 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
@@ -282,6 +282,11 @@ public class ClassElementImpl extends ElementImpl implements ClassElement {
   }
 
   @Override
+  public boolean hasReferenceToSuper() {
+    return hasModifier(Modifier.REFERENCES_SUPER);
+  }
+
+  @Override
   public boolean isAbstract() {
     return hasModifier(Modifier.ABSTRACT);
   }
@@ -414,6 +419,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 setHasReferenceToSuper(boolean isReferencedSuper) {
+    setModifier(Modifier.REFERENCES_SUPER, isReferencedSuper);
+  }
+
+  /**
    * Set the interfaces that are implemented by this class to the given types.
    * 
    * @param the interfaces that are implemented by this class