org.grinvin.workspace
Class GraphBrowserWindowWrapper
- Wrapper<C>
public class GraphBrowserWindowWrapper
Wrapper for the GraphBrowserWindow
GraphBrowserWindow create
public @Override GraphBrowserWindow create()
GraphBrowserWindow load
public @Override GraphBrowserWindow load(Element element,
File directory)
throws IOException
Load the window, its graph list and its invariaht 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(GraphBrowserWindow window,
Element parent,
File directory)
throws IOException
Save the window, its graph list and its list of invariants.