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.StateException
void restoreState(java.io.File mergeDir) throws StateException
mergeDir
- Location to obtain the merged state data.StateException
void mergeStateData(java.io.File[] stateDirs, java.io.File mergeDir) throws StateException
stateDirs
- Current state directoriesmergeDir
- New state merge directoryStateException