com.icl.saxon.om
public final class DocumentPool extends Object
Constructor and Description |
---|
DocumentPool() |
Modifier and Type | Method and Description |
---|---|
int |
add(DocumentInfo doc,
String name)
Add a document to the pool, and allocate a document number
|
DocumentInfo |
find(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, 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(String name)
public int getNumberOfDocuments()