org.processmining.plugins.log.ui.logoverview

Class FilterListModel

java.lang.Object

org.processmining.plugins.log.ui.logoverview.FilterListModel

All Implemented Interfaces:

javax.swing.ListModel

public class FilterListModel
extends java.lang.Object
implements javax.swing.ListModel

Constructor Summary

Constructors

Constructor and Description
FilterListModel()

Method Summary

Methods

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<org.processmining.plugins.interactivevisualization.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<org.processmining.plugins.interactivevisualization.EID> events) Set the initial data set to use when starting the filtering process.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FilterListModel

public FilterListModel()

Method Detail

setInitialDataSet

public void setInitialDataSet(java.util.SortedSet<org.processmining.plugins.interactivevisualization.EID> events)

Set the initial data set to use when starting the filtering process.

Parameters:

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.

getInitialDataSet

public java.util.SortedSet<org.processmining.plugins.interactivevisualization.EID> getInitialDataSet()

Get the initial data set that is to be used as the starting data for the filtering process.

Returns:

Returns the initial data set, a sorted set of Event IDs (EID) or 'null' if the complete log is used as the initial data set.

addFilter

public void addFilter(Filter filter)

Add a filter to the filtering list.

Parameters:

filter - The filter to add to the list.

moveFilter

public void moveFilter(Filter filter,
              int delta)

removeFilter

public void removeFilter(Filter filter)

Remove a filter from the list.

Parameters:

filter - The filter that is to be removed.

removeFilter

public void removeFilter(int index)

Remove a filter from the list.

Parameters:

index - Index in the list of the filter to remove.

getFilters

public java.util.List<Filter> getFilters(int resultidx)

Get all filters up to the result index 'resultidx'. (The list only contains filters that will be applied in order to acquire result 'resultidx'.)

Parameters:

resultidx - The index of the result in the list.

Returns:

Returns a list of Filters that are applied to acquire the result.

addListDataListener

public void addListDataListener(javax.swing.event.ListDataListener l)

Specified by:

addListDataListener in interface javax.swing.ListModel

getElementAt

public java.lang.Object getElementAt(int index)

Specified by:

getElementAt in interface javax.swing.ListModel

getSize

public int getSize()

Specified by:

getSize in interface javax.swing.ListModel

removeListDataListener

public void removeListDataListener(javax.swing.event.ListDataListener l)

Specified by:

removeListDataListener in interface javax.swing.ListModel