org.grinvin.gui.components

Class FilteredScrollableGraphTableComponent

Implemented Interfaces:
GraphFilterListener

public class FilteredScrollableGraphTableComponent
extends ScrollableGraphTableComponent
implements GraphFilterListener

A version of ScrollableGraphTableComponent that displays a filter as well.

Field Summary

Fields inherited from class org.grinvin.gui.components.ScrollableGraphTableComponent

graphtable

Constructor Summary

FilteredScrollableGraphTableComponent(GraphListModel graphListModel, InvariantListModel invariantListModel, ListSelectionModel selectionModel, GraphFilter graphFilter)

Method Summary

void
filterChanged(GraphFilter filter)

Methods inherited from class org.grinvin.gui.components.ScrollableGraphTableComponent

doLayout, getGraphList, void paintComponent

Constructor Details

FilteredScrollableGraphTableComponent

public FilteredScrollableGraphTableComponent(GraphListModel graphListModel,
                                             InvariantListModel invariantListModel,
                                             ListSelectionModel selectionModel,
                                             GraphFilter graphFilter)

Method Details

filterChanged

public void filterChanged(GraphFilter filter)
Specified by:
filterChanged in interface GraphFilterListener