org.grinvin.graphbrowser

Class AnnotatedInvariantListComponent

Implemented Interfaces:
HasInvariantList, InvariantListModelListener, ListDataListener

public class AnnotatedInvariantListComponent
extends JPanel
implements HasInvariantList, InvariantListModelListener

Author:
adpeeter

Constructor Summary

AnnotatedInvariantListComponent(InvariantListModel model)
Creates a new instance of AnnotatedInvariantListComponent

Method Summary

void
contentsChanged(ListDataEvent e)
InvariantList
getInvariantList()
void
intervalAdded(ListDataEvent e)
void
intervalRemoved(ListDataEvent e)

Constructor Details

AnnotatedInvariantListComponent

public AnnotatedInvariantListComponent(InvariantListModel model)
Creates a new instance of AnnotatedInvariantListComponent

Method Details

contentsChanged

public void contentsChanged(ListDataEvent e)

getInvariantList

public InvariantList getInvariantList()
Specified by:
getInvariantList in interface HasInvariantList

intervalAdded

public void intervalAdded(ListDataEvent e)

intervalRemoved

public void intervalRemoved(ListDataEvent e)