|
|
@@ -122,7 +122,7 @@ public class Resources extends DataType implements ResourceCollection { |
|
|
|
rc = new Vector(); |
|
|
|
} |
|
|
|
rc.add(c); |
|
|
|
FailFast.invalidate(this); |
|
|
|
invalidateExistingIterators(); |
|
|
|
coll = null; |
|
|
|
setChecked(false); |
|
|
|
} |
|
|
@@ -215,6 +215,13 @@ public class Resources extends DataType implements ResourceCollection { |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
/** |
|
|
|
* Allow subclasses to notify existing Iterators they have experienced concurrent modification. |
|
|
|
*/ |
|
|
|
protected void invalidateExistingIterators() { |
|
|
|
FailFast.invalidate(this); |
|
|
|
} |
|
|
|
|
|
|
|
/** |
|
|
|
* Resolves references, allowing any ResourceCollection. |
|
|
|
* @return the referenced ResourceCollection. |
|
|
|