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