Report CompileTimeErrorCode.RECURSIVE_FACTORY_REDIRECT

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

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ConstructorElementImpl.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ConstructorElementImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ConstructorElementImpl.java
index 0142f4576c860973f66b73acf8ef9ca64d044fe8..c026f2909bf226d749b17a602d5cd7ce97d01714 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ConstructorElementImpl.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ConstructorElementImpl.java
@@ -31,6 +31,11 @@ public class ConstructorElementImpl extends ExecutableElementImpl implements Con
   public static final ConstructorElement[] EMPTY_ARRAY = new ConstructorElement[0];
 
   /**
+   * The constructor to which this constructor is redirecting to.

[Brian Wilkerson, 2013/05/15 21:36:33]

nit: remove final "to"

+   */
+  private ConstructorElement redirectedConstructor;
+
+  /**
    * Initialize a newly created constructor element to have the given name.
    * 
    * @param name the name of this element
@@ -55,6 +60,11 @@ public class ConstructorElementImpl extends ExecutableElementImpl implements Con
   }
 
   @Override
+  public ConstructorElement getRedirectedConstructor() {
+    return redirectedConstructor;
+  }
+
+  @Override
   public boolean isConst() {
     return hasModifier(Modifier.CONST);
   }
@@ -87,6 +97,15 @@ public class ConstructorElementImpl extends ExecutableElementImpl implements Con
     setModifier(Modifier.FACTORY, isFactory);
   }
 
+  /**
+   * Sets the constructor to which this constructor is redirecting to.
+   * 
+   * @param redirectedConstructor the constructor to which this constructor is redirecting to
+   */
+  public void setRedirectedConstructor(ConstructorElement redirectedConstructor) {
+    this.redirectedConstructor = redirectedConstructor;
+  }
+
   @Override
   protected void appendTo(StringBuilder builder) {
     builder.append(getEnclosingElement().getDisplayName());