Returns the document element
Returns the document element
Returns the document URI, falling back to the empty URI if absent.
Returns the document URI, falling back to the empty URI if absent.
Returns the optional document URI, wrapped in an Option
Returns the optional document URI, wrapped in an Option
Creates a copy, but with the new documentElement passed as parameter newRoot
Creates a copy, but with the new documentElement passed as parameter newRoot
Creates a copy, but with the new xmlDeclarationOption passed as parameter newXmlDeclarationOption
Creates a copy, but with the new xmlDeclarationOption passed as parameter newXmlDeclarationOption
IndexedDocument
, containing an "indexed" document element with simple elements as underlying elements.