| 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
|
|
|