Legend:    
        
passed     
        
almost passed
(≥ 98%)
    
        
failed     
        
untested
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[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc2[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc3[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc4[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc5[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc6[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc7[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc8[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc9[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc10[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc11[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc12[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc13[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc14[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc15[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc16[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc17[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc18[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc19[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc20[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc21[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc22[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc23[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc24[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitchhc25[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K-sequenceExprTypeswitch-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[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K-sequenceExprTypeswitch-3[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K-sequenceExprTypeswitch-4[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K-sequenceExprTypeswitch-5[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K-sequenceExprTypeswitch-6[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K-sequenceExprTypeswitch-7[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K-sequenceExprTypeswitch-8[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-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[+] 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[+] 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[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-5[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-6[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-7[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-8[+] 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[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-10[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-11[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-12[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-13[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-14[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-15[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    K2-sequenceExprTypeswitch-16[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    typeswitch-union-nomatch[+] 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[+] 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[+] 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[+] 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[+] 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[+] 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[+] 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[+] 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[+] 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[+] 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[+] 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[+] 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[+] 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[+] 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[+] 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[+] 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[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    cbcl-typeswitch-002[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    cbcl-typeswitch-003[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    cbcl-typeswitch-004[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    cbcl-typeswitch-005[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass
    cbcl-typeswitch-006[+] pass pass pass n/a

notXP20

pass n/a

notXP30

pass n/a pass pass n/a pass pass pass pass