[Bug 3624] unclear if modules-15 really should return XQST0088

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3624

           Summary: unclear if modules-15 really should return XQST0088
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: per@bothner.com
         QAContact: public-qt-comments@w3.org


The test modules-15 has an "expected-error" of XQST0088.
That is reasonable, but I'm not sure it follows from the spec.

err:XQST0088 is:
    It is a static error if the literal that specifies the target namespace in
a module import is of zero length.

But the module import specifies a non-zero-length namespace.
The namespace is then mapped in the "module datebase"
(i.e. XQTSCatalog.xml) to TestSources/test2-lib.xq,
which starts out:
  module namespace test2="";

I.e. a zero-length namespace in the *module declaration*,
not in the module import.  There is no explicit requirement in
"4.2 Module Declaration" that the namespace by non-zero-length.
There may be an implicit requirement, of course.

If we go by the spec, the error should perhaps be XQST0059,
since in "4.11 Module Import" we have:
  "It is a static error [err:XQST0059] if the implementation
  is not able to process a module import by finding a valid
  module definition with the specified target namespace."

Or fix the specification.

Received on Thursday, 24 August 2006 06:05:20 UTC