org.grinvin.workspace

Class GrinvinWindowWrapper

Implemented Interfaces:
Wrapper<C>

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

Wrapper for the main GrInvIn window.

Constructor Summary

GrinvinWindowWrapper()

Method Summary

@Override
GrinvinWindow create()
Create all top level windows and add them to the menus of the main window.
@Override
GrinvinWindow load(Element element, File directory)
Load this window and all dependent windows.
String
getElementName()
Return the XML-element name by which this type of wrapper is identified within its parent.
@Override
void dispose(GrinvinWindow window)
Dispose of this window and all dependent windows.
@Override
void save(GrinvinWindow window, Element parent, File directory)
Save this window and all dependent windows.

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

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

Constructor Details

GrinvinWindowWrapper

public GrinvinWindowWrapper()

Method Details

GrinvinWindow create

public @Override GrinvinWindow create()
Create all top level windows and add them to the menus of the main window.

GrinvinWindow load

public @Override GrinvinWindow load(Element element,
                                    File directory)
            throws IOException
Load this window and all dependent windows.

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 dispose

public @Override void dispose(GrinvinWindow window)
Dispose of this window and all dependent windows.

void save

public @Override void save(GrinvinWindow window,
                           Element parent,
                           File directory)
            throws IOException
Save this window and all dependent windows.