|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
Interface for a JDock state. The user must call getState or
setState for using it from the JDock container.
For saving or reading it from a stream the ObjectOutputStream or
the ObjectInputStream must be used.
Here a sample for writing the current JDock state inside a file.
JDock doc = new JDock();
...
State currentState = doc.getState();
FileOutputStream fout = new FileOutputStream( "jdoc.state" );
ObjectOutputStream output = new ObjectOutputStream( fout );
try {
output.writeObject( currentState );
} finally {
output.close();
}
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||