Package org.grinvin.workspace

Interface Summary

Wrapper<C> An object of this type manages the life cycle of one or more subcomponents of the GrInVin system, of type .

Class Summary

ConjecturingWindowWrapper Wrapper for the conjecturing window.
DefaultWindowWrapper<W,extends,Window> Common super class of all wrappers that manage a single window of type W.
EditorWindowWrapper Wrapper for the EditorWindow
GraphBrowserWindowWrapper Wrapper for the GraphBrowserWindow
GrinvinWindowWrapper Wrapper for the main GrInvIn window.
LoggingWindowWrapper Window wrapper for the factory window.
Workspace Handles session persistence.
WorkspaceException Indicates that something went wrong while loading or saving a workspace