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