org.grinvin.workspace

Class WorksheetWindowWrapper

Implemented Interfaces:
Wrapper<C>

public class WorksheetWindowWrapper
extends DefaultWindowWrapper<W,extends,Window>

Wrapper for the conjecturing window.

Method Summary

@Override
WorksheetWindow create()
@Override
WorksheetWindow load(Element element, SectionLoader sloader)
Load the window, its graph list and its invariant list.
String
getElementName()
Return the XML-element name by which this type of wrapper is identified within its parent.
@Override
void save(WorksheetWindow window, Element parent, SectionSaver ssaver)
Save the window, its graph list, list of invariants, configuration info for the engine and list of expressions.

Methods inherited from class org.grinvin.workspace.DefaultWindowWrapper<W,extends,Window>

baseElement, create, dispose, load, loadWindowProperties, save, saveWindowProperties

Method Details

WorksheetWindow create

public @Override WorksheetWindow create()

WorksheetWindow load

public @Override WorksheetWindow load(Element element,
                                      SectionLoader sloader)
            throws IOException
Load the window, its graph list and its invariant list.

getElementName

public String getElementName()
Return the XML-element name by which this type of wrapper is identified within its parent.
Specified by:
getElementName in interface Wrapper<C>

void save

public @Override void save(WorksheetWindow window,
                           Element parent,
                           SectionSaver ssaver)
            throws IOException
Save the window, its graph list, list of invariants, configuration info for the engine and list of expressions.