public interface DataServerExplorerPool extends Persistent
Modifier and Type | Method and Description |
---|---|
void |
add(String name,
DataServerExplorerParameters explorer) |
void |
add(String name,
String description,
DataServerExplorerParameters explorer) |
boolean |
contains(DataServerExplorerPoolEntry entry) |
boolean |
contains(String name) |
DataServerExplorerPoolEntry |
get(int index) |
DataServerExplorerPoolEntry |
get(String name) |
boolean |
isEmpty() |
Iterator |
iterator() |
void |
remove(DataServerExplorerPoolEntry explorer) |
void |
remove(int explorerIndex) |
void |
remove(String name) |
int |
size() |
loadFromState, saveToState
void add(String name, DataServerExplorerParameters explorer)
void add(String name, String description, DataServerExplorerParameters explorer)
boolean contains(String name)
boolean contains(DataServerExplorerPoolEntry entry)
boolean isEmpty()
void remove(DataServerExplorerPoolEntry explorer)
void remove(int explorerIndex)
void remove(String name)
int size()
DataServerExplorerPoolEntry get(int index)
DataServerExplorerPoolEntry get(String name)
Iterator iterator()