|
| 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-IfExpr | 42/42 | 29/29 | 42/42 | 29/29 | 42/42 | 42/27 | 0/6 |
| CondExpr002[+]
X CondExpr002: Created on: 2003-02-10 Spec Dependencies: spec = XQ10+ Test: if (fn:true()) then <elem1/> else <elem2/> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| CondExpr003[+]
X CondExpr003: Created on: 2003-02-10 Spec Dependencies: spec = XQ10+ Test: if (fn:false()) then <elem1/> else <elem2/> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| CondExpr004[+]
X CondExpr004: Created on: 2003-02-10 Spec Dependencies: spec = XQ10+ Test: if (//CompanyName) then <elem1/> else <elem2/> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| CondExpr005[+]
X CondExpr005: Created on: 2003-02-10 Spec Dependencies: spec = XQ10+ Test: if (//NodeDoesNotExist) then <elem1/> else <elem2/> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| CondExpr006[+]
X CondExpr006: Created on: 2003-02-10 Spec Dependencies: spec = XQ10+ Test: <out>{ if (1 != 0) then if (4 != 5) then 1 else 2 else 3 }</out> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| CondExpr007[+]
X CondExpr007: Created on: 2003-02-10 Spec Dependencies: spec = XQ10+ Test: if (//MissingNode) then <elem3/> else if (/Root/Customers[@CustomerID='ALFKI']//Country = "Germany") then <elem1/> else <elem2/> |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| CondExpr008[+]
X CondExpr008: Created on: 2003-02-10 Spec Dependencies: Test: if ( /Root/Customers[1]/@CustomerID = 'ALFKI' and /Root/Customers[1]/FullAddress/City = 'Berlin') then "pass" else "fail" |
pass | pass | pass | pass | pass | pass | |
| CondExpr009[+]
X CondExpr009: Created on: 2003-02-10 Spec Dependencies: Test: if (/Root/Customers[1]/@CustomerID = 'ALFKI' or /Root/Customers[1]/FullAddress/City = 'Non-Existent') then "pass" else "fail" |
pass | pass | pass | pass | pass | pass | |
| CondExpr010[+]
X CondExpr010: Created on: 2003-02-10 Spec Dependencies: Test: if (2 != 4) then 1 else 0 |
pass | pass | pass | pass | pass | pass | |
| CondExpr011[+]
X CondExpr011: Created on: 2003-02-10 Spec Dependencies: spec = XQ10+ Test: fn:string-length(if (2 != 3) then 'foo' else 'expanded-foo') |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| CondExpr012[+]
X CondExpr012: Created on: 2003-02-10 Spec Dependencies: spec = XQ10+ Test: if (/doc/widget1/@unit-cost = /doc/widget2/@unit-cost) then /doc/widget1/@name else /doc/widget2/@name |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| CondExpr013[+]
X CondExpr013: Created on: 2003-02-10 Spec Dependencies: spec = XQ10+ Test: if (if (5 != 3) then fn:true() else fn:empty(/doc/widget1)) then "search" else "assume" |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| CondExpr014[+]
X CondExpr014: Created on: 2003-02-10 Spec Dependencies: Test: ( if (3 != 2) then 16 else 0 ) + ( if (8 = 7) then 4 else 1 ) |
pass | pass | pass | pass | pass | pass | |
| CondExpr015[+]
X CondExpr015: Created on: 2003-02-10 Spec Dependencies: Test: (if (3 != 2) then 16 else 0) + (if (8 = 7) then 4 else 1) |
pass | pass | pass | pass | pass | pass | |
| CondExpr016[+]
X CondExpr016: Created on: 2005-03-17 Spec Dependencies: Test: (//Folder)[1]/File[ if ( ./@name='File00000000000' ) then 2 else true() ]/FileName |
pass | pass | pass | pass | pass | pass | |
| CondExpr017[+]
X CondExpr017: Created on: 2005-03-17 Spec Dependencies: Test: for $file in (//Folder)[1]/File return if( $file/FileName='File00000000000' ) then $file/FileName else data( $file/FileName ) |
pass | pass | pass | pass | pass | pass | |
| CondExpr018[+]
X CondExpr018: Created on: 2005-03-17 Spec Dependencies: Test: for $file in (//Folder)[1]/File return if( $file/FileName='File00000000004' ) then 1 else data( $file/FileName ) |
pass | pass | pass | pass | pass | pass | |
| CondExpr019[+]
X CondExpr019: Created on: 2005-03-17 Spec Dependencies: Test: if //File[1] then "true" else "false" |
pass | pass | pass | pass | pass | pass | |
| CondExpr20[+]
X CondExpr20: Created on: 2005-03-17 Spec Dependencies: Test: if( false() ) then /Folder[1] cast as xs:double ? else 10 cast as xs:double ? |
pass | pass | pass | pass | pass | pass | |
| CondExpr21[+]
X CondExpr21: Created on: 2005-03-17 Spec Dependencies: Test: if( true() ) then 10 cast as xs:double ? else /Folder[1] cast as xs:double ? |
pass | pass | pass | pass | pass | pass | |
| CondExpr022[+]
X CondExpr022: Created on: 2009-04-01 Spec Dependencies: Test: if (doc-available('nodocument.xml')) then doc('nodocument.xml') else 10 cast as xs:double |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-1[+]
X K-CondExpr-1: Created on: 2007-11-26 Spec Dependencies: Test: (if(2) then 1 else 0) eq 1 |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-2[+]
X K-CondExpr-2: Created on: 2007-11-26 Spec Dependencies: Test: if(()) then false() else true() |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-3[+]
X K-CondExpr-3: Created on: 2007-11-26 Spec Dependencies: Test: (if((1, current-time())[1] treat as xs:integer) then true() else false()) eq true() |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-4[+]
X K-CondExpr-4: Created on: 2007-11-26 Spec Dependencies: Test: (if(boolean((1, current-time())[1] treat as xs:integer)) then true() else false()) eq true() |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-5[+]
X K-CondExpr-5: Created on: 2007-11-26 Spec Dependencies: Test: if((1, 2, 3, hours-from-time(current-time()))[1]) then true() else false() |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-6[+]
X K-CondExpr-6: Created on: 2007-11-26 Spec Dependencies: Test: string(if(boolean((1, current-time())[1] treat as xs:integer)) then true() else false()) eq "true" |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-7[+]
X K-CondExpr-7: Created on: 2007-11-26 Spec Dependencies: Test: (if(current-time()) then 1 else 0) eq 1 |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-8[+]
X K-CondExpr-8: Created on: 2007-11-26 Spec Dependencies: Test: 1 eq (if(xs:anyURI("example.com/")) then 1 else 0) |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-9[+]
X K-CondExpr-9: Created on: 2007-11-26 Spec Dependencies: Test: 0 eq (if(xs:anyURI("")) then 1 else 0) |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-10[+]
X K-CondExpr-10: Created on: 2007-11-26 Spec Dependencies: Test: if(count((1, 2, 3, current-time(), 4))) then true() else 4 |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-11[+]
X K-CondExpr-11: Created on: 2007-11-26 Spec Dependencies: Test: if(not(count(remove((1, 2, 3, current-time()), 1)))) then 3 else true() |
pass | pass | pass | pass | pass | pass | |
| K-CondExpr-12[+]
X K-CondExpr-12: Created on: 2007-11-26 Spec Dependencies: Test: if(boolean((1, 2, 3, current-time())[1] treat as xs:integer)) then true() else 4 |
pass | pass | pass | pass | pass | pass | |
| K2-CondExpr-1[+]
X K2-CondExpr-1: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: empty(if(<e>{current-time()}</e>) then () else ()) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K2-CondExpr-2[+]
X K2-CondExpr-2: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: empty(if(<e>{current-time()}</e>) then 1 else 1) |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K2-CondExpr-3[+]
X K2-CondExpr-3: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: declare default function namespace "http://www.example.com/"; declare function unordered() { 1 }; unordered() |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K2-CondExpr-4[+]
X K2-CondExpr-4: Created on: 2007-11-26 Spec Dependencies: Test: if(//(employee[location = "Denver"]/ancestor::*)) then 1 else 3 |
pass | pass | pass | pass | pass | pass | |
| K2-CondExpr-5[+]
X K2-CondExpr-5: Created on: 2007-11-26 Spec Dependencies: Test: if(!true()) then 2 else 3 |
pass | pass | pass | pass | pass | pass | |
| K2-CondExpr-6[+]
X K2-CondExpr-6: Created on: 2007-11-26 Spec Dependencies: spec = XQ10+ Test: <e/>/if(true()) then 1 else 3 |
pass | n/a
notXP31 |
pass | n/a | pass | pass | |
| K2-CondExpr-7[+]
X K2-CondExpr-7: Created on: 2008-05-08 Spec Dependencies: Test: if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else if (1) then 1 else () |
pass | pass | pass | pass | pass | pass | |
| cbcl-condexpr-001[+]
X cbcl-condexpr-001: Created on: 2008-06-23 Spec Dependencies: spec = XQ10+ XP30+ Test: let $x := zero-or-one((1 to 10)[. div 2 = 2]) return if(exists($x)) then xs:string($x) else () |
pass | pass | pass | pass | pass | pass | |
| cbcl-condexpr-002[+]
X cbcl-condexpr-002: Created on: 2008-06-23 Spec Dependencies: spec = XQ10+ XP30+ Test: let $x := zero-or-one((1 to 10)[. div 2 = 2]) return if(empty($x)) then () else xs:string($x) |
pass | pass | pass | pass | pass | pass | |