public int add(DocumentInfo doc,
java.lang.String name)
Add a document to the pool, and allocate a document number
Parameters:
doc - The DocumentInfo for the document in question
name - 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.
Returns:
the document number, unique within this document pool
Get the document number of a document that is already in the pool.
If the document is not already in the pool, it is added, and a document
number is allocated. (This can happen when a Java application has built
the document independently of the Controller. In this case, it is still
necessary that all documents use the same NamePool, but we don't actually
check this).