public class DocumentURI extends Object
Modifier and Type | Field and Description |
---|---|
static boolean |
CASE_BLIND_FILES |
Constructor and Description |
---|
DocumentURI(String uri)
Create a DocumentURI object that wraps a given URI
|
public DocumentURI(String uri)
uri
- the URI to be wrapped. Must not be nullNullPointerException
- if uri is nullpublic static String normalizeURI(String uri)
uri
- the URI to be normalizedCopyright (c) 2004-2013 Saxonica Limited. All rights reserved.