[Bug 3867] Static type checking of Constr-docnode-parent-1 from bugzilla@wiggum.w3.org on 2006-10-26 (public-qt-comments@w3.org from October 2006)

From: <bugzilla@wiggum.w3.org>
Date: Thu, 26 Oct 2006 12:30:17 +0000
To: public-qt-comments@w3.org
CC:
Message-Id: <E1Gd4NF-0001nq-6d@wiggum.w3.org>

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