|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Workspace
A workspace defined a container for documents. Documents can be
added (opened) / removed (closed) to /from a workspace. At a given
time, there is only one "active" document (selected) in the
workspace.
Method Summary | |
---|---|
void |
close(WorkspaceDocument document)
Closes the given document. |
WorkspaceDocument[] |
getDocuments()
Gets all documents hosted in this workspace. |
WorkspaceDocument |
getSelected()
Gets the currently selected document. |
void |
open(WorkspaceDocument document)
Opens the given document in this workspace. |
void |
save(WorkspaceDocument document)
Saves the given document. |
void |
setSelected(WorkspaceDocument document)
Selects the given document in the workspace. |
Method Detail |
---|
void setSelected(WorkspaceDocument document) throws java.lang.IllegalArgumentException, java.beans.PropertyVetoException
document
-
java.lang.IllegalArgumentException
- if the document is not in this
workspace
java.beans.PropertyVetoException
- if the previously selected document
prevents another document from being selectedWorkspaceDocument getSelected()
WorkspaceDocument[] getDocuments()
void open(WorkspaceDocument document)
document
- void close(WorkspaceDocument document) throws java.beans.PropertyVetoException
document
-
java.beans.PropertyVetoException
- if one of the listeners prevented
the document to be closedvoid save(WorkspaceDocument document)
document
-
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |