X Axes001-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/child::*)

 X Axes001-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/child::*)

 X Axes001-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/child::*)

 X Axes002-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/child::south-east)

 X Axes002-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/child::south-east)

 X Axes002-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/child::south-east)

 X Axes002-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/child::south-east)

 X Axes003-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/child::node())

 X Axes003-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/child::node())

 X Axes003-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/child::node())

 X Axes003-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/child::node())

 X Axes004-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/*)

 X Axes004-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/*)

 X Axes004-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/*)

 X Axes005-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/south-east)

 X Axes005-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/south-east)

 X Axes005-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/south-east)

 X Axes005-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/south-east)

 X Axes006-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/node())

 X Axes006-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/node())

 X Axes006-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/node())

 X Axes006-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/node())

 X Axes007-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/attribute::*)

 X Axes007-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/attribute::*)

 X Axes007-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/attribute::*)

 X Axes008-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/attribute::west-attr-2)

 X Axes008-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/attribute::west-attr-2)

 X Axes008-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/attribute::west-attr-2)

 X Axes009-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/attribute::node())

 X Axes009-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/attribute::node())

 X Axes009-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/attribute::node())

 X Axes010-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/@*)

 X Axes010-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/@*)

 X Axes010-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/@*)

 X Axes011-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/@west-attr-2)

 X Axes011-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/@west-attr-2)

 X Axes011-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west/@west-attr-2)

 X Axes012-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count( / )

 X Axes013-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/parent::*)

 X Axes014-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/far-north/parent::*)

 X Axes015-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/parent::near-north)

 X Axes016-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/parent::nowhere)

 X Axes017-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/parent::node())

 X Axes018-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/far-north/parent::node())

 X Axes019-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/..)

 X Axes020-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/self::*)

 X Axes021-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/self::center)

 X Axes023-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/self::node())

 X Axes027-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/@center-attr-3/self::node())

 X Axes030-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/text()/self::node())

 X Axes030-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/text()/self::node())

 X Axes031-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::*)

 X Axes031-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::*)

 X Axes031-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::*)

 X Axes031-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::*)

 X Axes032-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::south)

 X Axes032-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::south)

 X Axes032-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::south)

 X Axes032-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::south)

 X Axes033-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::node())

 X Axes033-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::node())

 X Axes033-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::node())

 X Axes033-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant::node())

 X Axes034-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant-or-self::*)

 X Axes034-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant-or-self::*)

 X Axes035-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant-or-self::south)

 X Axes035-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant-or-self::south)

 X Axes035-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant-or-self::south)

 X Axes035-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant-or-self::south)

 X Axes036-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant-or-self::center)

 X Axes036-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant-or-self::center)

 X Axes037-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant-or-self::node())

 X Axes037-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/descendant-or-self::node())

 X Axes041-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/@center-attr-3/descendant-or-self::node())

 X Axes043-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/text()/descendant-or-self::node())

 X Axes043-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center/text()/descendant-or-self::node())

 X Axes044-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/child::*)

 X Axes044-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/child::*)

 X Axes045-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/child::far-north)

 X Axes045-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/child::far-north)

 X Axes046-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/child::node())

 X Axes046-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/child::node())

 X Axes047-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/*)

 X Axes047-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/*)

 X Axes048-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/far-north)

 X Axes048-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/far-north)

 X Axes049-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/node())

 X Axes049-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/node())

 X Axes055-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/self::node())

 X Axes056-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant::*)

 X Axes056-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant::*)

 X Axes056-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant::*)

 X Axes057-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant::south)

 X Axes057-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant::south)

 X Axes057-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant::south)

 X Axes057-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant::south)

 X Axes058-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant::node())

 X Axes058-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant::node())

 X Axes058-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant::node())

 X Axes059-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant-or-self::*)

 X Axes059-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant-or-self::*)

 X Axes060-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant-or-self::south)

 X Axes060-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant-or-self::south)

 X Axes060-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant-or-self::south)

 X Axes060-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant-or-self::south)

 X Axes061-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant-or-self::node())

 X Axes061-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(/descendant-or-self::node())

 X Axes062-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//child::*)

 X Axes062-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//child::*)

 X Axes063-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//child::south)

 X Axes063-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//child::south)

 X Axes063-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//child::south)

 X Axes063-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//child::south)

 X Axes064-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//child::node())

 X Axes064-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//child::node())

 X Axes064-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//child::node())

 X Axes065-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//*)

 X Axes065-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//*)

 X Axes066-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//south)

 X Axes066-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//south)

 X Axes066-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//south)

 X Axes066-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//south)

 X Axes067-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//node())

 X Axes067-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//node())

 X Axes067-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//node())

 X Axes068-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//attribute::*)

 X Axes068-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//attribute::*)

 X Axes068-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//attribute::*)

 X Axes069-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//attribute::mark)

 X Axes069-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//attribute::mark)

 X Axes069-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//attribute::mark)

 X Axes070-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//@*)

 X Axes070-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//@*)

 X Axes070-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//@*)

 X Axes071-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//@mark)

 X Axes071-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//@mark)

 X Axes071-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//@mark)

 X Axes072-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//self::*)

 X Axes072-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//self::*)

 X Axes073-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//self::node())

 X Axes073-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//self::node())

 X Axes074-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::*)

 X Axes074-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::*)

 X Axes074-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::*)

 X Axes074-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::*)

 X Axes075-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::south)

 X Axes075-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::south)

 X Axes075-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::south)

 X Axes075-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::south)

 X Axes076-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::node())

 X Axes076-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::node())

 X Axes076-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::node())

 X Axes076-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//child::node())

 X Axes077-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//*)

 X Axes077-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//*)

 X Axes077-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//*)

 X Axes078-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//south)

 X Axes078-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//south)

 X Axes078-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//south)

 X Axes078-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//south)

 X Axes079-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//node())

 X Axes079-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//node())

 X Axes079-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//node())

 X Axes079-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//node())

 X Axes080-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west//attribute::*)

 X Axes080-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west//attribute::*)

 X Axes080-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west//attribute::*)

 X Axes081-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//attribute::center-attr-2)

 X Axes081-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//attribute::center-attr-2)

 X Axes081-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//attribute::center-attr-2)

 X Axes081-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//attribute::center-attr-2)

 X Axes082-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west//attribute::node())

 X Axes082-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west//attribute::node())

 X Axes082-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west//attribute::node())

 X Axes083-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west//@*)

 X Axes083-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west//@*)

 X Axes083-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//west//@*)

 X Axes084-1:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//@center-attr-2)

 X Axes084-2:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//@center-attr-2)

 X Axes084-3:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//@center-attr-2)

 X Axes084-4:

Created on: 2003-02-25
Spec Dependencies:

Test: fn:count(//center//@center-attr-2)

 X Axes085:

Created on: 2003-02-25
Spec Dependencies:
spec = XQ10+

Test: <root> {//Customers} </root>

 X Axes086:

Created on: 2003-02-25
Spec Dependencies:
spec = XQ10+

Test: <root> {//@*/..} </root>

 X Axes087:

