zip:binary-entry($href as xs:anyURI, $entry as xs:string) as xs:base64Binary
Extracts the binary stream from the file positioned at $entry within the ZIP file identified by $href and returns it as a Base64 item.
$href | The URI for locating the Zip file |
$entry | The entry within the Zip file to address |
zip:entries($href as xs:anyURI) as node()
Returns a zip:file element that describes the hierarchical structure of the ZIP file identified by $href in terms of ZIP entries
$href | The URI for locating the Zip file |
zip:html-entry($href as xs:anyURI, $entry as xs:string) as document-node()
Extracts the html file positioned at $entry within the ZIP file identified by $href, and returns a document node. Because an HTML document is not necessarily a well-formed XML document, an implementation may use a specific parser in order to produce an XDM document node, like [TagSoup] or [HTML Tidy]; the details of this process are implementation-defined.
$href | The URI for locating the Zip file |
$entry | The entry within the Zip file to address |
zip:text-entry($href as xs:anyURI, $entry as xs:string) as xs:string
Extracts the contents of the text file positioned at entry within the ZIP file identified by $href and returns it as a string.
$href | The URI for locating the Zip file |
$entry | The entry within the Zip file to address |
zip:update($href as xs:anyURI, $paths as xs:string+, $binaries as xs:base64Binary+) as xs:base64Binary?
Returns a copy of the zip file at $href, after replacing or adding each binary using the matching path/filename in $paths.
$href | The URI for locating the Zip file |
$paths+ | a sequence of file paths |
$binaries+ | a sequence of binaries matching the paths |
zip:xml-entry($href as xs:anyURI, $entry as xs:string) as document-node()
Extracts the content from the XML file positioned at $entry within the ZIP file identified by $href and returns it as a document-node.
$href | The URI for locating the Zip file |
$entry | The entry within the Zip file to address |