|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcs4099.StateWriter
public class StateWriter
The StateWriter outputs a representation of a state to an XML file so that it can be read at a later time.
State
Constructor Summary | |
---|---|
StateWriter()
Constructor (empty). |
Method Summary | |
---|---|
void |
writeState(State state)
Writes a state to the file "./dump.xml" in the expected XML format, so that it can be restored by using the Open command. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public StateWriter()
Method Detail |
---|
public void writeState(State state)
state
- The state to write to the file.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |