public final class DocumentPool
extends java.lang.Object
Constructor | Description |
---|---|
DocumentPool() |
Modifier and Type | Method | Description |
---|---|---|
int |
add(DocumentInfo doc,
java.lang.String name) |
Add a document to the pool, and allocate a document number
|
DocumentInfo |
find(java.lang.String name) |
Get the document with a given name
|
int |
getDocumentNumber(DocumentInfo doc) |
Get the document number of a document that is already in the pool.
|
int |
getNumberOfDocuments() |
Get the number of documents in the pool
|
public int add(DocumentInfo doc, java.lang.String name)
doc
- The DocumentInfo for the document in questionname
- The name of the document. May be null, in the case of
the principal source document or a result tree fragment. Used for
the URI of a document loaded using the document() function.public int getDocumentNumber(DocumentInfo doc)
public DocumentInfo find(java.lang.String name)
public int getNumberOfDocuments()