public final class History
extends java.lang.Object
The flush()
method may be used to synchronously force updates to the backing
store. Normal termination of the Java Virtual Machine will not result in the
loss of pending updates - an explicit flushing is not required upon
termination to ensure that pending updates are made persistent.
This class is thread-safe.
Modifier and Type | Class and Description |
---|---|
static class |
History.ChecksumCharArrayWriter
A writer that calculates a checkum during the writing process.
|
static class |
History.Entry
Represents a history entry.
|
static class |
History.Method
Represents the method used to identify dirty files and changed files.
|
static class |
History.Policy
Represents a history policy.
|
Modifier and Type | Method and Description |
---|---|
void |
add(java.io.File file,
java.lang.String packageName,
long modification)
Adds the given file to the history.
|
void |
clear()
Clears the history.
|
void |
flush()
Stores the history to the backing store.
|
History.Entry |
get(java.io.File file)
Returns the history entry for the given file.
|
static History |
getInstance()
Returns the sole instance of this class.
|
void |
remove(java.io.File file)
Removes the given file from the history.
|
public static History getInstance()
public void add(java.io.File file, java.lang.String packageName, long modification) throws java.io.IOException
file
- file to add.packageName
- the package name of the file to add.modification
- the time the file given was last processed.java.io.IOException
- if an I/O error occured, which is possible because a canonical
pathname will be constructed.public void clear()
public void flush() throws java.io.IOException
java.io.IOException
- if an I/O error occured.public History.Entry get(java.io.File file) throws java.io.IOException
file
- the file to get the corresponding history entry for.null
if no entry for
the given file exists.java.io.IOException
- if an I/O error occured, which is possible because a canonical
pathname will be constructed.public void remove(java.io.File file) throws java.io.IOException
file
- file to remove.java.io.IOException
- if an I/O error occured, which is possible because a canonical
pathname will be constructed.
Submit a bug or feature.
For further information and documentation, visit the official Jalopy website.
This page generated: March 30 2013