Class DocumentURI


  • public class DocumentURI
    extends java.lang.Object
    This class encapsulates a string used as the value of the document-uri() property of a document, together with a normalized representation of the string used for equality comparisons. The idea is that on Windows systems, document URIs are compared using case-blind comparison, but the original case is retained for display purposes.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static boolean CASE_BLIND_FILES  
    • Constructor Summary

      Constructors 
      Constructor Description
      DocumentURI​(java.lang.String uri)
      Create a DocumentURI object that wraps a given URI
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      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()  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait
    • Field Detail

      • CASE_BLIND_FILES

        public static final boolean CASE_BLIND_FILES
    • Constructor Detail

      • DocumentURI

        public DocumentURI​(java.lang.String uri)
        Create a DocumentURI object that wraps a given URI
        Parameters:
        uri - the URI to be wrapped. Must not be null
        Throws:
        java.lang.NullPointerException - if uri is null
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • normalizeURI

        public static java.lang.String normalizeURI​(java.lang.String uri)
        Normalize the representation of file: URIs to give better equality matching than straight string comparison. The main purpose is (a) to eliminate the distinction between "file:/" and "file:///", and (b) to normalize case in the case of Windows filenames: especially the distinction between "file:/C:" and "file:/c:".
        Parameters:
        uri - the URI to be normalized
        Returns:
        the normalized URI.