org.grinvin.worksheet

Class WorksheetWindowModel

Implemented Interfaces:
HasName, HasURI

public class WorksheetWindowModel
extends WorksheetModel

Nested Class Summary

class
WorksheetWindowModel.SubwindowType

Constructor Summary

WorksheetWindowModel()

Method Summary

GenericSelectionModel
getGlctModel()
Return the submodel which keeps track of which graph list component type is currently displayed
GraphListComponentType
getGraphListComponentSelected()
SubwindowModel
getSubwindowModel(WorksheetWindowModel.SubwindowType type)
void
setGraphListComponentSelected(GraphListComponentType type)

Methods inherited from class org.grinvin.worksheet.WorksheetModel

addHistoryEntry, addResult, addWorksheetModelListener, fireEngineChanged, fireEngineConfigurationChanged, fireFilterChanged, fireNameChanged, getConjectureHistoryList, getConjectureHistoryListModel, getConjectureList, getConjectureListModel, getEngineRunner, getFilter, getFilterList, getFilterListModel, getGeneratorInstanceList, getGeneratorInstanceListModel, getGraphList, getInvariantList, getName, getURI, isNameEditable, removeWorksheetModelListener, setName, setURI, writeStateToHistory

Constructor Details

WorksheetWindowModel

public WorksheetWindowModel()

Method Details

getGlctModel

public GenericSelectionModel getGlctModel()
Return the submodel which keeps track of which graph list component type is currently displayed

getGraphListComponentSelected

public GraphListComponentType getGraphListComponentSelected()

getSubwindowModel

public SubwindowModel getSubwindowModel(WorksheetWindowModel.SubwindowType type)

setGraphListComponentSelected

public void setGraphListComponentSelected(GraphListComponentType type)