|
| 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-VarDecl | 141/125 | 120/125 | 0/0 | 124/124 | 0/0 | 125/125 | 121/125 | 0/0 | 125/125 | 125/125 | 0/0 | 124/124 | 124/124 | 124/124 | 125/125 | 0/15 |
| VarDecl001[+]
X VarDecl001: declare variable $x := "" ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl002[+]
X VarDecl002: declare variable $x := '' ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl003[+]
X VarDecl003: declare variable $x := 'a string' ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl004[+]
X VarDecl004: declare variable $x := "a string" ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl005[+]
X VarDecl005: declare variable $x := "This is a string, isn't it?" ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl006[+]
X VarDecl006: declare variable $x := 'This is a "String"' ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl007[+]
X VarDecl007: declare variable $x := "a "" or a ' delimits a string literal" ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl008[+]
X VarDecl008: declare variable $x := 'a " or a '' delimits a string literal' ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl009[+]
X VarDecl009: declare variable $x := '<bold>A sample element.</bold>' ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl010[+]
X VarDecl010: declare variable $x := 0 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl011[+]
X VarDecl011: declare variable $x := 1 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl012[+]
X VarDecl012: declare variable $x := -1 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl013[+]
X VarDecl013: declare variable $x := +1 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl014[+]
X VarDecl014: declare variable $x := 1.23 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl015[+]
X VarDecl015: declare variable $x := -1.23 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl016[+]
X VarDecl016: declare variable $x := 1.2e5 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl017[+]
X VarDecl017: declare variable $x := -1.2E5 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl018[+]
X VarDecl018: declare variable $x := 0.0E0 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl019[+]
X VarDecl019: declare variable $x := 1e-5 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl020[+]
X VarDecl020: declare variable $x := 9.999999999999999; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl021[+]
X VarDecl021: declare variable $x := -10000000 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl022[+]
X VarDecl022: declare variable $x := 1 to 10 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl023[+]
X VarDecl023: declare variable $x := xs:double('NaN'); $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl024[+]
X VarDecl024: declare variable $x := xs:double('INF'); $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl025[+]
X VarDecl025: declare variable $x := xs:double('-INF'); $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl026[+]
X VarDecl026: declare variable $x := fn:false() ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl027[+]
X VarDecl027: declare variable $x := false(); $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl028[+]
X VarDecl028: declare variable $x := fn:true() ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl029[+]
X VarDecl029: declare variable $x := true() ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl030[+]
X VarDecl030: declare variable $x := true(); $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl031[+]
X VarDecl031: declare variable $x := 2+2 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl032[+]
X VarDecl032: declare variable $x := 2*2 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl033[+]
X VarDecl033: declare variable $x := 3-2 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl034[+]
X VarDecl034: declare variable $x := 3 div 2 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl035[+]
X VarDecl035: declare variable $x := 3 mod 2 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl036[+]
X VarDecl036: declare variable $x := 3 idiv 2 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl037[+]
X VarDecl037: declare variable $x := -1.7976931348623157E308 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl038[+]
X VarDecl038: declare variable $x := xs:double("-1.7976931348623157E308") ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl039[+]
X VarDecl039: declare variable $x := -999999999999999999 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl040[+]
X VarDecl040: declare variable $x := xs:decimal("-999999999999999999") ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl041[+]
X VarDecl041: declare variable $x := 999999999999999999 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl042[+]
X VarDecl042: declare variable $x := xs:decimal("999999999999999999") ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl043[+]
X VarDecl043: declare variable $x := -3.4028235E38 ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl044[+]
X VarDecl044: declare variable $x := xs:float("-3.4028235E38") ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl045[+]
X VarDecl045: declare variable $x := xs:date("1970-01-01Z") ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl046[+]
X VarDecl046: declare variable $x := xs:date("1970-01-01Z") + xs:dayTimeDuration("P31DT23H59M59S") ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl047[+]
X VarDecl047: declare variable $x := xs:time("08:03:35Z") ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl048[+]
X VarDecl048: declare variable $x := xs:time("08:03:35Z") + xs:dayTimeDuration("P0DT0H0M0S") ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl049[+]
X VarDecl049: declare variable $x := xs:dateTime("2030-12-31T23:59:59Z") ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl050[+]
X VarDecl050: declare variable $x := (1,2,3) ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl051[+]
X VarDecl051: declare variable $x := (xs:string("a") , (), "xyz") ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl052[+]
X VarDecl052: declare variable $x := (xs:string("a") , xs:anyURI("www.example.com")) ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl053[+]
X VarDecl053: declare variable $x := (xs:float("INF") , xs:double("NaN")) ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl054[+]
X VarDecl054: declare variable $x := (xs:boolean("true") , xs:boolean("0"), xs:integer("0")) ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl055[+]
X VarDecl055: declare variable $x := (xs:date("1993-03-31") , xs:boolean("true"), xs:string("abc")) ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl056[+]
X VarDecl056: declare variable $x := (xs:time("12:30:00") , xs:string(" ") , xs:decimal("2.000000000000002")) ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl057[+]
X VarDecl057: declare variable $x := ((1+1), (2-2)) ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl058[+]
X VarDecl058: declare variable $x := ((1,2,2),(1,2,3),(123,""),(),("")) ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl059[+]
X VarDecl059: declare variable $x := (//book/price, (), (1)) ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl060[+]
X VarDecl060: declare variable $x := //Price/text() ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl061[+]
X VarDecl061: declare variable $x := /comment() ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl062[+]
X VarDecl062: declare variable $x := /processing-instruction() ; $x |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| VarDecl063[+]
X VarDecl063: declare variable $x := $y + 3; declare variable $y := 17; $x + 5 |
pass | fail | 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 | |
| vardeclerr[+]
X vardeclerr: declare namespace foo = "http://www..oracle.com/xquery/test"; declare variable $var1 as xs:integer := foo:price(xs:integer(2)); declare function foo:price ($b as xs:integer) as xs:integer { $var1 + 1 }; declare variable $input-context1 external; $var1 |
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. |
|
| vardeclerr-1[+]
X vardeclerr-1: declare namespace foo = "http://www..oracle.com/xquery/test"; declare variable $var1 as xs:integer := foo:price(xs:integer(2)); declare function foo:price ($b as xs:integer) as xs:integer { $var1 + 1 }; declare variable $input-context1 external; $var1 |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| internalvar-2[+]
X internalvar-2: (::)declare(::)variable(::)$var(::):=(::)1(::);(::) 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-InternalVariablesWithout-1[+]
X K2-InternalVariablesWithout-1: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { local:myFunction(), 1, $local:myVar }; $local:myVar |
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. |
|
| K2-InternalVariablesWithout-1a[+]
X K2-InternalVariablesWithout-1a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { local:myFunction(), 1, $local:myVar }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K2-InternalVariablesWithout-2[+]
X K2-InternalVariablesWithout-2: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { $local:myVar, 1, local:myFunction() }; $local:myVar |
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. |
|
| K2-InternalVariablesWithout-2a[+]
X K2-InternalVariablesWithout-2a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { $local:myVar, 1, local:myFunction() }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K2-InternalVariablesWithout-3[+]
X K2-InternalVariablesWithout-3: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { $local:myVar, 1, local:myFunction() }; $local:myVar |
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. |
|
| K2-InternalVariablesWithout-3a[+]
X K2-InternalVariablesWithout-3a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { $local:myVar, 1, local:myFunction() }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K2-InternalVariablesWithout-4[+]
X K2-InternalVariablesWithout-4: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { $local:myVar, 1, local:myFunction() }; $local:myVar |
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. |
|
| K2-InternalVariablesWithout-4a[+]
X K2-InternalVariablesWithout-4a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction() { $local:myVar, 1, local:myFunction() }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K2-InternalVariablesWithout-5[+]
X K2-InternalVariablesWithout-5: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { $local:myVar, 1, local:myFunction() }; declare function local:myFunction() { local:myFunction2() }; $local:myVar |
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. |
|
| K2-InternalVariablesWithout-5a[+]
X K2-InternalVariablesWithout-5a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { $local:myVar, 1, local:myFunction() }; declare function local:myFunction() { local:myFunction2() }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K2-InternalVariablesWithout-6[+]
X K2-InternalVariablesWithout-6: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { local:myFunction(), $local:myVar }; declare function local:myFunction() { local:myFunction2() }; local:myFunction() |
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. |
|
| K2-InternalVariablesWithout-6a[+]
X K2-InternalVariablesWithout-6a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { local:myFunction(), $local:myVar }; declare function local:myFunction() { local:myFunction2() }; local:myFunction() |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K2-InternalVariablesWithout-7[+]
X K2-InternalVariablesWithout-7: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { local:myFunction(), $local:myVar }; declare function local:myFunction4() { local:myFunction2() }; declare function local:myFunction3() { local:myFunction4() }; declare function local:myFunction() { local:myFunction3() }; local:myFunction() |
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. |
|
| K2-InternalVariablesWithout-7a[+]
X K2-InternalVariablesWithout-7a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { local:myFunction(), $local:myVar }; declare function local:myFunction4() { local:myFunction2() }; declare function local:myFunction3() { local:myFunction4() }; declare function local:myFunction() { local:myFunction3() }; local:myFunction() |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K2-InternalVariablesWithout-8[+]
X K2-InternalVariablesWithout-8: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { local:myFunction4() }; declare function local:myFunction4() { local:myFunction2(), $local:myVar }; declare function local:myFunction3() { local:myFunction4() }; declare function local:myFunction() { local:myFunction3() }; local:myFunction() |
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. |
|
| K2-InternalVariablesWithout-8a[+]
X K2-InternalVariablesWithout-8a: declare variable $local:myVar := local:myFunction(); declare function local:myFunction2() { local:myFunction4() }; declare function local:myFunction4() { local:myFunction2(), $local:myVar }; declare function local:myFunction3() { local:myFunction4() }; declare function local:myFunction() { local:myFunction3() }; local:myFunction() |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K2-InternalVariablesWithout-9[+]
X K2-InternalVariablesWithout-9: declare variable $local:myVar := local:myFunc(3); declare function local:myFunc($arg) { local:myFunc($local:myVar) }; $local:myVar |
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. |
|
| K2-InternalVariablesWithout-9a[+]
X K2-InternalVariablesWithout-9a: declare variable $local:myVar := local:myFunc(3); declare function local:myFunc($arg) { local:myFunc($local:myVar) }; $local:myVar |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K2-InternalVariablesWithout-10[+]
X K2-InternalVariablesWithout-10: declare variable $local:myVar := local:myFunc(3); declare function local:myFunc($local:myVar) { $local:myVar }; local:myFunc(6) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-InternalVariablesWithout-11[+]
X K2-InternalVariablesWithout-11: declare variable $local:myVar := local:thisFunctionDoesNotExist(); 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-InternalVariablesWithout-12[+]
X K2-InternalVariablesWithout-12: declare variable $local:myVar := local:thisFunctionDoesNotExist(); $local:myVar |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-InternalVariablesWithout-13[+]
X K2-InternalVariablesWithout-13: declare variable $local:var1 := 1; declare variable $local:var2 := 2; declare variable $local:var3 := 3; declare variable $local:var4 := 4; declare variable $local:var5 := 5; declare variable $local:var6 := 6; declare variable $local:var7 := 7; declare variable $local:var8 := 8; declare variable $local:var9 := 9; declare variable $local:var10 := 10; declare variable $local:var11 := 11; declare variable $local:var12 := 12; declare variable $local:var13 := 13; declare variable $local:var14 := 14; declare variable $local:var15 := 15; declare variable $local:var16 := 16; declare variable $local:var17 := 17; declare variable $local:var18 := 18; declare variable $local:var19 := 19; declare variable $local:var20 := 20; deep-equal((1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20), ($local:var1, $local:var2, $local:var3, $local:var4, $local:var5, $local:var6, $local:var7, $local:var8, $local:var9, $local:var10, $local:var11, $local:var12, $local:var13, $local:var14, $local:var15, $local:var16, $local:var17, $local:var18, $local:var19, $local:var20)) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-InternalVariablesWithout-14[+]
X K2-InternalVariablesWithout-14: declare variable $myVar := <e>{nametest}</e>; <e/>/$myVar |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-InternalVariablesWithout-15[+]
X K2-InternalVariablesWithout-15: declare variable $var := 1 := 2; 3 |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-1[+]
X vardeclwithtype-1: declare variable $var as xs:string := "abc"; declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-2[+]
X vardeclwithtype-2: declare variable $var as xs:integer := 100; declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-3[+]
X vardeclwithtype-3: declare variable $var as xs:decimal := 100; declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-4[+]
X vardeclwithtype-4: declare variable $var as xs:boolean := fn:true(); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-5[+]
X vardeclwithtype-5: declare variable $var as xs:boolean := fn:false(); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-6[+]
X vardeclwithtype-6: declare variable $var as xs:float := xs:float(12.5E10); declare variable $input-context1 external; $var |
pass | fail | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-7[+]
X vardeclwithtype-7: declare variable $var as xs:double := xs:double(1267.43233E12); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-8[+]
X vardeclwithtype-8: declare variable $var as xs:anyURI := xs:anyURI("http://example.com"); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-9[+]
X vardeclwithtype-9: declare variable $var as xs:dateTime := xs:dateTime("1999-11-28T09:00:00Z"); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-10[+]
X vardeclwithtype-10: declare variable $var as xs:time := xs:time("11:12:00Z"); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-11[+]
X vardeclwithtype-11: declare variable $var as xs:date := xs:date("1999-11-28Z"); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-12[+]
X vardeclwithtype-12: declare variable $var as xs:date := xs:date("1999-11-28Z"); declare variable $var as xs:date := xs:date("1999-11-28Z"); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-13[+]
X vardeclwithtype-13: declare variable $var as xs:date := fn:true() and fn:true(); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-14[+]
X vardeclwithtype-14: declare variable $x as xs:integer := 10; declare variable $var as xs:integer := $x +1; declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-15a[+]
X vardeclwithtype-15a: declare variable $var as xs:integer := $e +1; declare variable $e as xs:integer := 10; $var |
fail | 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. |
|
| vardeclwithtype-15b[+]
X vardeclwithtype-15b: declare variable $var as xs:integer := $e +1; declare variable $e as xs:integer := 10; $var |
pass | fail | 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 | |
| vardeclwithtype-16[+]
X vardeclwithtype-16: declare namespace p1 = "http://www.example.com"; declare variable $p1:var as xs:integer := 10; declare variable $input-context1 external; $p1:var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-17[+]
X vardeclwithtype-17: declare namespace p1 = "http://www.example.com"; declare namespace p2 = "http://www.example.com/examples"; declare variable $p1:var as xs:integer := 10; declare variable $p2:var as xs:integer := 20; declare variable $input-context1 external; $p2:var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-18[+]
X vardeclwithtype-18: declare namespace p1 = "http://www.example.com"; declare namespace p2 = "http://www.example.com"; declare variable $p1:var as xs:integer := 10; declare variable $p2:var as xs:integer := 20; declare variable $input-context1 external; $p2:var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-19[+]
X vardeclwithtype-19: declare variable $var as xs:integer := fn:count((10,2)); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-20[+]
X vardeclwithtype-20: declare variable $var as xs:integer := fn:string-length("ABC"); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-21[+]
X vardeclwithtype-21: declare variable $var as xs:boolean := fn:not(fn:true()); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| vardeclwithtype-22[+]
X vardeclwithtype-22: declare variable $var as xs:boolean := fn:empty((1,2,3)); declare variable $input-context1 external; $var |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| internalvar-1[+]
X internalvar-1: declare(::)variable(::)$var(::)as(::)item((: :))*(::):=(::)1(::);(::) 1(::)eq(::)1(::) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-1[+]
X K-InternalVariablesWith-1: declare(::)variable(::)$local:var(::)as(::)item((: :))* :=3(::);(::)1(::)eq(::)1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-2[+]
X K-InternalVariablesWith-2: (::)declare(::)variable(::)$local:var(::):=(::)3;(::)1(::)eq(::)1(::) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-3[+]
X K-InternalVariablesWith-3: declare variable $myVar as xs:integer := subsequence((1, 2, "a string"), 3, 1); $myVar eq 3 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-4[+]
X K-InternalVariablesWith-4: declare variable $myVar as xs:gYear := 2006; true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-5[+]
X K-InternalVariablesWith-5: declare variable $myVar as xs:gYear := 2006; $myVar |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-6a[+]
X K-InternalVariablesWith-6a: declare variable $var1 := $var2; declare variable $var2 := 2; true() |
fail | 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. |
|
| K-InternalVariablesWith-6b[+]
X K-InternalVariablesWith-6b: declare variable $var1 := $var2; declare variable $var2 := 2; true() |
pass | fail | 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 | |
| K-InternalVariablesWith-7[+]
X K-InternalVariablesWith-7: declare variable var1 := 1; 1 |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-8[+]
X K-InternalVariablesWith-8: declare variable $var1 = 1; 1 |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-9a[+]
X K-InternalVariablesWith-9a: declare variable $var1 := $var2; declare variable $var2 := 2; $var1 |
fail | 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. |
|
| K-InternalVariablesWith-9b[+]
X K-InternalVariablesWith-9b: declare variable $var1 := $var2; declare variable $var2 := 2; $var1 |
pass | fail | 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 | |
| K-InternalVariablesWith-10[+]
X K-InternalVariablesWith-10: declare variable $prefix:var1 := 2; declare namespace prefix = "http://example.com/myNamespace"; true() |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-11[+]
X K-InternalVariablesWith-11: declare variable $var1 := 2; declare variable $var2 := $var1; $var2 eq 2 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-12[+]
X K-InternalVariablesWith-12: declare variable $var1 := local:myFunc(); declare function local:myFunc() { 1 }; $var1 eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-13[+]
X K-InternalVariablesWith-13: declare variable $var1 as xs:string := local:myFunc(); declare function local:myFunc() as xs:integer { 1 }; $var1 eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-14[+]
X K-InternalVariablesWith-14: declare variable $var1 as xs:string := local:myFunc(); declare function local:myFunc() { 1 }; $var1 eq 1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-InternalVariablesWith-15a[+]
X K-InternalVariablesWith-15a: declare variable $var1 := $var1; true() |
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. |
|
| K-InternalVariablesWith-15b[+]
X K-InternalVariablesWith-15b: declare variable $var1 := $var1; true() |
pass | wrongError
expected: XPST0008 actualCode: XQST0054 |
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 | |
| K-InternalVariablesWith-16[+]
X K-InternalVariablesWith-16: declare variable $var := local:func1(); declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare function local:func3() { local:func4() }; declare function local:func4() { $var }; boolean($var) |
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. |
|
| K-InternalVariablesWith-16a[+]
X K-InternalVariablesWith-16a: declare variable $var := local:func1(); declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare function local:func3() { local:func4() }; declare function local:func4() { $var }; boolean($var) |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K-InternalVariablesWith-17[+]
X K-InternalVariablesWith-17: declare variable $var := local:func1(); declare function local:func1() { local:func2($var) }; declare function local:func2($arg2) { 1 }; true() |
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. |
|
| K-InternalVariablesWith-17a[+]
X K-InternalVariablesWith-17a: declare variable $var := local:func1(); declare function local:func1() { local:func2($var) }; declare function local:func2($arg2) { 1 }; true() |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K-InternalVariablesWith-18[+]
X K-InternalVariablesWith-18: declare variable $var := local:func1(); declare function local:func1() { local:func2($var) }; declare function local:func2($arg2) { $arg2 }; $var |
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. |
|
| K-InternalVariablesWith-18a[+]
X K-InternalVariablesWith-18a: declare variable $var := local:func1(); declare function local:func1() { local:func2($var) }; declare function local:func2($arg2) { $arg2 }; $var |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K-InternalVariablesWith-19[+]
X K-InternalVariablesWith-19: declare variable $var2 := local:func1(); declare variable $var := ($var2 treat as xs:integer) + 1; declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare function local:func3() { local:func4() }; declare function local:func4() { $var }; boolean($var) |
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. |
|
| K-InternalVariablesWith-19a[+]
X K-InternalVariablesWith-19a: declare variable $var2 := local:func1(); declare variable $var := ($var2 treat as xs:integer) + 1; declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare function local:func3() { local:func4() }; declare function local:func4() { $var }; boolean($var) |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K-InternalVariablesWith-20[+]
X K-InternalVariablesWith-20: declare variable $var := local:func1(); declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare variable $var2 := local:func2(); declare function local:func3() { $var2 }; boolean($var) |
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. |
|
| K-InternalVariablesWith-20a[+]
X K-InternalVariablesWith-20a: declare variable $var := local:func1(); declare function local:func1() { local:func2() }; declare function local:func2() { local:func3() }; declare variable $var2 := local:func2(); declare function local:func3() { $var2 }; boolean($var) |
pass | wrongError
expected: XQDY0054 actualCode: XQST0054 |
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 | |
| K-InternalVariablesWith-21[+]
X K-InternalVariablesWith-21: declare variable $local:var as item() *:=3; true() |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-InternalVariablesWith-1[+]
X K2-InternalVariablesWith-1: declare variable $var1 as xs:string := 1 treat as item(); $var1 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |