public class DiagnosticNamePool extends NamePool
NamePool.NamePoolLimitException
Modifier and Type | Field and Description |
---|---|
PrintStream |
printStream |
FP_MASK, MAX_PREFIXES_PER_URI, USER_DEFINED_MASK
Constructor and Description |
---|
DiagnosticNamePool() |
Modifier and Type | Method and Description |
---|---|
int |
allocate(String prefix,
String uri,
String localName)
Allocate a name from the pool, or a new Name if there is not a matching one there
|
short |
allocateCodeForURI(String uri)
Allocate the uri code for a given URI; create one if not found
|
allocateClarkName, allocateLexicalQName, diagnosticDump, getClarkName, getClientData, getCodeForURI, getDisplayName, getEQName, getFingerprint, getLocalName, getNamespaceBinding, getPrefix, getStructuredQName, getURI, getURICode, getURIFromURICode, isPrefixed, parseClarkName, setClientData, statistics, suggestPrefixForURI
public PrintStream printStream
public short allocateCodeForURI(String uri)
NamePool
allocateCodeForURI
in class NamePool
uri
- The namespace URI. Supply "" or null for the "null namespace"public int allocate(String prefix, String uri, String localName)
NamePool
allocate
in class NamePool
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 nameCopyright (c) 2004-2013 Saxonica Limited. All rights reserved.