[Bug 3867] Static type checking of Constr-docnode-parent-1

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

           Summary: Static type checking of Constr-docnode-parent-1
           Product: XML Query Test Suite
           Version: 1.0.1
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: nick@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


The expression

count((document {()})/..)

is testing document has an empty parent.

The formal semantics state

statEnv |-  axis parent:: of DocumentType : empty

Therefore I think we can infer this during static analysis and it is valid to
throw [err:XPST0005].

Received on Thursday, 26 October 2006 12:30:39 UTC