org.grinvin.graphbrowser
Class AnnotatedInvariantListComponent
JPanel
org.grinvin.graphbrowser.AnnotatedInvariantListComponent
- HasInvariantList, InvariantListModelListener, ListDataListener
public class AnnotatedInvariantListComponent
extends JPanel
AnnotatedInvariantListComponent
public AnnotatedInvariantListComponent(InvariantListModel model)
Creates a new instance of AnnotatedInvariantListComponent
contentsChanged
public void contentsChanged(ListDataEvent e)
intervalAdded
public void intervalAdded(ListDataEvent e)
intervalRemoved
public void intervalRemoved(ListDataEvent e)