org.grinvin.workspace

Class GraphBrowserWindowWrapper

Implemented Interfaces:
Wrapper<C>

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

Wrapper for the GraphBrowserWindow

Method Summary

@Override
GraphBrowserWindow create()
@Override
GraphBrowserWindow load(Element element, File directory)
Load the window, its graph list and its invariaht list.
String
getElementName()
Return the XML-element name by which this type of wrapper is identified within its parent.
int
getMajorVersion()
Does not store a version.
@Override
void save(GraphBrowserWindow 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

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.
Specified by:
getElementName in interface Wrapper<C>

getMajorVersion

public int getMajorVersion()
Does not store a version. Versioning is the responsibility of any wrapper that uses this wrapper as a subsidiary.
Specified by:
getMajorVersion in interface Wrapper<C>
Overrides:
getMajorVersion in interface DefaultWindowWrapper<W,extends,Window>

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.