org.grinvin.worksheet

Class WorksheetModel

Implemented Interfaces:
HasName, HasURI
Known Direct Subclasses:
WorksheetWindowModel

public class WorksheetModel
extends java.lang.Object
implements HasName, HasURI

Model for the conjecturing window.

Constructor Summary

WorksheetModel()
Creates a new instance of WorksheetModel

Method Summary

void
addHistoryEntry(ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E> logEntry)
void
addResult(Expression expression)
void
addWorksheetModelListener(WorksheetModelListener l)
protected void
fireEngineChanged()
protected void
fireEngineConfigurationChanged()
protected void
fireFilterChanged()
protected void
fireNameChanged()
ConjectureHistoryList
getConjectureHistoryList()
ConjectureHistoryListModel
getConjectureHistoryListModel()
ConjectureList
getConjectureList()
ConjectureListModel
getConjectureListModel()
EngineRunner
getEngineRunner()
GraphFilter
getFilter()
FilterList
getFilterList()
FilterListModel
getFilterListModel()
GraphGeneratorInstanceList
getGeneratorInstanceList()
GraphGeneratorInstanceListModel
getGeneratorInstanceListModel()
GraphList
getGraphList()
InvariantList
getInvariantList()
String
getName()
Get the name of this object.
URI
getURI()
boolean
isNameEditable()
Is the name of this object editable.
void
removeWorksheetModelListener(WorksheetModelListener l)
void
setName(String name)
Set the name of this object.
void
setURI(URI uri)
void
writeStateToHistory()

Constructor Details

WorksheetModel

public WorksheetModel()
Creates a new instance of WorksheetModel

Method Details

addHistoryEntry

public void addHistoryEntry(ConjectureHistoryEntry<E,extends,ConjectureHistoryEntry,E> logEntry)

addResult

public void addResult(Expression expression)

addWorksheetModelListener

public void addWorksheetModelListener(WorksheetModelListener l)

fireEngineChanged

protected void fireEngineChanged()

fireEngineConfigurationChanged

protected void fireEngineConfigurationChanged()

fireFilterChanged

protected void fireFilterChanged()

fireNameChanged

protected void fireNameChanged()

getConjectureHistoryList

public ConjectureHistoryList getConjectureHistoryList()

getConjectureHistoryListModel

public ConjectureHistoryListModel getConjectureHistoryListModel()

getConjectureList

public ConjectureList getConjectureList()

getConjectureListModel

public ConjectureListModel getConjectureListModel()

getEngineRunner

public EngineRunner getEngineRunner()

getFilter

public GraphFilter getFilter()

getFilterList

public FilterList getFilterList()

getFilterListModel

public FilterListModel getFilterListModel()

getGeneratorInstanceList

public GraphGeneratorInstanceList getGeneratorInstanceList()

getGeneratorInstanceListModel

public GraphGeneratorInstanceListModel getGeneratorInstanceListModel()

getGraphList

public GraphList getGraphList()

getInvariantList

public InvariantList getInvariantList()

getName

public String getName()
Get the name of this object.
Specified by:
getName in interface HasName
Returns:
the name of the object

getURI

public URI getURI()
Specified by:
getURI in interface HasURI

isNameEditable

public boolean isNameEditable()
Is the name of this object editable.
Specified by:
isNameEditable in interface HasName
Returns:
true if the name can be changed with the method setName.

removeWorksheetModelListener

public void removeWorksheetModelListener(WorksheetModelListener l)

setName

public void setName(String name)
Set the name of this object.
Specified by:
setName in interface HasName
Parameters:
name - the new name

setURI

public void setURI(URI uri)
Specified by:
setURI in interface HasURI

writeStateToHistory

public void writeStateToHistory()