Package net.sf.saxon.tree.util
Class DiagnosticNamePool
java.lang.Object
net.sf.saxon.om.NamePool
net.sf.saxon.tree.util.DiagnosticNamePool
- All Implemented Interfaces:
Serializable
This class provides a diagnostic wrapper for the real NamePool. There are no formal interfaces
to exploit it, but it can be patched into a system by use of setNamePool() on the Configuration,
and its effect is to trace entry to selected methods, notably those that are synchronized, for
diagnostic analysis.
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from class net.sf.saxon.om.NamePool
NamePool.NamePoolLimitException
-
Field Summary
FieldsFields inherited from class net.sf.saxon.om.NamePool
FP_MASK, MAX_PREFIXES_PER_URI, USER_DEFINED_MASK
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class net.sf.saxon.om.NamePool
allocateClarkName, allocateLexicalQName, diagnosticDump, getClarkName, getClientData, getCodeForURI, getDisplayName, getEQName, getFingerprint, getLocalName, getNamespaceBinding, getPrefix, getStructuredQName, getURI, getURICode, getURIFromURICode, isPrefixed, parseClarkName, setClientData, statistics, suggestPrefixForURI
-
Field Details
-
printStream
-
-
Constructor Details
-
DiagnosticNamePool
public DiagnosticNamePool()
-
-
Method Details
-
allocateCodeForURI
Description copied from class:NamePool
Allocate the uri code for a given URI; create one if not found- Overrides:
allocateCodeForURI
in classNamePool
- Parameters:
uri
- The namespace URI. Supply "" or null for the "null namespace"- Returns:
- an integer code that uniquely identifies this URI within the namepool.
-
allocate
Description copied from class:NamePool
Allocate a name from the pool, or a new Name if there is not a matching one there- Overrides:
allocate
in classNamePool
- Parameters:
prefix
- the namespace prefix. Use "" for the null prefix, representing the absent namespaceuri
- the namespace URI. Use "" or null for the non-namespace.localName
- the local part of the name- Returns:
- an integer (the "namecode") identifying the name within the namepool. The Name itself may be retrieved using the getName(int) method
-