org.grinvin.workspace
Class WorksheetWindowWrapper
- Wrapper<C>
public class WorksheetWindowWrapper
Wrapper for the conjecturing window.
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.
- 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.