[Bug 3831] Static typing of full axis feature tests

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

           Summary: Static typing of full axis feature tests
           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 tests listed below all contain axes which have type element()*

For example see FS 8.2.2.1.9 Inference rules for the ancestor axis

statEnv |-  axis ancestor:: of NodeType : (element | document)*

so tests like ancestor-3 contain expressions like:

($input-context1/works/employee[1]/ancestor::works) is ($input-context1/works)

where the LHS type checks to element()*, but the signature of is,<<,>> are:

op:is-same-node($parameter1 as node(), $parameter2 as node()) as xs:boolean
op:node-before($parameter1 as node(), $parameter2 as node()) as xs:boolean
op:node-after($parameter1 as node(), $parameter2 as node()) as xs:boolean

hence static-type checking fails. Not too sure what the best resolution is,
maybe exactly-one on the LHS?

ancestor-3
ancestor-4
ancestor-5
ancestor-6
ancestor-7
ancestor-8
ancestor-9
ancestor-10
ancestorself-3
ancestorself-4
ancestorself-5
ancestorself-6
ancestorself-7
ancestorself-8
ancestorself-9
ancestorself-10
following-3
following-4
following-6
following-7
following-8
following-9
following-10
followingsibling-3
followingsibling-4
followingsibling-5
followingsibling-6
followingsibling-7
followingsibling-8
followingsibling-9
followingsibling-10
preceding-3
preceding-4
preceding-5
preceding-6
preceding-7
preceding-8
preceding-9
preceding-10
preceding-sibling-3
preceding-sibling-4
preceding-sibling-5
preceding-sibling-6
preceding-sibling-7
preceding-sibling-9
preceding-sibling-10

Received on Friday, 13 October 2006 15:37:23 UTC