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