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

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

Summary:

[FS] technical: 8.2.3.1.1 Name Tests: incomplete coverage

Status:	CLOSED FIXED

Product:	XPath / XQuery / XSLT
Component:	Formal Semantics 1.0
Version:	Recommendation
Platform:	All All

Importance:	P2 normal
Target Milestone:	---
Assigned To:	Michael Dyck
QA Contact:	Mailing list for public feedback on specs from XSL and XML Query WGs

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:
	Show dependency tree / graph

Reported:	2007-04-28 20:25 UTC by Michael Dyck
Modified:	2007-10-03 23:06 UTC (History)
CC List:	0 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Michael Dyck 2007-04-28 20:25:29 UTC

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.

Comment 1 Michael Dyck 2007-05-03 02:23:02 UTC

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.

Comment 2 Michael Dyck 2007-10-03 23:06:33 UTC

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.