Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SourceReferenceImpl.java |
=================================================================== |
--- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SourceReferenceImpl.java (revision 1404) |
+++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/model/SourceReferenceImpl.java (working copy) |
@@ -152,8 +152,11 @@ |
// return getHandleFromMemento(token, memento, owner); |
// } |
- /* |
- * @see IMember#getOccurrenceCount() |
+ /** |
+ * Return the occurrence count of this element. The occurrence count is used to distinguish two |
+ * elements that would otherwise be indistinguishable, such as two fields with the same name. |
+ * |
+ * @return the occurrence count of this element |
*/ |
public int getOccurrenceCount() { |
return occurrenceCount; |
@@ -275,6 +278,17 @@ |
return ((DartElementImpl) getParent()).resource(); |
} |
+ /** |
+ * Set the occurrence count of this element to the given value. The occurrence count is used to |
+ * distinguish two elements that would otherwise be indistinguishable, such as two fields with the |
+ * same name. |
+ * |
+ * @param count the new occurrence count of this element |
+ */ |
+ public void setOccurrenceCount(int count) { |
+ occurrenceCount = count; |
+ } |
+ |
@Override |
protected void closing(DartElementInfo info) throws DartModelException { |
// Do any necessary cleanup |