Interface Document

    • Method Detail

      • getSystemId

        String getSystemId()
        Retrieves the resource identifier for the document.
        Returns:
        the system identifier
      • newInputStream

        InputStream newInputStream()
        Creates a new InputStream that can be used to read the Document. Streams created by this method must be closed using the InputStream.close() method.
        Returns:
        a new input stream for reading the document
      • getSourceInfo

        List<SourceInfo> getSourceInfo()
        Retrieves information pertaining to the document(s) represented by this document.
        Returns:
        a list of source records
      • getOriginalLocation

        URL getOriginalLocation()
        Retrieves the original location of this document.
        Returns:
        a URI representing the original location of the document