X fn-exactly-oneint1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:int("-2147483648"))

 X fn-exactly-oneint1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:int("-1873914410"))

 X fn-exactly-oneint1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:int("2147483647"))

 X fn-exactly-oneintg1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:integer("-999999999999999999"))

 X fn-exactly-oneintg1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:integer("830993497117024304"))

 X fn-exactly-oneintg1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:integer("999999999999999999"))

 X fn-exactly-onedec1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:decimal("-999999999999999999"))

 X fn-exactly-onedec1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:decimal("617375191608514839"))

 X fn-exactly-onedec1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:decimal("999999999999999999"))

 X fn-exactly-onedbl1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:double("-1.7976931348623157E308"))

 X fn-exactly-onedbl1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:double("0"))

 X fn-exactly-onedbl1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:double("1.7976931348623157E308"))

 X fn-exactly-oneflt1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:float("-3.4028235E38"))

 X fn-exactly-oneflt1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:float("0"))

 X fn-exactly-oneflt1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:float("3.4028235E38"))

 X fn-exactly-onelng1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:long("-92233720368547758"))

 X fn-exactly-onelng1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:long("-47175562203048468"))

 X fn-exactly-onelng1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:long("92233720368547758"))

 X fn-exactly-oneusht1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:unsignedShort("0"))

 X fn-exactly-oneusht1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:unsignedShort("44633"))

 X fn-exactly-oneusht1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:unsignedShort("65535"))

 X fn-exactly-onenint1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:negativeInteger("-999999999999999999"))

 X fn-exactly-onenint1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:negativeInteger("-297014075999096793"))

 X fn-exactly-onenint1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:negativeInteger("-1"))

 X fn-exactly-onepint1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:positiveInteger("1"))

 X fn-exactly-onepint1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:positiveInteger("52704602390610033"))

 X fn-exactly-onepint1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:positiveInteger("999999999999999999"))

 X fn-exactly-oneulng1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:unsignedLong("0"))

 X fn-exactly-oneulng1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:unsignedLong("130747108607674654"))

 X fn-exactly-oneulng1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:unsignedLong("184467440737095516"))

 X fn-exactly-onenpi1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:nonPositiveInteger("-999999999999999999"))

 X fn-exactly-onenpi1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:nonPositiveInteger("-475688437271870490"))

 X fn-exactly-onenpi1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:nonPositiveInteger("0"))

 X fn-exactly-onenni1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:nonNegativeInteger("0"))

 X fn-exactly-onenni1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:nonNegativeInteger("303884545991464527"))

 X fn-exactly-onenni1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:nonNegativeInteger("999999999999999999"))

 X fn-exactly-onesht1args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:short("-32768"))

 X fn-exactly-onesht1args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:short("-5324"))

 X fn-exactly-onesht1args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: fn:exactly-one(xs:short("32767"))

 X fn-exactly-one-1:

Created on: 2005-09-20
Spec Dependencies:

Test: fn:exactly-one((1,2))

 X K-SeqExactlyOneFunc-1:

Created on: 2007-11-26
Spec Dependencies:

Test: exactly-one(1, 2)

 X K-SeqExactlyOneFunc-2:

Created on: 2007-11-26
Spec Dependencies:

Test: exactly-one()

 X K-SeqExactlyOneFunc-3:

Created on: 2007-11-26
Spec Dependencies:

Test: exactly-one( (1, 2, 3) )

 X K-SeqExactlyOneFunc-4:

Created on: 2007-11-26
Spec Dependencies:

Test: exactly-one("one") eq "one"

 X K-SeqExactlyOneFunc-5:

Created on: 2007-11-26
Spec Dependencies:

Test: count(exactly-one( "one" )) eq 1

 X K-SeqExactlyOneFunc-6:

Created on: 2007-11-26
Spec Dependencies:

Test: exactly-one(error())

 X K-SeqExactlyOneFunc-7:

Created on: 2007-11-26
Spec Dependencies:

Test: exactly-one((true(), error()))

 X K-SeqExactlyOneFunc-8:

Created on: 2007-11-26
Spec Dependencies:

Test: exactly-one(( error(), true()))

 X K-SeqExactlyOneFunc-9:

Created on: 2007-11-26
Spec Dependencies:

Test: exactly-one( () )

 X K-SeqExactlyOneFunc-10:

Created on: 2007-11-26
Spec Dependencies:

Test: zero-or-more(1)

 X cbcl-exactly-one-001:

Created on: 2008-04-10
Spec Dependencies:
spec = XQ10+

Test: boolean( exactly-one( remove( (<a/>, 1), 1 ) ) )

 X cbcl-exactly-one-002:

Created on: 2008-04-10
Spec Dependencies:
spec = XQ10+

Test: declare function local:generate($arg as xs:integer) { if ($arg = 0) then (1, 2, 3) else $arg }; fn:exactly-one(fn:unordered( local:generate(1) ))

 X cbcl-exactly-one-003:

Created on: 2008-04-10
Spec Dependencies:
spec = XQ10+

Test: declare function local:generate($arg as xs:integer?) { if ($arg = 0) then () else if ($arg = 1) then $arg else ($arg, $arg) }; 1 + fn:exactly-one(fn:one-or-more( local:generate( 1 ) ))

 X cbcl-exactly-one-004:

Created on: 2008-04-10
Spec Dependencies:
spec = XQ10+

Test: declare function local:generate($arg as xs:integer?) { if ($arg = 0) then () else if ($arg = 1) then $arg else ($arg, $arg) }; 1 + fn:exactly-one(fn:zero-or-one( local:generate( 1 ) ))