org.grinvin.conjecture.history

Class ConjectureHistoryOverview

Implemented Interfaces:
ListDataListener

public class ConjectureHistoryOverview
extends JPanel
implements ListDataListener

View of the conjecture history

Constructor Summary

ConjectureHistoryOverview(ConjectureHistoryListModel conjectureHistory)
Creates a new instance of ConjectureHistoryOverview

Method Summary

void
contentsChanged(ListDataEvent e)
static JFrame
getView(ConjectureHistoryListModel conjectureHistory)
void
intervalAdded(ListDataEvent e)
void
intervalRemoved(ListDataEvent e)

Constructor Details

ConjectureHistoryOverview

public ConjectureHistoryOverview(ConjectureHistoryListModel conjectureHistory)
Creates a new instance of ConjectureHistoryOverview

Method Details

contentsChanged

public void contentsChanged(ListDataEvent e)

getView

public static JFrame getView(ConjectureHistoryListModel conjectureHistory)

intervalAdded

public void intervalAdded(ListDataEvent e)

intervalRemoved

public void intervalRemoved(ListDataEvent e)