	Implementations
prod-ModuleImport	102/107	103/107	0/0	80/80	0/0	107/107	105/107	0/0	107/107	107/107	0/0	80/80	80/80	72/80	99/107	0/15
K2-ModuleProlog-1 [+] X K2-ModuleProlog-1: module namespace example = "http://example.com/"; "an expression"	pass	pass	no result	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-simple [+] X modules-simple: import module namespace test1="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-bad-ns [+] X modules-bad-ns: import module namespace test2="http://www.w3.org/TestModules/test2"; <result>{test2:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-1 [+] X module-URIs-1: import module namespace test=" http://www.w3.org/TestModules/test "; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	fail	fail
module-URIs-2 [+] X module-URIs-2: import module namespace test=" http://www.w3.org/TestModules/test "; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	fail	fail
module-URIs-3 [+] X module-URIs-3: import module namespace test="http://www.w3.org/Test Modules/test"; <result>{test:ok()}</result>	fail	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	fail	fail
module-URIs-4 [+] X module-URIs-4: import module namespace test="http://www.w3.org/TestModules/test/../../TestModules/./test"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-7 [+] X module-URIs-7: import module namespace test="http://www.w3.org/TestModules./test"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-8 [+] X module-URIs-8: import module namespace test="http://www.w3.org/.TestModules/test"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-9 [+] X module-URIs-9: import module namespace test="http://www.w3.org/TestModules../test"; <result>{test:ok()}</result>	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
module-URIs-10 [+] X module-URIs-10: import module namespace test="http://www.w3.org/..TestModules/test"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-11 [+] X module-URIs-11: import module namespace test="http://www.w3.org/TestModules/키/test"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-12 [+] X module-URIs-12: import module namespace test="http://www.w3.org/TestModules/<=>@/test"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	fail	fail
module-URIs-13 [+] X module-URIs-13: import module namespace test="urn:example:animal:ferret:nose"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-14 [+] X module-URIs-14: import module namespace test="ftp://www.w3.org/TestModules/test;type=A"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-15 [+] X module-URIs-15: import module namespace test="http://www.w3.org/TestModules/test?hello=world"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-16 [+] X module-URIs-16: import module namespace test="http://www.w3.org/TestModules/test#world"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-17 [+] X module-URIs-17: import module namespace test="ftp://www.w3.org/TestModules/test;type=A?hello=world&q#world"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	fail	fail
module-URIs-18 [+] X module-URIs-18: import module namespace test="#1"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	fail	fail
module-URIs-19 [+] X module-URIs-19: import module namespace test="http:test"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-20 [+] X module-URIs-20: import module namespace test="ftp://user@www.w3.org/TestModules/test"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-21 [+] X module-URIs-21: import module namespace test="http://[2001:0db8:85a3:0000:0000:8a2e:0370:7334]/TestModules/test"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-22 [+] X module-URIs-22: import module namespace test="http://www.w3.org:7334/TestModules/test"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-23 [+] X module-URIs-23: import module namespace test="mailto:jane.doe@w3c.org"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-24 [+] X module-URIs-24: import module namespace test="fax:+1-234-567-890"; <result>{test:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
module-URIs-25 [+] X module-URIs-25: import module namespace test="ldap://[2001:db8::7]/c=GB?objectClass?one"; <result>{test:ok()}</result>	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
modules-none [+] X modules-none: import module namespace none="http://www.w3.org/TestModules/none" at "empty-lib.xq"; "abc"	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-two-import [+] X modules-two-import: import module namespace test1="http://www.w3.org/TestModules/test1"; import module namespace test2="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-two-import-ok [+] X modules-two-import-ok: import module namespace test1="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-collide-var-001 [+] X modules-collide-var-001: import module namespace test1="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>	fail	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	fail	fail
modules-collide-var-002 [+] X modules-collide-var-002: import module namespace test1="http://www.w3.org/TestModules/test1"; declare variable $test1:flag := 1; <result>{test1:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-collide-fn-001 [+] X modules-collide-fn-001: import module namespace test1="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>	fail	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	fail	fail
modules-collide-fn-002 [+] X modules-collide-fn-002: import module namespace test1="http://www.w3.org/TestModules/test1"; declare function test1:ok () { "ok" }; <result>{test1:ok()}</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-emptyns [+] X modules-emptyns: import module namespace test1= ""; <result>ok</result>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-circular [+] X modules-circular: import module namespace test1="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>	pass	fail	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-1 [+] X modules-1: import module namespace defs="http://www.w3.org/TestModules/defs"; <foo:anElement>some Content</foo:anElement>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-2 [+] X modules-2: import module namespace defs="http://www.w3.org/TestModules/defs"; declare namespace foo = "http://example.org"; <foo:anElement>some Content</foo:anElement>	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-3 [+] X modules-3: import module namespace defs="http://www.w3.org/TestModules/defs"; let $var := $test1:flag + 1 return $var	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-4 [+] X modules-4: import module namespace defs="http://www.w3.org/TestModules/defs"; let $var := $defs:var1+ 1 return $var	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-5 [+] X modules-5: import module namespace defs="http://www.w3.org/TestModules/defs"; let $var := $defs:var2 + 1 return $var	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-6 [+] X modules-6: import module namespace test1="http://www.w3.org/TestModules/test1"; declare namespace foo = "http://example.org"; declare variable $foo:flag := 3; let $var := $test1:flag + $foo:flag return $var	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-7 [+] X modules-7: import module namespace test1="http://www.w3.org/TestModules/test1"; let $var := fn:concat(xs:string($test1:flag),xs:string(test1:ok())) return $var	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-8 [+] X modules-8: import module namespace test1="http://www.w3.org/TestModules/test1"; declare namespace foo = "http://example.org"; declare function foo:ok () { "ok" }; let $var := fn:concat(test1:ok(),foo:ok()) return $var	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-9 [+] X modules-9: import module namespace test1="http://www.w3.org/TestModules/test1"; fn:upper-case(test1:ok())	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-10 [+] X modules-10: import module namespace test1="http://www.w3.org/TestModules/test1"; fn:lower-case(test1:ok())	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-11 [+] X modules-11: import module namespace test1="http://www.w3.org/TestModules/test1"; fn:string-length(test1:ok())	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-12 [+] X modules-12: import module namespace test1="http://www.w3.org/TestModules/test1"; $test1:flag + $test1:flag	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-13 [+] X modules-13: import module namespace test1="http://www.w3.org/TestModules/test1"; $test1:flag - $test1:flag	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-14 [+] X modules-14: import module namespace test1="http://www.w3.org/TestModules/test1"; xs:integer($test1:flag)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-15 [+] X modules-15: import module namespace test2="http://www.w3.org/TestModules/test2"; "aaa"	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-16 [+] X modules-16: import module namespace xml="http://www.w3.org/TestModules/test1"; xs:string($xml:flag)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-17 [+] X modules-17: import module namespace defs="http://www.w3.org/TestModules/diffns"; "abc"	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-18 [+] X modules-18: import module namespace mod1="http://www.w3.org/TestModules/module1"; import module namespace mod2="http://www.w3.org/TestModules/module2"; mod1:x(),mod2:y()	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-19 [+] X modules-19: import module namespace mod3 = "http://www.w3.org/TestModules/module3"; $mod3:var1	no result	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.
modules-20 [+] X modules-20: import module namespace mod3 = "http://www.w3.org/TestModules/module3"; mod3:function1()	no result	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.
modules-21 [+] X modules-21: import module namespace mod3 = "http://www.w3.org/TestModules/module3"; mod3:function2(1 cast as simple:myType)	no result	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-22 [+] X modules-22: import module namespace mod3 = "http://www.w3.org/TestModules/module3"; $mod3:var2	no result	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.
modules-23 [+] X modules-23: import module namespace mod3 = "http://www.w3.org/TestModules/module3"; mod3:function3()	no result	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.
modules-24 [+] X modules-24: import module namespace mod3 = "http://www.w3.org/TestModules/module3"; mod3:function4(<simple:integer>1</simple:integer>)	no result	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-25 [+] X modules-25: import module namespace mod3 = "http://www.w3.org/TestModules/module4"; $mod3:var	no result	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.
modules-26 [+] X modules-26: import module namespace mod3 = "http://www.w3.org/TestModules/module4"; mod3:function1()	no result	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.
modules-27 [+] X modules-27: import module namespace mod3 = "http://www.w3.org/TestModules/module4"; mod3:function2(())	no result	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.
modules-28 [+] X modules-28: import module namespace defs1 = "http://www.w3.org/TestModules/defs1"; $defs1: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.
modules-28a [+] X modules-28a: import module namespace defs1 = "http://www.w3.org/TestModules/defs1"; $defs1:var	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
modules-29 [+] X modules-29: import module namespace xmlns="http://www.w3.org/TestModules/test"; xmlns:ok ()	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
K-ModuleImport-1 [+] X K-ModuleImport-1: import(::)module ""; 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-ModuleImport-2 [+] X K-ModuleImport-2: import(::)module "" at "http://example.com/", "http://example.com/2"; 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-ModuleImport-3 [+] X K-ModuleImport-3: import module namespace NCName := "http://example.com/Dummy"; 1	pass	pass	no result	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
K2-ModuleImport-1 [+] X K2-ModuleImport-1: import ne import	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
errata6-001 [+] X errata6-001: import module namespace errata6_1="http://www.w3.org/TestModules/errata6-1"; errata6_1:hatsize-add(3, 5)	no result	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.
errata6-002 [+] X errata6-002: import module namespace errata6_2="http://www.w3.org/TestModules/errata6-2"; errata6_2:hatsize-add(3, 5)	no result	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.
errata6-003 [+] X errata6-003: import module namespace errata6_2="http://www.w3.org/TestModules/errata6-2"; import schema namespace a = "http://www.w3.org/XQueryTest/userDefinedTypes"; errata6_2:hatsize-add(3, 5) eq 8	no result	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
errata6-004 [+] X errata6-004: import module namespace errata6_4="http://www.w3.org/TestModules/errata6-4"; $errata6_4:var	no result	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.
errata6-005 [+] X errata6-005: import module namespace errata6_5="http://www.w3.org/TestModules/errata6-5"; errata6_5:fun(<E6-Root/>)	no result	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.
errata6-006 [+] X errata6-006: import module namespace errata6_6="http://www.w3.org/TestModules/errata6-6"; errata6_6:fun(attribute attr {})	no result	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.
errata6-007 [+] X errata6-007: import module namespace errata6_7="http://www.w3.org/TestModules/errata6-7"; errata6_7:fun(<E6/>)	no result	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.
errata8-001 [+] X errata8-001: import module namespace errata8_1a="http://www.w3.org/TestModules/errata8_1a"; errata8_1a:fun()	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.
errata8-001a [+] X errata8-001a: import module namespace errata8_1a="http://www.w3.org/TestModules/errata8_1a"; errata8_1a:fun()	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
errata8-002 [+] X errata8-002: import module namespace errata8_2a="http://www.w3.org/TestModules/errata8_2a"; errata8_2a:fun()	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.
errata8-002a [+] X errata8-002a: import module namespace errata8_2a="http://www.w3.org/TestModules/errata8_2a"; errata8_2a:fun()	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
errata8-003 [+] X errata8-003: import module namespace errata8_3a="http://www.w3.org/TestModules/errata8_3a"; errata8_3a:fun()	pass	fail	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
modules-pub-priv-1 [+] X modules-pub-priv-1: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g(42)}</a>	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
modules-pub-priv-2 [+] X modules-pub-priv-2: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; defs:f()	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
modules-pub-priv-3 [+] X modules-pub-priv-3: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g($defs:one)}</a>	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
modules-pub-priv-4 [+] X modules-pub-priv-4: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g($defs:two)}</a>	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
modules-pub-priv-5 [+] X modules-pub-priv-5: declare %public function local:inc($i as xs:integer) { $i + 1 }; <a>{local:inc(1)}</a>	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
modules-pub-priv-6 [+] X modules-pub-priv-6: declare %private function local:inc($i as xs:integer) { $i + 1 }; <a>{local:inc(1)}</a>	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
modules-pub-priv-7 [+] X modules-pub-priv-7: declare %public variable $i := 1; <a>{$i+1}</a>	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
modules-pub-priv-8 [+] X modules-pub-priv-8: declare %private variable $i := 1; <a>{$i+1}</a>	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
modules-pub-priv-9 [+] X modules-pub-priv-9: declare %public function local:inc($i as xs:integer) { $i + 1 }; declare function local:test() { local:inc(1) }; <a>{local:test()}</a>	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
modules-pub-priv-10 [+] X modules-pub-priv-10: declare %private function local:inc($i as xs:integer) { $i + 1 }; declare function local:test() { local:inc(1) }; <a>{local:test()}</a>	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
modules-pub-priv-11 [+] X modules-pub-priv-11: declare %public variable $i := 1; declare function local:test() { $i + 1 }; <a>{local:test()}</a>	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
modules-pub-priv-12 [+] X modules-pub-priv-12: declare %private variable $i := 1; declare function local:test() { $i + 1 }; <a>{local:test()}</a>	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
modules-pub-priv-13 [+] X modules-pub-priv-13: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare function local:test() { defs:g(42) }; <a>{local:test()}</a>	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
modules-pub-priv-14 [+] X modules-pub-priv-14: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare function local:test() { defs:f() }; <a>{local:test()}</a>	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
modules-pub-priv-15 [+] X modules-pub-priv-15: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare function local:test() { $defs:one }; <a>{local:test()}</a>	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
modules-pub-priv-16 [+] X modules-pub-priv-16: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare function local:test() { $defs:two }; <a>{local:test()}</a>	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
modules-pub-priv-17 [+] X modules-pub-priv-17: declare %public function local:inc($i as xs:integer) { $i + 1 }; declare variable $test := local:inc(1); <a>{$test}</a>	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
modules-pub-priv-18 [+] X modules-pub-priv-18: declare %private function local:inc($i as xs:integer) { $i + 1 }; declare variable $test := local:inc(1); <a>{$test}</a>	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
modules-pub-priv-19 [+] X modules-pub-priv-19: declare %public variable $i := 1; declare variable $test := $i + 1; <a>{$test}</a>	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
modules-pub-priv-20 [+] X modules-pub-priv-20: declare %private variable $i := 1; declare variable $test := $i + 1; <a>{$test}</a>	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
modules-pub-priv-21 [+] X modules-pub-priv-21: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare variable $test := defs:g(42); <a>{$test}</a>	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
modules-pub-priv-22 [+] X modules-pub-priv-22: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare variable $test := defs:f(); <a>{$test}</a>	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
modules-pub-priv-23 [+] X modules-pub-priv-23: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare variable $test := $defs:one; <a>{$test}</a>	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
modules-pub-priv-24 [+] X modules-pub-priv-24: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare variable $test := $defs:two; <a>{local:test()}</a>	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
modules-pub-priv-25 [+] X modules-pub-priv-25: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:h(42)}</a>	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
modules-pub-priv-26 [+] X modules-pub-priv-26: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{$defs:ninety}</a>	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
modules-pub-priv-27 [+] X modules-pub-priv-27: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv3"; <a>{defs:f(42)}</a>	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
modules-pub-priv-28 [+] X modules-pub-priv-28: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv2"; <a>{defs:fails()}</a>	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
modules-pub-priv-29 [+] X modules-pub-priv-29: declare %private %public function local:foo() { () }; local:foo()	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
modules-pub-priv-30 [+] X modules-pub-priv-30: declare namespace xq="http://www.w3.org/2012/xquery"; declare %private %xq:public function local:foo() { () }; local:foo()	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
modules-pub-priv-31 [+] X modules-pub-priv-31: declare %public %public function local:foo() { () }; local:foo()	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
modules-pub-priv-32 [+] X modules-pub-priv-32: declare %private %private function local:foo() { () }; local:foo()	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
modules-pub-priv-33 [+] X modules-pub-priv-33: declare %private %public variable $foo := (); $foo	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
modules-pub-priv-34 [+] X modules-pub-priv-34: declare namespace xq="http://www.w3.org/2012/xquery"; declare %private %xq:public variable $foo := (); $foo	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
modules-pub-priv-35 [+] X modules-pub-priv-35: declare %private %private variable $foo := (); $foo	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
modules-pub-priv-36 [+] X modules-pub-priv-36: declare %public %public variable $foo := (); $foo	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
modules-pub-priv-37 [+] X modules-pub-priv-37: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; defs:f#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
modules-pub-priv-38 [+] X modules-pub-priv-38: import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g#1(42)}</a>	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
cbcl-module-001 [+] X cbcl-module-001: import module namespace schemalib="http://www.xqsharp.com/test/schemalib/"; import schema namespace cd="http://www.cbcl.co.uk/XQueryTest/complexData"; count(schemalib:getShortStrings(validate {/}))	no result	fail	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-module-002 [+] X cbcl-module-002: import module namespace lib="http://www.xqsharp.com/test/baseuri-lib"; declare base-uri "http://www.example.org/wrong/"; base-uri($lib:node/node())	fail	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-module-003 [+] X cbcl-module-003: import module namespace foo="http://www.xqsharp.com/test/variabledeclaration"; import module namespace bar="http://www.xqsharp.com/test/variablereference"; bar:test()	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass
cbcl-module-004 [+] X cbcl-module-004: import module namespace context="http://www.xqsharp.com/test/context"; count($context:item/node()/*)	pass	pass	pass	n/a notXP20	pass	n/a notXP30	pass	n/a	pass	pass	n/a	pass	pass	pass	pass

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-ModuleImport

102/107

103/107

0/0

80/80

0/0

107/107

105/107

0/0

107/107

0/0

80/80

72/80

99/107

0/15

K2-ModuleProlog-1 [+]

X K2-ModuleProlog-1:

module namespace example = "http://example.com/"; "an expression"

pass

no result

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-simple [+]

X modules-simple:

import module namespace test1="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-bad-ns [+]

X modules-bad-ns:

import module namespace test2="http://www.w3.org/TestModules/test2"; <result>{test2:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-1 [+]

X module-URIs-1:

import module namespace test=" http://www.w3.org/TestModules/test "; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

fail

module-URIs-2 [+]

X module-URIs-2:

import module namespace test=" 	
http://www.w3.org/TestModules/test 	
"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

fail

module-URIs-3 [+]

X module-URIs-3:

import module namespace test="http://www.w3.org/Test    Modules/test"; <result>{test:ok()}</result>

fail

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

fail

module-URIs-4 [+]

X module-URIs-4:

import module namespace test="http://www.w3.org/TestModules/test/../../TestModules/./test"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-7 [+]

X module-URIs-7:

import module namespace test="http://www.w3.org/TestModules./test"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-8 [+]

X module-URIs-8:

import module namespace test="http://www.w3.org/.TestModules/test"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-9 [+]

X module-URIs-9:

import module namespace test="http://www.w3.org/TestModules../test"; <result>{test:ok()}</result>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

module-URIs-10 [+]

X module-URIs-10:

import module namespace test="http://www.w3.org/..TestModules/test"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-11 [+]

X module-URIs-11:

import module namespace test="http://www.w3.org/TestModules/키/test"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-12 [+]

X module-URIs-12:

import module namespace test="http://www.w3.org/TestModules/<=>@/test"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

fail

module-URIs-13 [+]

X module-URIs-13:

import module namespace test="urn:example:animal:ferret:nose"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-14 [+]

X module-URIs-14:

import module namespace test="ftp://www.w3.org/TestModules/test;type=A"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-15 [+]

X module-URIs-15:

import module namespace test="http://www.w3.org/TestModules/test?hello=world"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-16 [+]

X module-URIs-16:

import module namespace test="http://www.w3.org/TestModules/test#world"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-17 [+]

X module-URIs-17:

import module namespace test="ftp://www.w3.org/TestModules/test;type=A?hello=world&q#world"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

fail

module-URIs-18 [+]

X module-URIs-18:

import module namespace test="#1"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

fail

module-URIs-19 [+]

X module-URIs-19:

import module namespace test="http:test"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-20 [+]

X module-URIs-20:

import module namespace test="ftp://user@www.w3.org/TestModules/test"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-21 [+]

X module-URIs-21:

import module namespace test="http://[2001:0db8:85a3:0000:0000:8a2e:0370:7334]/TestModules/test"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-22 [+]

X module-URIs-22:

import module namespace test="http://www.w3.org:7334/TestModules/test"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-23 [+]

X module-URIs-23:

import module namespace test="mailto:jane.doe@w3c.org"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-24 [+]

X module-URIs-24:

import module namespace test="fax:+1-234-567-890"; <result>{test:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

module-URIs-25 [+]

X module-URIs-25:

import module namespace test="ldap://[2001:db8::7]/c=GB?objectClass?one"; <result>{test:ok()}</result>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-none [+]

X modules-none:

import module namespace none="http://www.w3.org/TestModules/none" at "empty-lib.xq"; "abc"

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-two-import [+]

X modules-two-import:

import module namespace test1="http://www.w3.org/TestModules/test1"; import module namespace test2="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-two-import-ok [+]

X modules-two-import-ok:

import module namespace test1="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-collide-var-001 [+]

X modules-collide-var-001:

import module namespace test1="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>

fail

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

fail

modules-collide-var-002 [+]

X modules-collide-var-002:

import module namespace test1="http://www.w3.org/TestModules/test1"; declare variable $test1:flag := 1; <result>{test1:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-collide-fn-001 [+]

X modules-collide-fn-001:

import module namespace test1="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>

fail

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

fail

modules-collide-fn-002 [+]

X modules-collide-fn-002:

import module namespace test1="http://www.w3.org/TestModules/test1"; declare function test1:ok () { "ok" }; <result>{test1:ok()}</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-emptyns [+]

X modules-emptyns:

import module namespace test1= ""; <result>ok</result>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-circular [+]

X modules-circular:

import module namespace test1="http://www.w3.org/TestModules/test1"; <result>{test1:ok()}</result>

pass

fail

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-1 [+]

X modules-1:

import module namespace defs="http://www.w3.org/TestModules/defs"; <foo:anElement>some Content</foo:anElement>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-2 [+]

X modules-2:

import module namespace defs="http://www.w3.org/TestModules/defs"; declare namespace foo = "http://example.org"; <foo:anElement>some Content</foo:anElement>

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-3 [+]

X modules-3:

import module namespace defs="http://www.w3.org/TestModules/defs"; let $var := $test1:flag + 1 return $var

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-4 [+]

X modules-4:

import module namespace defs="http://www.w3.org/TestModules/defs"; let $var := $defs:var1+ 1 return $var

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-5 [+]

X modules-5:

import module namespace defs="http://www.w3.org/TestModules/defs"; let $var := $defs:var2 + 1 return $var

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-6 [+]

X modules-6:

import module namespace test1="http://www.w3.org/TestModules/test1"; declare namespace foo = "http://example.org"; declare variable $foo:flag := 3; let $var := $test1:flag + $foo:flag return $var

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-7 [+]

X modules-7:

import module namespace test1="http://www.w3.org/TestModules/test1"; let $var := fn:concat(xs:string($test1:flag),xs:string(test1:ok())) return $var

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-8 [+]

X modules-8:

import module namespace test1="http://www.w3.org/TestModules/test1"; declare namespace foo = "http://example.org"; declare function foo:ok () { "ok" }; let $var := fn:concat(test1:ok(),foo:ok()) return $var

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-9 [+]

X modules-9:

import module namespace test1="http://www.w3.org/TestModules/test1"; fn:upper-case(test1:ok())

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-10 [+]

X modules-10:

import module namespace test1="http://www.w3.org/TestModules/test1"; fn:lower-case(test1:ok())

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-11 [+]

X modules-11:

import module namespace test1="http://www.w3.org/TestModules/test1"; fn:string-length(test1:ok())

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-12 [+]

X modules-12:

import module namespace test1="http://www.w3.org/TestModules/test1"; $test1:flag + $test1:flag

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-13 [+]

X modules-13:

import module namespace test1="http://www.w3.org/TestModules/test1"; $test1:flag - $test1:flag

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-14 [+]

X modules-14:

import module namespace test1="http://www.w3.org/TestModules/test1"; xs:integer($test1:flag)

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-15 [+]

X modules-15:

import module namespace test2="http://www.w3.org/TestModules/test2"; "aaa"

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-16 [+]

X modules-16:

import module namespace xml="http://www.w3.org/TestModules/test1"; xs:string($xml:flag)

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-17 [+]

X modules-17:

import module namespace defs="http://www.w3.org/TestModules/diffns"; "abc"

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-18 [+]

X modules-18:

import module namespace mod1="http://www.w3.org/TestModules/module1"; import module namespace mod2="http://www.w3.org/TestModules/module2"; mod1:x(),mod2:y()

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-19 [+]

X modules-19:

import module namespace mod3 = "http://www.w3.org/TestModules/module3"; $mod3:var1

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

modules-20 [+]

X modules-20:

import module namespace mod3 = "http://www.w3.org/TestModules/module3"; mod3:function1()

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

modules-21 [+]

X modules-21:

import module namespace mod3 = "http://www.w3.org/TestModules/module3"; mod3:function2(1 cast as simple:myType)

no result

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-22 [+]

X modules-22:

import module namespace mod3 = "http://www.w3.org/TestModules/module3"; $mod3:var2

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

modules-23 [+]

X modules-23:

import module namespace mod3 = "http://www.w3.org/TestModules/module3"; mod3:function3()

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

modules-24 [+]

X modules-24:

import module namespace mod3 = "http://www.w3.org/TestModules/module3"; mod3:function4(<simple:integer>1</simple:integer>)

no result

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-25 [+]

X modules-25:

import module namespace mod3 = "http://www.w3.org/TestModules/module4"; $mod3:var

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

modules-26 [+]

X modules-26:

import module namespace mod3 = "http://www.w3.org/TestModules/module4"; mod3:function1()

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

modules-27 [+]

X modules-27:

import module namespace mod3 = "http://www.w3.org/TestModules/module4"; mod3:function2(())

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

modules-28 [+]

X modules-28:

import module namespace defs1 = "http://www.w3.org/TestModules/defs1"; $defs1:var

pass

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

modules-28a [+]

X modules-28a:

import module namespace defs1 = "http://www.w3.org/TestModules/defs1"; $defs1:var

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-29 [+]

X modules-29:

import module namespace xmlns="http://www.w3.org/TestModules/test"; xmlns:ok ()

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

K-ModuleImport-1 [+]

X K-ModuleImport-1:

import(::)module ""; 1 eq 1

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

K-ModuleImport-2 [+]

X K-ModuleImport-2:

import(::)module "" at "http://example.com/", "http://example.com/2"; 1 eq 1

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

K-ModuleImport-3 [+]

X K-ModuleImport-3:

import module namespace NCName := "http://example.com/Dummy"; 1

pass

no result

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

K2-ModuleImport-1 [+]

X K2-ModuleImport-1:

import ne import

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

errata6-001 [+]

X errata6-001:

import module namespace errata6_1="http://www.w3.org/TestModules/errata6-1"; errata6_1:hatsize-add(3, 5)

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

errata6-002 [+]

X errata6-002:

import module namespace errata6_2="http://www.w3.org/TestModules/errata6-2"; errata6_2:hatsize-add(3, 5)

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

errata6-003 [+]

X errata6-003:

import module namespace errata6_2="http://www.w3.org/TestModules/errata6-2"; import schema namespace a = "http://www.w3.org/XQueryTest/userDefinedTypes"; errata6_2:hatsize-add(3, 5) eq 8

no result

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

errata6-004 [+]

X errata6-004:

import module namespace errata6_4="http://www.w3.org/TestModules/errata6-4"; $errata6_4:var

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

errata6-005 [+]

X errata6-005:

import module namespace errata6_5="http://www.w3.org/TestModules/errata6-5"; errata6_5:fun(<E6-Root/>)

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

errata6-006 [+]

X errata6-006:

import module namespace errata6_6="http://www.w3.org/TestModules/errata6-6"; errata6_6:fun(attribute attr {})

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

errata6-007 [+]

X errata6-007:

import module namespace errata6_7="http://www.w3.org/TestModules/errata6-7"; errata6_7:fun(<E6/>)

no result

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

errata8-001 [+]

X errata8-001:

import module namespace errata8_1a="http://www.w3.org/TestModules/errata8_1a"; errata8_1a:fun()

pass

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

errata8-001a [+]

X errata8-001a:

import module namespace errata8_1a="http://www.w3.org/TestModules/errata8_1a"; errata8_1a:fun()

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

errata8-002 [+]

X errata8-002:

import module namespace errata8_2a="http://www.w3.org/TestModules/errata8_2a"; errata8_2a:fun()

pass

n/a

no result

n/a

notXP20

pass

n/a

notXP30

n/a

notXQ30

n/a

pass

n/a

Dependency (type=spec, value=XQ10, satisfied=true) was not met.

errata8-002a [+]

X errata8-002a:

import module namespace errata8_2a="http://www.w3.org/TestModules/errata8_2a"; errata8_2a:fun()

pass

fail

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

errata8-003 [+]

X errata8-003:

import module namespace errata8_3a="http://www.w3.org/TestModules/errata8_3a"; errata8_3a:fun()

pass

fail

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

modules-pub-priv-1 [+]

X modules-pub-priv-1:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g(42)}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-2 [+]

X modules-pub-priv-2:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; defs:f()

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-3 [+]

X modules-pub-priv-3:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g($defs:one)}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-4 [+]

X modules-pub-priv-4:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g($defs:two)}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-5 [+]

X modules-pub-priv-5:

declare %public function local:inc($i as xs:integer) { $i + 1 }; <a>{local:inc(1)}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-6 [+]

X modules-pub-priv-6:

declare %private function local:inc($i as xs:integer) { $i + 1 }; <a>{local:inc(1)}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-7 [+]

X modules-pub-priv-7:

declare %public variable $i := 1; <a>{$i+1}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-8 [+]

X modules-pub-priv-8:

declare %private variable $i := 1; <a>{$i+1}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-9 [+]

X modules-pub-priv-9:

declare %public function local:inc($i as xs:integer) { $i + 1 }; declare function local:test() { local:inc(1) }; <a>{local:test()}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-10 [+]

X modules-pub-priv-10:

declare %private function local:inc($i as xs:integer) { $i + 1 }; declare function local:test() { local:inc(1) }; <a>{local:test()}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-11 [+]

X modules-pub-priv-11:

declare %public variable $i := 1; declare function local:test() { $i + 1 }; <a>{local:test()}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-12 [+]

X modules-pub-priv-12:

declare %private variable $i := 1; declare function local:test() { $i + 1 }; <a>{local:test()}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-13 [+]

X modules-pub-priv-13:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare function local:test() { defs:g(42) }; <a>{local:test()}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-14 [+]

X modules-pub-priv-14:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare function local:test() { defs:f() }; <a>{local:test()}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-15 [+]

X modules-pub-priv-15:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare function local:test() { $defs:one }; <a>{local:test()}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-16 [+]

X modules-pub-priv-16:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare function local:test() { $defs:two }; <a>{local:test()}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-17 [+]

X modules-pub-priv-17:

declare %public function local:inc($i as xs:integer) { $i + 1 }; declare variable $test := local:inc(1); <a>{$test}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-18 [+]

X modules-pub-priv-18:

declare %private function local:inc($i as xs:integer) { $i + 1 }; declare variable $test := local:inc(1); <a>{$test}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-19 [+]

X modules-pub-priv-19:

declare %public variable $i := 1; declare variable $test := $i + 1; <a>{$test}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-20 [+]

X modules-pub-priv-20:

declare %private variable $i := 1; declare variable $test := $i + 1; <a>{$test}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-21 [+]

X modules-pub-priv-21:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare variable $test := defs:g(42); <a>{$test}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-22 [+]

X modules-pub-priv-22:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare variable $test := defs:f(); <a>{$test}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-23 [+]

X modules-pub-priv-23:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare variable $test := $defs:one; <a>{$test}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-24 [+]

X modules-pub-priv-24:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; declare variable $test := $defs:two; <a>{local:test()}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-25 [+]

X modules-pub-priv-25:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:h(42)}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-26 [+]

X modules-pub-priv-26:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{$defs:ninety}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-27 [+]

X modules-pub-priv-27:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv3"; <a>{defs:f(42)}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-28 [+]

X modules-pub-priv-28:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv2"; <a>{defs:fails()}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-29 [+]

X modules-pub-priv-29:

declare %private %public function local:foo() { () }; local:foo()

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-30 [+]

X modules-pub-priv-30:

declare namespace xq="http://www.w3.org/2012/xquery"; declare %private %xq:public function local:foo() { () }; local:foo()

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-31 [+]

X modules-pub-priv-31:

declare %public %public function local:foo() { () }; local:foo()

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-32 [+]

X modules-pub-priv-32:

declare %private %private function local:foo() { () }; local:foo()

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-33 [+]

X modules-pub-priv-33:

declare %private %public variable $foo := (); $foo

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-34 [+]

X modules-pub-priv-34:

declare namespace xq="http://www.w3.org/2012/xquery"; declare %private %xq:public variable $foo := (); $foo

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-35 [+]

X modules-pub-priv-35:

declare %private %private variable $foo := (); $foo

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-36 [+]

X modules-pub-priv-36:

declare %public %public variable $foo := (); $foo

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-37 [+]

X modules-pub-priv-37:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; defs:f#0()

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

modules-pub-priv-38 [+]

X modules-pub-priv-38:

import module namespace defs="http://www.w3.org/TestModules/module-pub-priv"; <a>{defs:g#1(42)}</a>

pass

n/a

notXP20

n/a

notXQ10

n/a

notXP30

pass

n/a

pass

n/a

Dependency (type=spec, value=XQ30+, satisfied=true) was not met.

pass

cbcl-module-001 [+]

X cbcl-module-001:

import module namespace schemalib="http://www.xqsharp.com/test/schemalib/"; import schema namespace cd="http://www.cbcl.co.uk/XQueryTest/complexData"; count(schemalib:getShortStrings(validate {/}))

no result

fail

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-module-002 [+]

X cbcl-module-002:

import module namespace lib="http://www.xqsharp.com/test/baseuri-lib"; declare base-uri "http://www.example.org/wrong/"; base-uri($lib:node/node())

fail

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-module-003 [+]

X cbcl-module-003:

import module namespace foo="http://www.xqsharp.com/test/variabledeclaration"; import module namespace bar="http://www.xqsharp.com/test/variablereference"; bar:test()

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass

cbcl-module-004 [+]

X cbcl-module-004:

import module namespace context="http://www.xqsharp.com/test/context"; count($context:item/node()/*)

pass

n/a

notXP20

pass

n/a

notXP30

pass

n/a

pass

n/a

pass