public class SelectedModules extends java.util.TreeSet<PropertyModule>
SelectedModules. A set of all selected modules that is extended
by a listener functionality.| Modifier and Type | Field and Description |
|---|---|
protected java.util.Set<SetListener> |
listeners |
| Constructor and Description |
|---|
SelectedModules()
Constructs a new, empty
SelectedModules set. |
| Modifier and Type | Method and Description |
|---|---|
boolean |
add(PropertyModule module) |
boolean |
addAll(java.util.Collection<? extends PropertyModule> modules) |
void |
addListener(SetListener listener)
Adds a
SetListener. |
void |
clear() |
boolean |
remove(java.lang.Object o) |
void |
removeListener(SetListener listener)
Removes a
SetListener. |
ceiling, clone, comparator, contains, descendingIterator, descendingSet, first, floor, headSet, headSet, higher, isEmpty, iterator, last, lower, pollFirst, pollLast, size, spliterator, subSet, subSet, tailSet, tailSetcontainsAll, retainAll, toArray, toArray, toStringfinalize, getClass, notify, notifyAll, wait, wait, waitprotected java.util.Set<SetListener> listeners
public SelectedModules()
SelectedModules set.public boolean add(PropertyModule module)
add in interface java.util.Collection<PropertyModule>add in interface java.util.Set<PropertyModule>add in class java.util.TreeSet<PropertyModule>public boolean addAll(java.util.Collection<? extends PropertyModule> modules)
addAll in interface java.util.Collection<PropertyModule>addAll in interface java.util.Set<PropertyModule>addAll in class java.util.TreeSet<PropertyModule>public boolean remove(java.lang.Object o)
remove in interface java.util.Collection<PropertyModule>remove in interface java.util.Set<PropertyModule>remove in class java.util.TreeSet<PropertyModule>public void clear()
clear in interface java.util.Collection<PropertyModule>clear in interface java.util.Set<PropertyModule>clear in class java.util.TreeSet<PropertyModule>public void addListener(SetListener listener)
SetListener.listener - the listener to be addedremoveListener(org.opt4j.core.config.visualization.SetListener)public void removeListener(SetListener listener)
SetListener.listener - the listener to be removedaddListener(org.opt4j.core.config.visualization.SetListener)