public final class DocumentPool
extends java.lang.Object
implements java.io.Serializable
The function of allocating document numbers is performed by the DocumentNumberAllocator in the Configuration, not by the DocumentPool. This has a number of effects: in particular it allows operations involving multiple documents (such as generateId() and document()) to occur in a free-standing XPath environment.
Constructor and Description |
---|
DocumentPool() |
Modifier and Type | Method and Description |
---|---|
void |
add(DocumentInfo doc,
java.lang.String uri)
Add a document to the pool
|
DocumentInfo |
discard(DocumentInfo doc)
Release a document from the document pool.
|
DocumentInfo |
find(java.lang.String uri)
Get the document with a given document-uri
|
java.lang.String |
getDocumentURI(NodeInfo doc)
Get the URI for a given document node, if it is present in the pool.
|
public void add(DocumentInfo doc, java.lang.String uri)
doc
- The DocumentInfo for the document in questionuri
- The document-uri property of the document.public DocumentInfo find(java.lang.String uri)
uri
- The document-uri property of the document.public java.lang.String getDocumentURI(NodeInfo doc)
doc
- The document nodepublic DocumentInfo discard(DocumentInfo doc)
doc
- the document to be discarded from the pool