Sign in
eclipse
/
sourceediting
/
webtools.sourceediting.xpath.tests
/
59e1b2bb09bf041229370edf54afbaf3d2cb743e
/
.
/
tests
/
org.w3c.xqts.testsuite
/
Queries
/
XQuery
/
Expressions
/
exprSeqTypes
/
SeqExprCastToDerived
/
cast-derived-5.xq
blob: 8578159c3c3e1fe0486e9038dc2f9c8a5d7fb724 [
file
] [
log
] [
blame
]
(: name : cast-derived-5 :)
(: description : Casting from float to a nonNegativeInteger.:)
(: insert-start :)
declare
variable
$input-context1
external
;
(: insert-end :)
let
$value
:=
xs:float
(10.0)
return
$value
cast
as
xs:nonNegativeInteger