public class DocumentURI
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static boolean |
CASE_BLIND_FILES |
| Constructor and Description |
|---|
DocumentURI(java.lang.String uri)
Create a DocumentURI object that wraps a given URI
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
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 DocumentURI(java.lang.String uri)
uri - the URI to be wrapped. Must not be nulljava.lang.NullPointerException - if uri is nullpublic java.lang.String toString()
toString in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic static java.lang.String normalizeURI(java.lang.String uri)
uri - the URI to be normalizedCopyright (c) 2004-2020 Saxonica Limited. All rights reserved.