W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2007

[Bug 4512] [FS] technical: Name Tests: incomplete coverage

From: <bugzilla@wiggum.w3.org>
Date: Sat, 28 Apr 2007 20:25:29 +0000
To: public-qt-comments@w3.org
Message-Id: <E1HhtU1-0007vo-Ih@wiggum.w3.org>


           Summary: [FS] technical: Name Tests: incomplete
           Product: XPath / XQuery / XSLT
           Version: Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: jmdyck@ibiblio.org
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org

The rules of, even as amended by Bug 3269, Bug 4242, and Bug 4261,
still don't completely cover the possible cases.

There is no rule that handles
    test * with element of element * OptTypeSpecifier.
Rather than introduce a new rule, we can generalize rule 8 to cover all element

    statEnv |- test * with element of ElementType : ElementType

Similarly for attribute types and rule 16.

There is no rule that handles applying an element name test to a non-element
type. So add this rule:

    not( Type is an element type )
    statEnv |- test NameTest with element of Type : empty

Similarly for attribute types.
Received on Saturday, 28 April 2007 20:25:35 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:33 UTC