public class Document
extends java.lang.Object
implements java.io.Serializable
DocumentDigest that can be used for document content
comparison.
Note that creating a new Document instance does not physically create a new
object in the file system; it simply creates a new reference to a particular location.
| Constructor and Description |
|---|
Document(java.lang.String docURI)
Creates a new reference to a document with the given location.
|
Document(java.lang.String docURI,
DocumentDigest digest)
Creates a new reference to a document with the given location and
digest.
|
| Modifier and Type | Method and Description |
|---|---|
DocumentDigest |
getDigest()
Returns the digest of this document
|
boolean |
getOverwrite()
Not for public use.
|
java.lang.String |
getTempName()
Returns a temporary name for this document, consisting of the
URI plus the digest (if any).
|
java.lang.String |
getURI()
Returns the location referred to by this document.
|
void |
setOverwrite(boolean b)
Not for public use.
|
void |
setURI(java.lang.String newURI)
Sets the URI of this document instance.
|
public Document(java.lang.String docURI,
DocumentDigest digest)
docURI - URI specifying the location of this documentdigest - the digest for this documentpublic Document(java.lang.String docURI)
docURI - URI specifying the location of this documentpublic java.lang.String getURI()
public void setURI(java.lang.String newURI)
newURI - a URI indicating the document locationpublic DocumentDigest getDigest()
public java.lang.String getTempName()
public boolean getOverwrite()
public void setOverwrite(boolean b)
b - Not for public use