public interface StateDirectorySaveable
| Modifier and Type | Method and Description |
|---|---|
void |
mergeStateData(java.io.File[] stateDirs,
java.io.File mergeDir)
Merges all state data from the stateDirs to the mergeDir.
|
void |
restoreState(java.io.File mergeDir)
Restores the state from a directory that contains a
"merged" state, as created by this Object's mergeStateData
method.
|
void |
saveState(java.io.File stateDir)
Save the Object's state to the given directory.
|
void saveState(java.io.File stateDir)
throws StateException
stateDir - Location to save the state data.StateExceptionvoid restoreState(java.io.File mergeDir)
throws StateException
mergeDir - Location to obtain the merged state data.StateExceptionvoid mergeStateData(java.io.File[] stateDirs,
java.io.File mergeDir)
throws StateException
stateDirs - Current state directoriesmergeDir - New state merge directoryStateException