org.grinvin.worksheet

Class WorksheetWindow

Implemented Interfaces:
ListDataListener, ListSelectionListener, GraphListModelListener, InvariantListModelListener, WorksheetModelListener

public class WorksheetWindow
extends JFrame
implements WorksheetModelListener

Window associated to a conjecturing engine. Consists of

Constructor Summary

WorksheetWindow(WorksheetWindowModel worksheetWindowModel)

Method Summary

void
contentsChanged(ListDataEvent e)
void
engineChanged()
void
engineConfigurationChanged()
void
filterChanged()
GraphListMultiPanelComponent
getGraphListComponent()
WorksheetWindowModel
getModel()
void
intervalAdded(ListDataEvent e)
void
intervalRemoved(ListDataEvent e)
void
setStatus(EngineRunner.Status status)
void
valueChanged(ListSelectionEvent e)
void
worksheetModelNameChanged()

Constructor Details

WorksheetWindow

public WorksheetWindow(WorksheetWindowModel worksheetWindowModel)

Method Details

contentsChanged

public void contentsChanged(ListDataEvent e)

engineChanged

public void engineChanged()
Specified by:
engineChanged in interface WorksheetModelListener

engineConfigurationChanged

public void engineConfigurationChanged()
Specified by:
engineConfigurationChanged in interface WorksheetModelListener

filterChanged

public void filterChanged()
Specified by:
filterChanged in interface WorksheetModelListener

getGraphListComponent

public GraphListMultiPanelComponent getGraphListComponent()

getModel

public WorksheetWindowModel getModel()

intervalAdded

public void intervalAdded(ListDataEvent e)

intervalRemoved

public void intervalRemoved(ListDataEvent e)

setStatus

public void setStatus(EngineRunner.Status status)

valueChanged

public void valueChanged(ListSelectionEvent e)

worksheetModelNameChanged

public void worksheetModelNameChanged()
Specified by:
worksheetModelNameChanged in interface WorksheetModelListener