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.IOExceptionpublic void start()
throws java.io.IOException
java.io.IOExceptionpublic void persistPath(FeaturePath<java.lang.String> path) throws FileSystemException, java.io.IOException
FeaturePath to the journal.path - The FeaturePath to add to the journal.FileSystemExceptionjava.io.IOExceptionpublic void erase()
throws java.io.IOException
java.io.IOExceptionpublic void shutdown()
throws java.io.IOException
java.io.IOException