- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 18 Oct 2006 09:59:15 +0000
- To: public-qt-comments@w3.org
- CC:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=3846
Summary: axis child:: of ElementType - processing-instructions
and comments
Product: XPath / XQuery / XSLT
Version: Candidate Recommendation
Platform: PC
OS/Version: Windows XP
Status: NEW
Severity: normal
Priority: P2
Component: Formal Semantics
AssignedTo: simeon@us.ibm.com
ReportedBy: tim@cbcl.co.uk
QAContact: public-qt-comments@w3.org
>From 8.2.2.1.3 Inference rules for the child axis
the rule:
statEnv |- ElementType type lookup OptNillable TypeReference
statEnv |- OptNillable TypeReference expands to Type1 | · · · | Typen
statEnv |- Type1 has node content Type1'
· · ·
statEnv |- Typen has node content Typen'
---------------------------------------------------------------
statEnv |- axis child:: of ElementType : Type1' | ... | Typen'
makes no mention of processing-instructions and comments. Should it not make
such a mention, in a similar manner to the rule for axis child:: of document?
statEnv |- axis child:: of document { Type } : Type & processing-instruction*
& comment*
Received on Wednesday, 18 October 2006 09:59:23 UTC