public class PathJournal
extends java.lang.Object
Constructor and Description |
---|
PathJournal(java.lang.String pathFile) |
Modifier and Type | Method and Description |
---|---|
void |
erase()
Removes the Path Journal and its Feature index files.
|
void |
persistPath(FeaturePath<java.lang.String> path)
Adds a graph
FeaturePath to the journal. |
boolean |
recover(java.util.List<FeaturePath<java.lang.String>> paths)
Recovers the Path Journal from disk.
|
void |
shutdown()
Closes open journal files and stops accepting new FeaturePaths.
|
void |
start()
Prepares the journal files and allows new entries to be written.
|
public boolean recover(java.util.List<FeaturePath<java.lang.String>> paths) throws java.io.IOException
paths
- A list that will be populated with all the recovered paths.java.io.IOException
public void start() throws java.io.IOException
java.io.IOException
public void persistPath(FeaturePath<java.lang.String> path) throws FileSystemException, java.io.IOException
FeaturePath
to the journal.path
- The FeaturePath to add to the journal.FileSystemException
java.io.IOException
public void erase() throws java.io.IOException
java.io.IOException
public void shutdown() throws java.io.IOException
java.io.IOException