|
| Implementations | ||||||||||||||||
| Tests | BaseX 7.7 XQ30 |
EMC/xDB xDB_main_r2411365 XQ30 |
Saxon-EE 9.5.1.1 XP20 |
Saxon-EE 9.5.1.1 XQ10 |
Saxon-EE 9.5.1.1 XP30 |
Saxon-EE 9.5.1.1 XQ30 |
Saxon-EE 9.5.1.4 XQX30 (QT3 v1.1) |
XmlPrime 3.0.0.0 XP30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XP20 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX10 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ30 (QT3 vCVS) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| prod-TypeswitchExpr | 65/69 | 69/69 | 0/0 | 56/56 | 0/0 | 69/69 | 66/69 | 0/1 | 69/69 | 69/69 | 0/1 | 56/56 | 56/56 | 56/56 | 68/69 | 0/15 |
| typeswitchhc1[+]
X typeswitchhc1: typeswitch (5) case $i as xs:integer return <wrap>test passed - integer data type</wrap> case $i as xs:date return <wrap>test failed</wrap> case $i as xs:time return <wrap>test failed</wrap> case $i as xs:string return <wrap>test failed</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc2[+]
X typeswitchhc2: typeswitch (5.1) case $i as xs:decimal return <wrap>test passed - 5.1 is a decimal type</wrap> case $i as xs:float return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test failed</wrap> case $i as xs:double return <wrap>test failed</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc3[+]
X typeswitchhc3: typeswitch (5.1E2) case $i as xs:integer return <wrap>test failed2</wrap> case $i as xs:double return <wrap>test passed - 5.1E2 is a double type</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc4[+]
X typeswitchhc4: typeswitch ("A String") case $i as xs:decimal return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test failed</wrap> case $i as xs:string return <wrap>test passed - "A String" is a string type</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc5[+]
X typeswitchhc5: typeswitch (1267.43233E12) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test failed</wrap> case $i as xs:double return <wrap>test passed - 1267.43233E12 is a double type</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc6[+]
X typeswitchhc6: typeswitch(1 > 2) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test failed</wrap> case $i as xs:boolean return <wrap>test passed - 1 > 2 is a boolean type</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc7[+]
X typeswitchhc7: typeswitch(xs:date("1999-05-31")) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test failed</wrap> case $i as xs:date return <wrap>test passed - xs:date("1999-05-31")is of date type</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc8[+]
X typeswitchhc8: typeswitch(xs:time("12:00:00")) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test failed</wrap> case $i as xs:time return <wrap>test passed - xs:time("12:00:00")is of time type</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc9[+]
X typeswitchhc9: typeswitch(xs:dateTime("1999-12-31T19:20:00")) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test failed</wrap> case $i as xs:dateTime return <wrap>test passed - xs:dateTime("1999-12-31T19:20:00")is of dateTime type</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc10[+]
X typeswitchhc10: typeswitch(xs:anyURI("http://example.com")) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test failed</wrap> case $i as xs:anyURI return <wrap>test passed - xs:anyURI("http://www.example.com")is of anyURI type</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc11[+]
X typeswitchhc11: typeswitch(123) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:double return <wrap>test failed</wrap> case $i as xs:anyURI return <wrap>test failed</wrap> default return <wrap>test passed - 123 is an integer (not an option on any cases)</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc12[+]
X typeswitchhc12: typeswitch(123) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:double return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test passed - If a dynamic error is generated, then test failed.</wrap> default return 12 div 0 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc13[+]
X typeswitchhc13: typeswitch(if (1 lt 2) then 3 else 4.5E4) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:double return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test passed - "(1 lt 2) then 3 else 4.5E4" should evaluate to an integer</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc14[+]
X typeswitchhc14: typeswitch(fn:true() and fn:true()) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:double return <wrap>test failed</wrap> case $i as xs:boolean return <wrap>test passed - "fn:true() and fn:true()" should evaluate to boolean type</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc15[+]
X typeswitchhc15: typeswitch(fn:true() or fn:false()) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:double return <wrap>test failed</wrap> case $i as xs:boolean return <wrap>test passed - "fn:true() or fn:false()" should evaluate to boolean type</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc16[+]
X typeswitchhc16: typeswitch(typeswitch (1) case $i as xs:integer return $i default return <a>fn:false</a> ) case $i as xs:string return <wrap>test failed</wrap> case $i as xs:double return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test passed - the operand expression should evaluate to an integer type</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc17[+]
X typeswitchhc17: typeswitch (5) case $i as xs:integer return xs:integer(1 + 1) case $i as xs:date return <wrap>test failed</wrap> case $i as xs:time return <wrap>test failed</wrap> case $i as xs:string return <wrap>test failed</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc18[+]
X typeswitchhc18: typeswitch (5.1) case $i as xs:decimal return xs:decimal(1.1 + 3.1) case $i as xs:float return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test failed</wrap> case $i as xs:double return <wrap>test failed</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc19[+]
X typeswitchhc19: typeswitch (5.1E2) case $i as xs:integer return <wrap>test failed2</wrap> case $i as xs:double return xs:double(5.1E2 + 1.1E2) default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc20[+]
X typeswitchhc20: typeswitch ("A String") case $i as xs:decimal return <wrap>test failed</wrap> case $i as xs:integer return <wrap>test failed</wrap> case $i as xs:string return fn:string-length($i) default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc21[+]
X typeswitchhc21: typeswitch (1) case $i as xs:double return <wrap>test failed</wrap> case $i as xs:integer return fn:count((1, 2, 3)) case $i as xs:string return <wrap>test failed</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc22[+]
X typeswitchhc22: typeswitch (1) case $i as xs:double return <wrap>test failed</wrap> case $i as xs:integer return 5 - 3 case $i as xs:string return <wrap>test failed</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc23[+]
X typeswitchhc23: typeswitch (1) case $i as xs:double return <wrap>test failed</wrap> case $i as xs:integer return 5 * 2 case $i as xs:string return <wrap>test failed</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc24[+]
X typeswitchhc24: typeswitch (1) case $i as xs:double return <wrap>test failed</wrap> case $i as xs:integer return 10 div 2 case $i as xs:string return <wrap>test failed</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitchhc25[+]
X typeswitchhc25: typeswitch (1) case $i as xs:double return <wrap>test failed</wrap> case $i as xs:integer return 10 idiv 2 case $i as xs:string return <wrap>test failed</wrap> default return <wrap>test failed</wrap> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-sequenceExprTypeswitch-1[+]
X K-sequenceExprTypeswitch-1: (typeswitch((1, 2)) case xs:integer return -1 case xs:integer+ return 1 default return -2) eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-sequenceExprTypeswitch-2[+]
X K-sequenceExprTypeswitch-2: (typeswitch("a string") case xs:anyURI return -1 case xs:string return 1 default return -2) eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-sequenceExprTypeswitch-3[+]
X K-sequenceExprTypeswitch-3: (typeswitch("a string") case xs:untypedAtomic return -1 case xs:string return 1 default return -2) eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-sequenceExprTypeswitch-4[+]
X K-sequenceExprTypeswitch-4: (typeswitch((1, "a string")) case xs:integer return -1 case xs:string return -2 case xs:anyAtomicType+ return 1 default return -3) eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-sequenceExprTypeswitch-5[+]
X K-sequenceExprTypeswitch-5: (typeswitch(((1, current-time())[1])) case element() return -1 case xs:integer return 1 default return -2) eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-sequenceExprTypeswitch-6[+]
X K-sequenceExprTypeswitch-6: (typeswitch(()) case xs:integer* return 1 case empty-sequence() return 1 default return -2) eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-sequenceExprTypeswitch-7[+]
X K-sequenceExprTypeswitch-7: (typeswitch(1, 2, 3) case xs:string+ return -1 case xs:integer+ return 1 default return -2) eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-sequenceExprTypeswitch-8[+]
X K-sequenceExprTypeswitch-8: (typeswitch(1, 2, current-time()) case element() return -1 case document-node() return -2 default return 1) eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-1[+]
X K2-sequenceExprTypeswitch-1: boolean(typeswitch (current-time(), 1, 3e3, "foo") case node() return 0 case xs:integer return 3 case xs:anyAtomicType return true() default return -1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-2[+]
X K2-sequenceExprTypeswitch-2: typeswitch(current-time()) case node() return 0 case xs:integer return 3 case xs:anyAtomicType return true() |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-3[+]
X K2-sequenceExprTypeswitch-3: typeswitch 1 case node() return 0 case xs:integer return 3 default return true() |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-4[+]
X K2-sequenceExprTypeswitch-4: typeswitch (1, 2, 3) case $i as node() return <e/> case xs:integer* return $i default return true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-5[+]
X K2-sequenceExprTypeswitch-5: typeswitch (1, 2, 3) case node() return $i case $i as xs:integer return 1 default return true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-6[+]
X K2-sequenceExprTypeswitch-6: typeswitch (1, 2, 3) case node() return <e/> case $i as xs:integer return 1 default return $i |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-7[+]
X K2-sequenceExprTypeswitch-7: typeswitch (1, 2, 3) case node() return <e/> case xs:integer* return $i default $i return 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-8[+]
X K2-sequenceExprTypeswitch-8: typeswitch (1, 2, 3) case node() return <e/> case xs:integer return 3 default $i as item() return 1 |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-9[+]
X K2-sequenceExprTypeswitch-9: typeswitch (1, 2, 3) case node() return <e/> case xs:integer return 3 default $i return 1, $i |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-10[+]
X K2-sequenceExprTypeswitch-10: typeswitch (1, 2, 3) case node() return <e/> case $i as xs:integer return 3 default return 1, $i |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-11[+]
X K2-sequenceExprTypeswitch-11: typeswitch (1, 2, 3) case node() return <e/> default $i return 1 , typeswitch (1, 2, 3) case xs:integer* return $i default return 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-12[+]
X K2-sequenceExprTypeswitch-12: declare variable $i := (attribute name {"content"}, <a attr="content"/>, <e/>, 1, "str", <!-- a comment -->); <d> { typeswitch(typeswitch($i) case $b as element(e) return concat("Found an element by name ", $b) case $b as element() return comment{concat("Found: ", $b)} case $c as attribute(doesntMatch) return $c/.. default $def return $def) case $str as xs:string return "A string" case $attr as attribute() return string($attr) default $def return $def } </d> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-13[+]
X K2-sequenceExprTypeswitch-13: declare variable $i := (<e/>, attribute name {"content"}, <a attr="content"/>, <e/>, 1, "str", <!-- a comment -->); <d> { typeswitch(typeswitch($i) case $b as element(e) return concat("Found an element by name ", $b) case $b as element() return comment{concat("Found: ", $b)} case $c as attribute(doesntMatch) return $c/.. default $def return $def) case $str as xs:string return "A string" case $attr as attribute() return string($attr) default $def return $def } </d> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-14[+]
X K2-sequenceExprTypeswitch-14: <e/>/(typeswitch (self::node()) case $i as node() return . default return 1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-15[+]
X K2-sequenceExprTypeswitch-15: <e/>/(typeswitch (self::node()) case $i as xs:integer return $i default $v return $v) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-sequenceExprTypeswitch-16[+]
X K2-sequenceExprTypeswitch-16: typeswitch(<e/>, <e/>) case $b as element() return concat("", $b treat as element()) default return 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| typeswitch-union-nomatch[+]
X typeswitch-union-nomatch: typeswitch (<e/>) case $i as xs:integer | xs:string return $i default $v return 0 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-union-nomatch-2[+]
X typeswitch-union-nomatch-2: typeswitch (<e/>) case xs:integer | xs:string return 1 default $v return 0 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-union-branch-1[+]
X typeswitch-union-branch-1: typeswitch (47) case $i as xs:integer | xs:string return $i default $v return 0 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-union-branch-1-dup[+]
X typeswitch-union-branch-1-dup: typeswitch (47) case $i as xs:integer | xs:string return $i case $i as xs:integer return $i default $v return 0 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-union-branch-2[+]
X typeswitch-union-branch-2: typeswitch (47) case $i as xs:string | xs:integer return $i default $v return 0 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-union-branch-2-dup[+]
X typeswitch-union-branch-2-dup: typeswitch (47) case $i as xs:string | xs:integer return $i case $i as xs:integer return $i default $v return 0 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-union-branch-both[+]
X typeswitch-union-branch-both: typeswitch (xs:integer(47)) case $i as xs:decimal | xs:integer return $i default $v return 0 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-union-branch-both-dup[+]
X typeswitch-union-branch-both-dup: typeswitch (xs:integer(47)) case $i as xs:decimal | xs:integer return $i case $i as xs:decimal return $i default $v return 0 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-union-multi[+]
X typeswitch-union-multi: for $x in (<e/>, 1, "x") return typeswitch ($x) case $i as xs:integer | xs:boolean | element() return 1 default $v return 0 |
pass | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-in-xpath[+]
X typeswitch-in-xpath: typeswitch (10) case $i as xs:integer return 1 default $v return 0 |
no result | n/a | no result | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XP20+, satisfied=true) was not met. |
n/a
Dependency (type=spec, value=XP20+, satisfied=true) was not met. |
|
| typeswitch-union-in-xquery-10[+]
X typeswitch-union-in-xquery-10: for $x in (<e/>, 1, "x") return typeswitch ($x) case $i as xs:integer | xs:boolean | element() return 1 default $v return 0 |
pass | n/a | no result | n/a
notXP20 |
pass | n/a
notXP30 |
n/a
notXQ30 |
n/a | n/a | n/a | n/a | pass | pass | pass | n/a
Dependency (type=spec, value=XQ10, satisfied=true) was not met. |
|
| typeswitch-112[+]
X typeswitch-112: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; typeswitch (23) case $i as lu:unionType return true() default $v return false() |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-113[+]
X typeswitch-113: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; typeswitch (-23) case $i as lu:restrictedUnionType return true() default $v return false() |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
fail | |
| typeswitch-114[+]
X typeswitch-114: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; typeswitch (-23) case $i as lu:listType return true() default $v return false() |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-115[+]
X typeswitch-115: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; typeswitch (-23) case $i as lu:unionOfListType return true() default $v return false() |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| typeswitch-116[+]
X typeswitch-116: declare namespace lu = 'http://www.w3.org/XQueryTest/ListUnionTypes' ; import schema "http://www.w3.org/XQueryTest/ListUnionTypes"; (typeswitch (current-date()) case $i as lu:unionOfUnionType return true() default $v return false()) and (typeswitch (23) case $i as lu:unionOfUnionType return true() default $v return false()) |
no result | pass | pass | n/a
notXP20 |
n/a
notXQ10 |
n/a
notXP30 |
pass | n/a | pass | pass | n/a | n/a | n/a | n/a
Dependency (type=spec, value=XQ30+, satisfied=true) was not met. |
pass | |
| cbcl-typeswitch-001[+]
X cbcl-typeswitch-001: upper-case(typeswitch ((1 to 10)[. mod 2 = 0]) case xs:integer+ return "int" default return "false") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-typeswitch-002[+]
X cbcl-typeswitch-002: upper-case(typeswitch ((1 to 10)[. div 2 = 0]) case xs:integer+ return "int" default return "false") |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-typeswitch-003[+]
X cbcl-typeswitch-003: typeswitch ((1 to 10)[. mod 2 = 0]) case xs:integer+ return true() default return true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-typeswitch-004[+]
X cbcl-typeswitch-004: typeswitch ((1 to 10)[. mod 2 = 0]) case xs:integer+ return false() default return true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-typeswitch-005[+]
X cbcl-typeswitch-005: subsequence((1 to 10)[. mod 2 = 0] instance of xs:integer+,1) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-typeswitch-006[+]
X cbcl-typeswitch-006: xs:string((1 to 10)[. mod 2 = 0] instance of xs:integer+) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |