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

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

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

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

           Summary: [FS] technical: 8.2.3.1.1 Name Tests: incomplete
                    coverage
           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 8.2.3.1.1, even as amended by Bug 3269, Bug 4242, and Bug 4261,
still don't completely cover the possible cases.

(a)
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
types:

    ---------------------------------------------------------
    statEnv |- test * with element of ElementType : ElementType

Similarly for attribute types and rule 16.

(b)
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