|
|||||||||
| 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 | ||||||||