Sign in
eclipse
/
sourceediting
/
webtools.sourceediting.xpath.tests
/
e6e04fe7ccf3835c631b1d835c73316623ba519f
/
.
/
tests
/
org.w3c.xqts.testsuite
/
Queries
/
XQuery
/
Functions
/
AllStringFunc
/
EscapingFuncs
/
IRIToURIfunc
/
fn-iri-to-uri-2.xq
blob: 8913cb5a01806ed209371f8f959fe7c5a124da6a [
file
] [
log
] [
blame
]
(: Name: fn-iri-to-uri-2 :)
(: Description: Examines that the fn:iri-to-uri function does not escape numbers.:)
(: insert-start :)
declare
variable
$input-context1
external
;
(: insert-end :)
fn:iri-to-uri
(
"example0123456789"
)