public class DocumentKey
extends java.lang.Object
The package name and version of the document reference are retained, because calls of doc() in different packages, using the same absolute URI, may return different documents, as a result of the treatment of whitespace and type annotations varying.
Modifier and Type | Field and Description |
---|---|
static boolean |
CASE_BLIND_FILES |
Constructor and Description |
---|
DocumentKey(java.lang.String uri)
Create a DocumentURI object that wraps a given URI
|
DocumentKey(java.lang.String uri,
java.lang.String packageName,
PackageVersion version) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getAbsoluteURI() |
int |
hashCode() |
static java.lang.String |
normalizeURI(java.lang.String uri)
Normalize the representation of file: URIs to give better equality matching than straight
string comparison.
|
java.lang.String |
toString() |
public DocumentKey(java.lang.String uri)
uri
- the URI to be wrapped. Must not be nulljava.lang.NullPointerException
- if uri is nullpublic DocumentKey(java.lang.String uri, java.lang.String packageName, PackageVersion version)
public java.lang.String getAbsoluteURI()
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public static java.lang.String normalizeURI(java.lang.String uri)
uri
- the URI to be normalizedCopyright (c) 2004-2020 Saxonica Limited. All rights reserved.