Created on: 2003-02-25
Spec Dependencies:
spec = XQ10+

Test: <root> {/doc/part/*/text()/..} </root>

 X Axes088:

Created on: 2003-02-25
Spec Dependencies:

Test: /*/

 X Axes089:

Created on: 2007-10-02
Spec Dependencies:
spec = XQ10+

Test: xquery version "1.0"; declare namespace saxon="http://saxon.sf.net/"; declare namespace tour="http://wrox.com/tour"; (: XQuery program to perform a knight's tour of the chessboard. Author: Michael H. Kay Date: 26 June 2003 This version modified to use XQuery 1.0, with sequences and functions. This query does not use a source document. There is an optional parameter, start, which can be set to any square on the chessboard, e.g. a3 or h5. XQuery does not allow parameters to be given a default value, so the parameter is mandatory. There is a second optional parameter, end, which indicates that the processing should stop after a given number of steps. This can be used to animate the display of the tour. This works especially well when the query is compiled into a Java servlet. The output is an HTML display of the completed tour. Internally, the following data representations are used: * A square on the chessboard: represented as a number in the range 0 to 63 * A state of the chessboard: a sequence of 64 integers, each containing a move number. A square that has not been visited yet is represented by a zero. * A set of possible moves: represented as a sequence of integers, * each integer representing the number of the destination square :) declare variable $start as xs:string := "a1"; declare variable $end as xs:string := "64"; declare variable $endd as xs:integer := xs:integer($end); (: start-column is an integer in the range 0-7 :) declare variable $start-column as xs:integer := xs:integer(translate(substring($start, 1, 1), 'abcdefgh', '01234567')); (: start-row is an integer in the range 0-7, with zero at the top :) declare variable $start-row as xs:integer := 8 - xs:integer(substring($start, 2, 1)); declare function tour:main () as element() { (: This function controls the processing. It does not access the source document. :) (: Validate the input parameter :) if (not(string-length($start)=2) or not(translate(substring($start,1,1), 'abcdefgh', 'aaaaaaaa')='a') or not(translate(substring($start,2,1), '12345678', '11111111')='1')) then error((), "Invalid start parameter: try say 'a1' or 'g6'") else if (not($endd = 1 to 64)) then error((), "Invalid end parameter: must be in range 1 to 64") else (: Set up the empty board :) let $empty-board as xs:integer* := for $i in (1 to 64) return 0 (: Place the knight on the board at the chosen starting position :) let $initial-board as xs:integer* := tour:place-knight(1, $empty-board, $start-row * 8 + $start-column) (: Evaluate the knight's tour :) let $final-board as xs:integer* := tour:make-moves(2, $initial-board, $start-row * 8 + $start-column) (: produce the HTML output :) return tour:print-board($final-board) }; declare function tour:place-knight ( $move as xs:integer, $board as xs:integer*, $square as xs:integer (: range 0 to 63 :) ) as xs:integer* { (: This function places a knight on the board at a given square. The returned value is the supplied board, modified to indicate that the knight reached a given square at a given move :) for $i in 1 to 64 return if ($i = $square + 1) then $move else $board[$i] }; declare function tour:make-moves ( $move as xs:integer, $board as xs:integer*, $square as xs:integer (: range 0 to 63 :) ) as xs:integer* { (: This function takes the board in a given state, decides on the next move to make, and then calls itself recursively to make further moves, until the knight has completed his tour of the board. It returns the board in its final state. :) (: determine the possible moves that the knight can make :) let $possible-move-list as xs:integer* := tour:list-possible-moves($board, $square) (: try these moves in turn until one is found that works :) return tour:try-possible-moves($move, $board, $square, $possible-move-list) }; declare function tour:try-possible-moves ( $move as xs:integer, $board as xs:integer*, $square as xs:integer, (: range 0 to 63 :) $possible-moves as xs:integer* ) as xs:integer* { (: This function tries a set of possible moves that the knight can make from a given position. It determines the best move as the one to the square with fewest exits. If this is unsuccessful then it can backtrack and try another move; however this turns out rarely to be necessary. The function makes the selected move, and then calls make-moves() to make subsequent moves, returning the final state of the board. :) if (count($possible-moves)!=0) then tour:make-best-move($move, $board, $square, $possible-moves) else () (: if there is no possible move, we return the special value () as the final state of the board, to indicate to the caller that we got stuck :) }; declare function tour:make-best-move ( $move as xs:integer, $board as xs:integer*, $square as xs:integer, (: range 0 to 63 :) $possible-moves as xs:integer* ) as xs:integer* { (: this function, given the state of the board and a set of possible moves, determines which of the moves is the best one. It then makes this move, and proceeds recursively to make further moves, eventually returning the final state of the board. :) (: if at least one move is possible, find the best one :) let $best-move as xs:integer := tour:find-best-move($board, $possible-moves, 9, 999) (: find the list of possible moves excluding the best one :) let $other-possible-moves as xs:integer* := $possible-moves[. != $best-move] (: update the board to make the move chosen as the best one :) let $next-board as xs:integer* := tour:place-knight($move, $board, $best-move) (: now make further moves using a recursive call, until the board is complete :) let $final-board as xs:integer* := if ($move < $endd) (:count($next-board[.=0])!=0:) then tour:make-moves($move+1, $next-board, $best-move) else $next-board (: if the final board has the special value '()', we got stuck, and have to choose the next best of the possible moves. This is done by a recursive call. I thought that the knight never did get stuck, but it does: if the starting square is f1, the wrong choice is made at move 58, and needs to be reversed. :) return if (empty($final-board)) then tour:try-possible-moves($move, $board, $square, $other-possible-moves) else $final-board }; declare function tour:find-best-move ( $board as xs:integer*, $possible-moves as xs:integer*, $fewest-exits as xs:integer, $best-so-far as xs:integer ) as xs:integer { (: This function finds from among the possible moves, the one with fewest exits. It calls itself recursively. :) (: split the list of possible moves into the first move and the rest of the moves :) let $trial-move as xs:integer := $possible-moves[1] let $other-possible-moves as xs:integer* := $possible-moves[position() > 1] (: try making the first move :) let $trial-board as xs:integer* := tour:place-knight(99, $board, $trial-move) (: see how many moves would be possible the next time :) let $trial-move-exit-list as xs:integer* := tour:list-possible-moves($trial-board, $trial-move) let $number-of-exits as xs:integer := count($trial-move-exit-list) (: determine whether this trial move has fewer exits than those considered up till now :) let $minimum-exits as xs:integer := min(($number-of-exits, $fewest-exits)) (: determine which is the best move (the one with fewest exits) so far :) let $new-best-so-far as xs:integer := if ($number-of-exits < $fewest-exits) then $trial-move else $best-so-far (: if there are other possible moves, consider them too, using a recursive call. Otherwise return the best move found. :) return if (count($other-possible-moves)!=0) then tour:find-best-move($board, $other-possible-moves, $minimum-exits, $new-best-so-far) else $new-best-so-far }; declare function tour:list-possible-moves ( $board as xs:integer*, $square as xs:integer ) as xs:integer* { (: This function, given the knight's position on the board, returns the set of squares he can move to. The squares will be ones that have not been visited before :) let $row as xs:integer := $square idiv 8 let $column as xs:integer := $square mod 8 return (if ($row > 1 and $column > 0 and $board[($square - 17) + 1]=0) then $square - 17 else (), if ($row > 1 and $column < 7 and $board[($square - 15) + 1]=0) then $square - 15 else (), if ($row > 0 and $column > 1 and $board[($square - 10) + 1]=0) then $square - 10 else (), if ($row > 0 and $column < 6 and $board[($square - 6) + 1]=0) then $square - 6 else (), if ($row < 6 and $column > 0 and $board[($square + 15) + 1]=0) then $square + 15 else (), if ($row < 6 and $column < 7 and $board[($square + 17) + 1]=0) then $square + 17 else (), if ($row < 7 and $column > 1 and $board[($square + 6) + 1]=0) then $square + 6 else (), if ($row < 7 and $column < 6 and $board[($square + 10) + 1]=0) then $square + 10 else () ) }; declare function tour:print-board ( $board as xs:integer* ) as element() { (: Output the board in HTML format :) <html> <head> <title>Knight's tour</title> </head> <body> <div align="center"> <h1>Knight's tour starting at {$start}</h1> <table border="1" cellpadding="4"> {for $row in 0 to 7 return <tr> {for $column in 0 to 7 let $color := if ((($row + $column) mod 2)=1) then 'xffff44' else 'white' return <td align="center" bgcolor="{$color}" width="22">{ let $n := $board[$row * 8 + $column + 1] return if ($endd != 64 and $n = $endd) then <b>{$n}</b> else if ($n = 0) then "&#xa0;" else $n }</td> } </tr> } </table> <p>{ if ($endd != 64) then <a href="Tour?start={$start}&amp;end={$endd+1}">Step</a> else () }</p> </div> </body> </html> }; tour:main()

 X Axes090:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $element as element(foo) := <foo/> return count($element/self::bar)

 X Axes091:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $element as element(foo) := <foo/> return count($element/self::*:bar)

 X Axes092:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: declare namespace ns1 = "http://www.example.org/ns1"; declare namespace ns2 = "http://www.example.org/ns2"; let $element as element(ns1:foo) := <ns1:foo/> return count($element/self::ns2:*)

 X Axes093:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $attribute as attribute(foo) := attribute foo { } return count($attribute/self::bar)

 X Axes094:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $attribute as attribute(foo) := attribute foo { } return count($attribute/self::*:bar)

 X Axes095:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: declare namespace ns1 = "http://www.example.org/ns1"; declare namespace ns2 = "http://www.example.org/ns2"; let $attribute as attribute(ns1:foo) := attribute ns1:foo { } return count($attribute/self::ns2:*)

 X Axes096:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $element as element(*) := <foo/> return count($element/self::bar)

 X Axes097:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $element as element(*) := <foo/> return count($element/self::*:bar)

 X Axes098:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: declare namespace ns1 = "http://www.example.org/ns1"; declare namespace ns2 = "http://www.example.org/ns2"; let $element as element(*) := <ns1:foo/> return count($element/self::ns2:*)

 X Axes099:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $attribute as attribute(*) := attribute foo { } return count($attribute/self::bar)

 X Axes100:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $attribute as attribute(*) := attribute foo { } return count($attribute/self::*:bar)

 X Axes101:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: declare namespace ns1 = "http://www.example.org/ns1"; declare namespace ns2 = "http://www.example.org/ns2"; let $attribute as attribute(*) := attribute ns1:foo { } return count($attribute/self::ns2:*)

 X Axes102:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: declare namespace ns1 = "http://www.example.org/ns1"; declare namespace ns2 = "http://www.example.org/ns2"; declare construction strip; let $element as element(*, xs:untyped) := <e>test</e> let $element as element(*, xs:untyped) := $element/self::* return count($element)

 X Axes103:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $comment as comment() := <!--comment--> return count($comment/self::*)

 X Axes104:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $comment as comment() := <!--comment--> return count($comment/self::foo)

 X Axes105:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $comment as comment() := <!--comment--> return count($comment/self::*:foo)

 X Axes106:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: declare namespace ns1 = "http://www.example.org/ns1"; let $comment as comment() := <!--comment--> return count($comment/self::ns1:*)

 X Axes107:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $processing-instruction as processing-instruction() := <?processing instruction?> return count($processing-instruction/self::*)

 X Axes108:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $processing-instruction as processing-instruction() := <?processing instruction?> return count($processing-instruction/self::processing)

 X Axes109:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: let $processing-instruction as processing-instruction() := <?processing instruction?> return count($processing-instruction/self::*:processing)

 X Axes110:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: declare namespace ns1 = "http://www.example.org/ns1"; let $processing-instruction as processing-instruction() := <?processing instruction?> return count($processing-instruction/self::ns1:*)

 X Axes111:

Created on: 2010-03-16
Spec Dependencies:
spec = XQ10+

Test: declare namespace ns1 = "http://www.example.org/ns1"; declare namespace ns2 = "http://www.example.org/ns2"; declare construction strip; let $element as element(*, xs:untyped) := <e a="value" /> let $attribute as attribute(*, xs:untypedAtomic)* := $element/attribute::* return count($attribute)

 X Axes112:

Created on: 2013-01-22
Spec Dependencies:
spec = XQ30+

Test: /*/namespace-node()

 X Axes113:

Created on: 2013-01-22
Spec Dependencies:
spec = XP30+
feature = namespace-axis

Test: /*/namespace-node()

 X Axes114:

Created on: 2013-01-22
Spec Dependencies:
spec = XP30+
feature = namespace-axis

Test: /*/namespace::namespace-node()

 X Axes115:

Created on: 2013-01-22
Spec Dependencies:
spec = XP30+ XQ30+

Test: /*/attribute::namespace-node()

 X Axes116:

Created on: 2013-01-22
Spec Dependencies:
spec = XP30+
feature = namespace-axis

Test: /*/namespace::*[self::namespace-node()]

 X Axes117:

Created on: 2013-01-22
Spec Dependencies:
spec = XQ30+

Test: namespace {"xsl"}{"http://www.w3.org/1999/XSL/Transform"} / self::namespace-node()

 X Axes118:

Created on: 2013-01-22
Spec Dependencies:
spec = XP20+
feature = namespace-axis

Test: /*/namespace::*

 X Axes119:

Created on: 2013-01-22
Spec Dependencies:
spec = XP20+
feature = namespace-axis

Test: /*/namespace::*/..

 X Axes120:

Created on: 2013-01-22
Spec Dependencies:
spec = XP20+
feature = namespace-axis

Test: /*/namespace::*/name()

 X Axes121:

Created on: 2013-01-22
Spec Dependencies:
spec = XP20+
feature = namespace-axis

Test: string(/*/namespace::xlink)

 X Axes122:

Created on: 2013-01-22
Spec Dependencies:
spec = XP20+
feature = namespace-axis

Test: /*/namespace::xlink is /*/*[1]/namespace::xlink

 X Axes123:

Created on: 2013-01-22
Spec Dependencies:
spec = XP20+
feature = namespace-axis

Test: /*/namespace::xlink is /*/namespace::*[. = 'http://www.w3.org/1999/xlink']

 X Axes124:

Created on: 2013-01-22
Spec Dependencies:
spec = XP20+
feature = namespace-axis

Test: /*/namespace::*[not(name())]

 X Axes125:

Created on: 2013-01-22
Spec Dependencies:
spec = XP20+
feature = namespace-axis

Test: /*/*/namespace::*[not(name())]

 X Axes126:

Created on: 2013-01-22
Spec Dependencies:
spec = XP20+
feature = namespace-axis

Test: /*/*/*/namespace::*[not(name())]

 X Axes127:

Created on: 2013-01-22
Spec Dependencies:
spec = XQ10

Test: /*/namespace-node()

 X axis-err-1:

Created on: 2005-12-07
Spec Dependencies:
spec = XQ10+

Test: let $var := <anElement>Some content</anElement> return $var/20[child::text()]

 X K2-Axes-1:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $var := document{<e><f>f's value</f></e>}; $var/(/)/(/)//f

 X K2-Axes-2:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $var := <e><f>f's value</f></e>; $var/(/)/(/)//f

 X K2-Axes-3:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $v := <a><b/><b/><b/></a>; deep-equal($v//45, (45, 45, 45, 45))

 X K2-Axes-4:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $v := <a><b/><b/><b/></a>; $v//45

 X K2-Axes-5:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: *:(:hey:)ncname

 X K2-Axes-6:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: *(:hey:):ncname

 X K2-Axes-7:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: * :ncname

 X K2-Axes-8:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: *(:hey:):ncname

 X K2-Axes-9:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: ncname :*

 X K2-Axes-10:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: name(:hey:):*

 X K2-Axes-11:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: * :ncname

 X K2-Axes-12:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: ncname: *

 X K2-Axes-13:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: *(:hey:):ncname

 X K2-Axes-14:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: ncname:(:hey:)*

 X K2-Axes-15:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: *(:hey:):(:hey:) ncname

 X K2-Axes-16:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: *:(:hey:)ncname

 X K2-Axes-17:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: *:

 X K2-Axes-18:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(text {"some text"}/..)

 X K2-Axes-19:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(processing-instruction theName {"some text"}/..)

 X K2-Axes-20:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(attribute theName {"some text"}/..)

 X K2-Axes-21:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(element theName {"some text"}/..)

 X K2-Axes-22:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(comment {"some text"}/..)

 X K2-Axes-23:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(<elem/>/..)

 X K2-Axes-24:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <e>some text</e>/text()/..

 X K2-Axes-25:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <e><b/></e>/b/..

 X K2-Axes-26:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <e attr="c"/>/@attr/..

 X K2-Axes-27:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <e><?name data?></e>/processing-instruction()/..

 X K2-Axes-28:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <e><!--data --></e>/comment()/..

 X K2-Axes-29:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: preceding-or-ancestor::*

 X K2-Axes-30:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(fn:root(<e/>)/..)

 X K2-Axes-31:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(<e/>/..)

 X K2-Axes-32:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $myVar := <e/>; empty(fn:root($myVar/(/)/..))

 X K2-Axes-33:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $myVar := document { <e/>}; empty($myVar/(/)/..)

 X K2-Axes-34:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: nametest//

 X K2-Axes-35:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: nametest/

 X K2-Axes-36:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $myVar := <e/>; $myVar/(/)/

 X K2-Axes-37:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: parent::self()

 X K2-Axes-38:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: 123[..]

 X K2-Axes-39:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: 1[element()]

 X K2-Axes-40:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: (1, <e/>)[..]

 X K2-Axes-41:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: (<e/>, 1)[..]

 X K2-Axes-42:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(<e/>[parent::node()])

 X K2-Axes-43:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: (1, 5 * /)[1]

 X K2-Axes-44:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: (1, /)[1]

 X K2-Axes-45:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: (/, 1)[2]

 X K2-Axes-46:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: //

 X K2-Axes-47:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $myVar := <e/>; empty($myVar/descendant-or-self::text())

 X K2-Axes-48:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $myVar := <e/>; $myVar/(<a/>, <b/>, <?d ?>, <!-- e-->, attribute name {}, document {()})/3

 X K2-Axes-49:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $myVar := <e/>; $myVar/(<a/>, <b/>, <?d ?>, <!-- e-->, attribute name {}, document {()})/number()

 X K2-Axes-50:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: 1/3

 X K2-Axes-51:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: string(<e/>)/3

 X K2-Axes-52:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $myVar := <e/>; empty($myVar/preceding-sibling::comment()/a/b/c/1/@*)

 X K2-Axes-53:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: (1, 2, 3)[1]/(1, 2)[last()]/"a string"

 X K2-Axes-54:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: namespace::*

 X K2-Axes-55:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: empty(()/@attr)

 X K2-Axes-56:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: empty(()/name)

 X K2-Axes-57:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $var := <a> <b/> <c/> <d/> </a>; ($var/*, $var/*)/.

 X K2-Axes-58:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $var := <a> <b/> <c/> <d/> </a>; ($var/*, $var/*)

 X K2-Axes-59:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $i := <root> <child/> <child/> <child> <child2> <child3> <leaf/> </child3> </child2> </child> </root>; 1, root($i)//leaf/child::node(), 1

 X K2-Axes-60:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(<element attr="foo" attr2="foo"/>/*)

 X K2-Axes-61:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(<element attr="foo" attr2="foo"/>/*)

 X K2-Axes-62:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <e> <b attr="fo"/> <b/> </e>/descendant-or-self::node()

 X K2-Axes-63:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: 1, <b attr="fo"/>/child::node(), 1

 X K2-Axes-64:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <e> <b/> <b a=""/> </e>/b

 X K2-Axes-65:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <e> <b a=""/> <b/> </e>/b

 X K2-Axes-66:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <e> <!-- comment --> <?PA ?>text<b/> <?PB ?> <b/> <?PC ?> </e>/child::node()

 X K2-Axes-67:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: 1, <e/>/descendant::node(), 1

 X K2-Axes-68:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: 1, <e/>/descendant-or-self::node(), 1

 X K2-Axes-69:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: 1, <e attr=""/>/descendant::node(), 1

 X K2-Axes-70:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: 1, <e attr=""/>/descendant-or-self::node(), 1

 X K2-Axes-71:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(<e/>/descendant::node())

 X K2-Axes-72:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(<e/>/descendant-or-self::node())

 X K2-Axes-73:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(<e attr=""/>/descendant::node())

 X K2-Axes-74:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(<e attr=""/>/descendant-or-self::node())

 X K2-Axes-75:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <a> <b c=""/> <d/> </a>/descendant-or-self::node()[last()]/ancestor::*

 X K2-Axes-76:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <a> <b c=""/> <d/> </a>/descendant-or-self::node()[last()]

 X K2-Axes-77:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: preceeding::node()

 X K2-Axes-78:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <a> <b c=""/> <d/> </a>//node()/../count(.)

 X K2-Axes-79:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: count(<a> <b c=""/> <d/> </a>//node())

 X K2-Axes-80:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: count(<a> <b c=""/> <d/> </a>/descendant-or-self::node())

 X K2-Axes-81:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <a> <b id="person0"> <c/> </b> </a>/*[attribute::id eq "person0"]/c

 X K2-Axes-82:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <a> <b id="person0"> <c/> </b> </a>/*[@id eq "person0"]/c

 X K2-Axes-83:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: empty(<e/>/attribute::attribute())

 X K2-Axes-84:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <e/>/attribute::schema-attribute(foo)

 X K2-Axes-85:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <e/>/attribute::schema-attribute()

 X K2-Axes-86:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: declare variable $root as document-node() := . treat as document-node(); <empty> { (: attribute axis, and all other axes that inference can assert might produce attributes. These are placed first, so we don't raise XQTY0024. :) $root/foo/child::attribute(foo), $root//element()/self::attribute(), $root//text()/self::attribute(), $root/self::attribute(), $root/foo/descendant::attribute(foo), $root//processing-instruction()/self::attribute(), $root/attribute(foo), $root/attribute(), $root/attribute::attribute(), $root//parent::attribute(), $root//document-node()/self::attribute(), $root/@*, $root/*/@*[self::*], $root//comment()/descendant-or-self::attribute(), $root//processing-instruction()/descendant-or-self::attribute(), $root//text()/descendant-or-self::attribute(), $root//document-node()/descendant-or-self::attribute(), $root//parent::attribute(), $root//ancestor::attribute(), $root//ancestor-or-self::attribute(), $root/self::attribute(), $root//attribute()/child::node(), $root//attribute::text(), $root//attribute::comment(), $root//attribute::processing-instruction(), $root//attribute::document-node(), $root//attribute::document-node(element(foo)), $root//attribute()/self::text(), $root//attribute()/self::processing-instruction(), $root//attribute()/self::element(), $root//attribute()/self::document-node(), $root//attribute()/self::comment(), $root//*/attribute()//node(), $root//*/attribute()/descendant::node(), $root//attribute::element(), $root//comment()/child::node(), $root//processing-instruction()/child::node(), $root//text()/child::node(), $root//attribute()/descendant::node(), $root//comment()/descendant::node(), $root//text()/descendant::node(), $root//processing-instruction()/descendant::node(), $root//comment()/descendant-or-self::text(), $root//comment()/descendant-or-self::processing-instruction(), $root//comment()/descendant-or-self::element(), $root//comment()/descendant-or-self::document-node(), $root//processing-instruction()/descendant-or-self::text(), $root//processing-instruction()/descendant-or-self::comment(), $root//processing-instruction()/descendant-or-self::element(), $root//processing-instruction()/descendant-or-self::document-node(), $root//text()/descendant-or-self::processing-instruction(), $root//text()/descendant-or-self::comment(), $root//text()/descendant-or-self::element(), $root//text()/descendant-or-self::document-node(), $root//attribute()/descendant-or-self::processing-instruction(), $root//attribute()/descendant-or-self::text(), $root//attribute()/descendant-or-self::comment(), $root//attribute()/descendant-or-self::element(), $root//attribute()/descendant-or-self::document-node(), $root/.., $root//parent::comment(), $root//parent::processing-instruction(), $root//parent::text(), $root//ancestor::comment(), $root//ancestor::processing-instruction(), $root//ancestor::text(), $root/self::comment(), $root/self::processing-instruction(), $root/self::text(), $root/self::element(), $root//element()/self::text(), $root//element()/self::processing-instruction(), $root//element()/self::document-node(), $root//element()/self::comment(), $root//processing-instruction()/self::text(), $root//processing-instruction()/self::element(), $root//processing-instruction()/self::document-node(), $root//processing-instruction()/self::comment(), $root//text()/self::processing-instruction(), $root//text()/self::element(), $root//text()/self::document-node(), $root//text()/self::comment(), $root//document-node()/self::processing-instruction(), $root//document-node()/self::element(), $root//document-node()/self::text(), $root//document-node()/self::comment() } </empty>, exists($root//*/attribute()/descendant-or-self::node())

 X K2-Axes-87:

Created on: 2007-11-26+01:00
Spec Dependencies:
spec = XQ10+

Test: <result> { <e> <a>1</a> <b>2</b> </e>/(b, a)/. } </result>