public class SnapshotManager extends Object
| Constructor and Description |
|---|
SnapshotManager(Path snapshotFile) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
forceSetSnapshotFile(Path snapshotFile)
Deprecated.
|
Snapshot |
getOrCreateDataFile()
|
Snapshot |
getOriginalDataFile()
Deprecated.
|
public SnapshotManager(Path snapshotFile) throws IOException
IOException@Deprecated protected void forceSetSnapshotFile(Path snapshotFile) throws IOException
IOException@Deprecated public Snapshot getOriginalDataFile()
Snapshot object (before modification).public Snapshot getOrCreateDataFile() throws IOException
Snapshot object (from Json file on disk) or create new Snapshot object,
according to file name specified by TranslationConfiguration#getDataFileName()SnapshotIOException - some exception derived from IOExceptionCopyright © 2025 FG Forrest, a.s.. All rights reserved.