Text.XML.HXT.Arrow.XmlState.URIHandling

set the base URI of a document, used e.g. for reading includes, e.g. external entities, the input must be an absolute URI

read the base URI from the globale state

change the base URI with a possibly relative URI, can be used for evaluating the xml:base attribute. Returns the new absolute base URI. Fails, if input is not parsable with parseURIReference

see also: setBaseURI, mkAbsURI

set the default base URI, if parameter is null, the system base ( file:///<cwd>/ ) is used, else the parameter, must be called before any document is read

get the default base URI

remember base uri, run an arrow and restore the base URI, used with external entity substitution

parse a URI reference, in case of a failure, try to escape unescaped chars, convert backslashes to slashes for windows paths, and try parsing again

compute the absolut URI for a given URI and a base URI

arrow variant of expandURIString, fails if expandURIString returns Nothing

arrow for expanding an input URI into an absolute URI using global base URI, fails if input is not a legal URI

arrow for selecting the scheme (protocol) of the URI, fails if input is not a legal URI.

See Network.URI for URI components

arrow for selecting the registered name (host) of the URI, fails if input is not a legal URI

arrow for selecting the port number of the URI without leading ':', fails if input is not a legal URI

arrow for selecting the user info of the URI without trailing '@', fails if input is not a legal URI

arrow for computing the path component of an URI, fails if input is not a legal URI

arrow for computing the query component of an URI, fails if input is not a legal URI

arrow for computing the fragment component of an URI, fails if input is not a legal URI

arrow for computing the path component of an URI, fails if input is not a legal URI