4512 2007-04-28 20:25:29 +0000 [FS] technical: 8.2.3.1.1 Name Tests: incomplete coverage 2007-10-03 23:06:33 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Recommendation All All CLOSED FIXED P2 normal --- 1 jmdyck jmdyck public-qt-comments oldest_to_newest 14939 0 jmdyck 2007-04-28 20:25:29 +0000 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. 14983 1 jmdyck 2007-05-03 02:23:02 +0000 The working groups have approved the solutions given in Comment #0. Consequently, I am marking this bug FIXED. Since I was the submitter, I will also indicate my acceptance of this resolution by marking the bug CLOSED. 17020 2 jmdyck 2007-10-03 23:06:33 +0000 This issue has been incorporated into FS erratum E018, whose fix has been committed to the source files for the next edition of the FS document.