All Packages Class Hierarchy This Package Previous Next Index
Interface collections.UpdatableSet
- public interface interface UpdatableSet
- extends UpdatableCollection, Set
UpdatableSets support an include operations to add
an element only if it not present.
-
include(Object)
- Include the indicated element in the collection.
-
includeElements(Enumeration)
- Include all elements of the enumeration in the collection.
include
public abstract void include(Object element) throws IllegalElementException
- Include the indicated element in the collection.
No effect if the element is already present.
- Parameters:
- element - the element to add
- Returns:
- condition:
includes(element) &&
no spurious effects &&
Version change iff !PREV(this).includes(element)
- Throws: IllegalElementException
- if !canInclude(element)
includeElements
public abstract void includeElements(Enumeration e) throws IllegalElementException, CorruptedEnumerationException
- Include all elements of the enumeration in the collection.
Behaviorally equivalent to
while (e.hasMoreElements()) include(e.nextElement());
- Parameters:
- e - the elements to include
- Throws: IllegalElementException
- if !canInclude(element)
- Throws: CorruptedEnumerationException
- propagated if thrown
All Packages Class Hierarchy This Package Previous Next Index