org.grinvin.workspace

Class ConjecturingWindowWrapper

Implemented Interfaces:
Wrapper<C>

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

Wrapper for the conjecturing window.

Method Summary

@Override
ConjecturingWindow create()
@Override
ConjecturingWindow load(Element element, File directory)
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(ConjecturingWindow window, Element parent, File directory)
Save the window, its graph list and its list of invariants.

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

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

Method Details

ConjecturingWindow create

public @Override ConjecturingWindow create()

ConjecturingWindow load

public @Override ConjecturingWindow load(Element element,
                                         File directory)
            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(ConjecturingWindow window,
                           Element parent,
                           File directory)
            throws IOException
Save the window, its graph list and its list of invariants.