|
| Implementations | |||||||
| Tests | BaseX 8.5 beta XQ31 (QT3 vCVS) |
Saxon-EE 9.7.0.11 XP31 (QT3 v0.6) |
Saxon-EE 9.7.0.11 XQ31 (QT3 v0.6) |
XmlPrime 4.0.0.16079 XP31 (QT3 vCVS) |
XmlPrime 4.0.0.26293 XQ31 (QT3 vCVS) |
XmlPrime 4.0.0.27704 XQX31 (QT3 vCVS) |
|
|---|---|---|---|---|---|---|---|
| prod-TypeswitchExpr | 66/71 | 0/0 | 71/71 | 0/0 | 71/71 | 71/0 | 0/6 |
| typeswitchhc1[+]
X typeswitchhc1: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc2[+]
X typeswitchhc2: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc3[+]
X typeswitchhc3: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc4[+]
X typeswitchhc4: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc5[+]
X typeswitchhc5: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc6[+]
X typeswitchhc6: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc7[+]
X typeswitchhc7: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc8[+]
X typeswitchhc8: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc9[+]
X typeswitchhc9: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc10[+]
X typeswitchhc10: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc11[+]
X typeswitchhc11: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc12[+]
X typeswitchhc12: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc13[+]
X typeswitchhc13: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc14[+]
X typeswitchhc14: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc15[+]
X typeswitchhc15: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc16[+]
X typeswitchhc16: Created on: 2005-02-14 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc17[+]
X typeswitchhc17: Created on: 2005-08-25 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc18[+]
X typeswitchhc18: Created on: 2005-08-25 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc19[+]
X typeswitchhc19: Created on: 2005-08-25 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc20[+]
X typeswitchhc20: Created on: 2005-08-25 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc21[+]
X typeswitchhc21: Created on: 2005-08-25 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc22[+]
X typeswitchhc22: Created on: 2005-08-25 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc23[+]
X typeswitchhc23: Created on: 2005-08-25 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc24[+]
X typeswitchhc24: Created on: 2005-08-25 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitchhc25[+]
X typeswitchhc25: Created on: 2005-08-25 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-sequenceExprTypeswitch-1[+]
X K-sequenceExprTypeswitch-1: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: (typeswitch((1, 2)) case xs:integer return -1 case xs:integer+ return 1 default return -2) eq 1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-sequenceExprTypeswitch-2[+]
X K-sequenceExprTypeswitch-2: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: (typeswitch("a string") case xs:anyURI return -1 case xs:string return 1 default return -2) eq 1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-sequenceExprTypeswitch-3[+]
X K-sequenceExprTypeswitch-3: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: (typeswitch("a string") case xs:untypedAtomic return -1 case xs:string return 1 default return -2) eq 1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-sequenceExprTypeswitch-4[+]
X K-sequenceExprTypeswitch-4: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: (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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-sequenceExprTypeswitch-5[+]
X K-sequenceExprTypeswitch-5: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: (typeswitch(((1, current-time())[1])) case element() return -1 case xs:integer return 1 default return -2) eq 1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-sequenceExprTypeswitch-6[+]
X K-sequenceExprTypeswitch-6: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: (typeswitch(()) case xs:integer* return 1 case empty-sequence() return 1 default return -2) eq 1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-sequenceExprTypeswitch-7[+]
X K-sequenceExprTypeswitch-7: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: (typeswitch(1, 2, 3) case xs:string+ return -1 case xs:integer+ return 1 default return -2) eq 1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K-sequenceExprTypeswitch-8[+]
X K-sequenceExprTypeswitch-8: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: (typeswitch(1, 2, current-time()) case element() return -1 case document-node() return -2 default return 1) eq 1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-1[+]
X K2-sequenceExprTypeswitch-1: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-2[+]
X K2-sequenceExprTypeswitch-2: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: typeswitch(current-time()) case node() return 0 case xs:integer return 3 case xs:anyAtomicType return true() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-3[+]
X K2-sequenceExprTypeswitch-3: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: typeswitch 1 case node() return 0 case xs:integer return 3 default return true() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-4[+]
X K2-sequenceExprTypeswitch-4: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: typeswitch (1, 2, 3) case $i as node() return <e/> case xs:integer* return $i default return true() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-5[+]
X K2-sequenceExprTypeswitch-5: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: typeswitch (1, 2, 3) case node() return $i case $i as xs:integer return 1 default return true() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-6[+]
X K2-sequenceExprTypeswitch-6: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: typeswitch (1, 2, 3) case node() return <e/> case $i as xs:integer return 1 default return $i |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-7[+]
X K2-sequenceExprTypeswitch-7: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: typeswitch (1, 2, 3) case node() return <e/> case xs:integer* return $i default $i return 1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-8[+]
X K2-sequenceExprTypeswitch-8: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: typeswitch (1, 2, 3) case node() return <e/> case xs:integer return 3 default $i as item() return 1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-9[+]
X K2-sequenceExprTypeswitch-9: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: typeswitch (1, 2, 3) case node() return <e/> case xs:integer return 3 default $i return 1, $i |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-10[+]
X K2-sequenceExprTypeswitch-10: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: typeswitch (1, 2, 3) case node() return <e/> case $i as xs:integer return 3 default return 1, $i |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-11[+]
X K2-sequenceExprTypeswitch-11: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-12[+]
X K2-sequenceExprTypeswitch-12: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-13[+]
X K2-sequenceExprTypeswitch-13: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-14[+]
X K2-sequenceExprTypeswitch-14: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: <e/>/(typeswitch (self::node()) case $i as node() return . default return 1) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-15[+]
X K2-sequenceExprTypeswitch-15: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: <e/>/(typeswitch (self::node()) case $i as xs:integer return $i default $v return $v) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| K2-sequenceExprTypeswitch-16[+]
X K2-sequenceExprTypeswitch-16: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ spec = XQ10+ Test: typeswitch(<e/>, <e/>) case $b as element() return concat("", $b treat as element()) default return 1 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-union-nomatch[+]
X typeswitch-union-nomatch: Created on: 2011-07-28 Spec Dependencies: spec = XQ30+ spec = XQ10+ Test: typeswitch (<e/>) case $i as xs:integer | xs:string return $i default $v return 0 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-union-nomatch-2[+]
X typeswitch-union-nomatch-2: Created on: 2011-07-28 Spec Dependencies: spec = XQ30+ spec = XQ10+ Test: typeswitch (<e/>) case xs:integer | xs:string return 1 default $v return 0 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-union-branch-1[+]
X typeswitch-union-branch-1: Created on: 2011-07-28 Spec Dependencies: spec = XQ30+ spec = XQ10+ Test: typeswitch (47) case $i as xs:integer | xs:string return $i default $v return 0 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-union-branch-1-dup[+]
X typeswitch-union-branch-1-dup: Created on: 2011-07-28 Spec Dependencies: spec = XQ30+ spec = XQ10+ Test: typeswitch (47) case $i as xs:integer | xs:string return $i case $i as xs:integer return $i default $v return 0 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-union-branch-2[+]
X typeswitch-union-branch-2: Created on: 2011-07-28 Spec Dependencies: spec = XQ30+ spec = XQ10+ Test: typeswitch (47) case $i as xs:string | xs:integer return $i default $v return 0 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-union-branch-2-dup[+]
X typeswitch-union-branch-2-dup: Created on: 2011-07-28 Spec Dependencies: spec = XQ30+ spec = XQ10+ Test: typeswitch (47) case $i as xs:string | xs:integer return $i case $i as xs:integer return $i default $v return 0 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-union-branch-both[+]
X typeswitch-union-branch-both: Created on: 2011-07-28 Spec Dependencies: spec = XQ30+ spec = XQ10+ Test: typeswitch (xs:integer(47)) case $i as xs:decimal | xs:integer return $i default $v return 0 |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-union-branch-both-dup[+]
X typeswitch-union-branch-both-dup: Created on: 2011-07-28 Spec Dependencies: spec = XQ30+ spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-union-multi[+]
X typeswitch-union-multi: Created on: 2011-07-28 Spec Dependencies: spec = XQ30+ spec = XQ10+ Test: 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
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-union-in-xquery-10[+]
X typeswitch-union-in-xquery-10: Created on: 2011-07-28 Spec Dependencies: spec = XQ10 spec = XQ10+ Test: for $x in (<e/>, 1, "x") return typeswitch ($x) case $i as xs:integer | xs:boolean | element() return 1 default $v return 0 |
no result | n/a
test-set dependencies not satisfied |
n/a
notXQ31 |
n/a | n/a | n/a | |
| typeswitch-112[+]
X typeswitch-112: Created on: 2012-10-02 Spec Dependencies: spec = XQ30+ feature = schemaImport spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-113[+]
X typeswitch-113: Created on: 2012-10-02 Spec Dependencies: spec = XQ30+ feature = schemaImport spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-114[+]
X typeswitch-114: Created on: 2012-10-02 Spec Dependencies: spec = XQ30+ feature = schemaImport spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-115[+]
X typeswitch-115: Created on: 2012-10-02 Spec Dependencies: spec = XQ30+ feature = schemaImport spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-116[+]
X typeswitch-116: Created on: 2012-10-02 Spec Dependencies: spec = XQ30+ feature = schemaImport spec = XQ10+ Test: 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 | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-117[+]
X typeswitch-117: Created on: 2015-04-16 Spec Dependencies: spec = XQ31+ spec = XQ10+ Test: let $x := [map{'x':1, 'y':2}, 'x'] let $y := [array{1, 2, 3}, 1] let $z := ($x, $y) for $e in $z return typeswitch($e?1) case $A as array(*) return array:get($A, $e?2) case $M as map(*) return map:get($M, $e?2) default return error() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| typeswitch-118[+]
X typeswitch-118: Created on: 2015-04-16 Spec Dependencies: spec = XQ31+ spec = XQ10+ Test: let $x := map{'x':1, 'y':2} let $y := map{'A':1, 'B':2} let $z := ($x, $y, []) for $e in $z(position() lt 3) return typeswitch($e) case $A as array(*) return array:get($A, 'A') case $M as map(*) return map:get($M, 'A') default return error() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| cbcl-typeswitch-001[+]
X cbcl-typeswitch-001: Created on: 2008-06-26 Spec Dependencies: spec = XQ10+ Test: upper-case(typeswitch ((1 to 10)[. mod 2 = 0]) case xs:integer+ return "int" default return "false") |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| cbcl-typeswitch-002[+]
X cbcl-typeswitch-002: Created on: 2008-06-26 Spec Dependencies: spec = XQ10+ Test: upper-case(typeswitch ((1 to 10)[. div 2 = 0]) case xs:integer+ return "int" default return "false") |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| cbcl-typeswitch-003[+]
X cbcl-typeswitch-003: Created on: 2008-06-26 Spec Dependencies: spec = XQ10+ Test: typeswitch ((1 to 10)[. mod 2 = 0]) case xs:integer+ return true() default return true() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| cbcl-typeswitch-004[+]
X cbcl-typeswitch-004: Created on: 2008-06-26 Spec Dependencies: spec = XQ10+ Test: typeswitch ((1 to 10)[. mod 2 = 0]) case xs:integer+ return false() default return true() |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| cbcl-typeswitch-005[+]
X cbcl-typeswitch-005: Created on: 2008-06-26 Spec Dependencies: spec = XQ10+ Test: subsequence((1 to 10)[. mod 2 = 0] instance of xs:integer+,1) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |
| cbcl-typeswitch-006[+]
X cbcl-typeswitch-006: Created on: 2008-06-26 Spec Dependencies: spec = XQ10+ Test: xs:string((1 to 10)[. mod 2 = 0] instance of xs:integer+) |
pass | n/a
test-set dependencies not satisfied |
pass | n/a | pass | pass | |