[Bug 5236] [XQuery] err:XPST0008 vs. err:XPST0081

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

           Summary: [XQuery] err:XPST0008 vs. err:XPST0081
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XQuery
        AssignedTo: chamberl@almaden.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


XPST0081 is defined to be:

"It is a static error if a QName used in a query contains a namespace prefix
that cannot be expanded into a namespace URI by using the statically known
namespaces."

XPST0005 is defined to be:

"It is a static error if an expression refers to an ... namespace prefix, or
... that is not defined in the static context, except for an ElementName in an
ElementTest or an AttributeName in an AttributeTest."


XPST0081 seems to cover one of the cases of XPST0008 (namely undefined
namespace prefixes).  I may be wrong, but I suspect XPST0008 can therefore
never be thrown in that case and should be defined as:

"It is a static error if an expression refers to an element name, attribute
name, schema type name, or variable name that is not defined in the static
context, except for an ElementName in an ElementTest or an AttributeName in an
AttributeTest."

Received on Tuesday, 30 October 2007 15:03:09 UTC