public class DocumentURI
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
static boolean |
CASE_BLIND_FILES |
Constructor | Description |
---|---|
DocumentURI(java.lang.String uri) |
Create a DocumentURI object that wraps a given URI
|
Modifier and Type | Method | 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.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 normalized