public class FilterListModel
extends java.lang.Object
implements javax.swing.ListModel
Constructor and Description |
---|
FilterListModel() |
Modifier and Type | Method and Description |
---|---|
void |
addFilter(Filter filter)
Add a filter to the filtering list.
|
void |
addListDataListener(javax.swing.event.ListDataListener l) |
java.lang.Object |
getElementAt(int index) |
java.util.List<Filter> |
getFilters(int resultidx)
Get all filters up to the result index 'resultidx'.
|
java.util.SortedSet<EID> |
getInitialDataSet()
Get the initial data set that is to be used as the starting data for the filtering process.
|
int |
getSize() |
void |
moveFilter(Filter filter,
int delta) |
void |
removeFilter(Filter filter)
Remove a filter from the list.
|
void |
removeFilter(int index)
Remove a filter from the list.
|
void |
removeListDataListener(javax.swing.event.ListDataListener l) |
void |
setInitialDataSet(java.util.SortedSet<EID> events)
Set the initial data set to use when starting the filtering process.
|
public void setInitialDataSet(java.util.SortedSet<EID> events)
initial
- The set of Event IDs to use as the initial data set.
In case 'null' is used, it implies that the complete log is used as the initial data set.public java.util.SortedSet<EID> getInitialDataSet()
public void addFilter(Filter filter)
filter
- The filter to add to the list.public void moveFilter(Filter filter, int delta)
public void removeFilter(Filter filter)
filter
- The filter that is to be removed.public void removeFilter(int index)
index
- Index in the list of the filter to remove.public java.util.List<Filter> getFilters(int resultidx)
resultidx
- The index of the result in the list.public void addListDataListener(javax.swing.event.ListDataListener l)
addListDataListener
in interface javax.swing.ListModel
public java.lang.Object getElementAt(int index)
getElementAt
in interface javax.swing.ListModel
public int getSize()
getSize
in interface javax.swing.ListModel
public void removeListDataListener(javax.swing.event.ListDataListener l)
removeListDataListener
in interface javax.swing.ListModel