xquery version "1.0";

declare function local:test($id as xs:string, $case as element(case), $expected as element(expected), $result as element(result)) as element(test) {
    <test id="{$id}">{
        if (deep-equal($expected/node(), $result/node())) then
          attribute ok {}
        else (
          attribute fail {},
          $case,
          $expected,
          $result
        )
    }</test>
};

let $xml :=
   <root>
     <part>
       <div>
         <p id="1.1.1">p1</p>
         <p id="1.1.2">p2</p>
       </div>
       <div>
         <p id="1.2.1">p3</p>
         <p id="1.2.2">p4</p>
       </div>
     </part>
     <part>
       <div>
         <p id="2.1.1">p5</p>
         <p id="2.1.2">p6</p>
       </div>
       <div>
         <p id="2.2.1">p7</p>
         <p id="2.2.2">p8</p>
       </div>
     </part>
   </root>

return
<testsuits>
  <testsuite id="abbrev-path-abbrev-position">{
    local:test("1",
      <case>($xml//p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml//p)[2] }</result>
    ),
 
    local:test("2",
      <case>$xml/(.//p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(.//p)[2] }</result>
    ),
 
    local:test("3",
      <case>$xml//(p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml//(p)[2] }</result>
    ),
 
    local:test("4",
      <case>$xml//p[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml//p[2] }</result>
    ),
 
    local:test("5",
      <case>($xml/part//p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml/part//p)[2] }</result>
    ),
 
    local:test("6",
      <case>$xml/(part//p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(part//p)[2] }</result>
    ),
 
    local:test("7",
      <case>$xml/part/(.//p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="2.1.2">p6</p>
      </expected>,
      <result>{ $xml/part/(.//p)[2] }</result>
    ),
 
    local:test("8",
      <case>$xml/part//(p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/part//(p)[2] }</result>
    ),

    local:test("9",
      <case>$xml/part//p[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/part//p[2] }</result>
    )
  }</testsuite>

  <testsuite id="abbrev-path-with-non-abbrev-position">{
    local:test("1",
      <case>($xml//p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml//p)[position() = 2] }</result>
    ),
 
    local:test("2",
      <case>$xml/(.//p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(.//p)[position() = 2] }</result>
    ),
 
    local:test("3",
      <case>$xml//(p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml//(p)[position() = 2] }</result>
    ),
 
    local:test("4",
      <case>$xml//p[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml//p[position() = 2] }</result>
    ),
 
    local:test("5",
      <case>($xml/part//p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml/part//p)[position() = 2] }</result>
    ),
 
    local:test("6",
      <case>$xml/(part//p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(part//p)[position() = 2] }</result>
    ),
 
    local:test("7",
      <case>$xml/part/(.//p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="2.1.2">p6</p>
      </expected>,
      <result>{ $xml/part/(.//p)[position() = 2] }</result>
    ),
 
    local:test("8",
      <case>$xml/part//(p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/part//(p)[position() = 2] }</result>
    ),

    local:test("9",
      <case>$xml/part//p[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/part//p[position() = 2] }</result>
    )
  }</testsuite>

  <testsuite id="non-abbrev-path-abbrev-position">{
    local:test("1",
      <case>($xml/descendant-or-self::node()/p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml/descendant-or-self::node()/p)[2] }</result>
    ),
 
    local:test("2",
      <case>$xml/(./descendant-or-self::node()/p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(./descendant-or-self::node()/p)[2] }</result>
    ),
 
    local:test("3",
      <case>$xml/descendant-or-self::node()/(p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/descendant-or-self::node()/(p)[2] }</result>
    ),
 
    local:test("4",
      <case>$xml/descendant-or-self::node()/p[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/descendant-or-self::node()/p[2] }</result>
    ),
 
    local:test("5",
      <case>($xml/part/descendant-or-self::node()/p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml/part/descendant-or-self::node()/p)[2] }</result>
    ),
 
    local:test("6",
      <case>$xml/(part/descendant-or-self::node()/p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(part/descendant-or-self::node()/p)[2] }</result>
    ),
 
    local:test("7",
      <case>$xml/part/(./descendant-or-self::node()/p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="2.1.2">p6</p>
      </expected>,
      <result>{ $xml/part/(./descendant-or-self::node()/p)[2] }</result>
    ),
 
    local:test("8",
      <case>$xml/part/descendant-or-self::node()/(p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/part/descendant-or-self::node()/(p)[2] }</result>
    ),

    local:test("9",
      <case>$xml/part/descendant-or-self::node()/p[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/part/descendant-or-self::node()/p[2] }</result>
    )
  }</testsuite>

  <testsuite id="non-abbrev-path-non-abbrev-position">{
    local:test("1",
      <case>($xml/descendant-or-self::node()/p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml/descendant-or-self::node()/p)[position() = 2] }</result>
    ),
 
    local:test("2",
      <case>$xml/(./descendant-or-self::node()/p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(./descendant-or-self::node()/p)[position() = 2] }</result>
    ),
 
    local:test("3",
      <case>$xml/descendant-or-self::node()/(p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/descendant-or-self::node()/(p)[position() = 2] }</result>
    ),
 
    local:test("4",
      <case>$xml/descendant-or-self::node()/p[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/descendant-or-self::node()/p[position() = 2] }</result>
    ),
 
    local:test("5",
      <case>($xml/part/descendant-or-self::node()/p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml/part/descendant-or-self::node()/p)[position() = 2] }</result>
    ),
 
    local:test("6",
      <case>$xml/(part/descendant-or-self::node()/p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(part/descendant-or-self::node()/p)[position() = 2] }</result>
    ),
 
    local:test("7",
      <case>$xml/part/(./descendant-or-self::node()/p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="2.1.2">p6</p>
      </expected>,
      <result>{ $xml/part/(./descendant-or-self::node()/p)[position() = 2] }</result>
    ),
 
    local:test("8",
      <case>$xml/part/descendant-or-self::node()/(p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/part/descendant-or-self::node()/(p)[position() = 2] }</result>
    ),

    local:test("9",
      <case>$xml/part/descendant-or-self::node()/p[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="1.2.2">p4</p>
        <p id="2.1.2">p6</p>
        <p id="2.2.2">p8</p>
      </expected>,
      <result>{ $xml/part/descendant-or-self::node()/p[position() = 2] }</result>
    )
  }</testsuite>

  <testsuite id="descendant-path-abbrev-position">{
    local:test("1",
      <case>($xml/descendant::p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml/descendant::p)[2] }</result>
    ),
 
    local:test("2",
      <case>$xml/(descendant::p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(descendant::p)[2] }</result>
    ),
 
    local:test("3",
      <case>$xml/(descendant::p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(descendant::p)[2] }</result>
    ),
 
    local:test("4",
      <case>$xml/descendant::p[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/descendant::p[2] }</result>
    ),
 
    local:test("5",
      <case>($xml/part/descendant::p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml/part/descendant::p)[2] }</result>
    ),
 
    local:test("6",
      <case>$xml/(part/descendant::p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(part/descendant::p)[2] }</result>
    ),
 
    local:test("7",
      <case>$xml/part/(descendant::p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="2.1.2">p6</p>
      </expected>,
      <result>{ $xml/part/(descendant::p)[2] }</result>
    ),
 
    local:test("8",
      <case>$xml/part/(descendant::p)[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="2.1.2">p6</p>
      </expected>,
      <result>{ $xml/part/(descendant::p)[2] }</result>
    ),

    local:test("9",
      <case>$xml/part/descendant::p[2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="2.1.2">p6</p>
      </expected>,
      <result>{ $xml/part/descendant::p[2] }</result>
    )
  }</testsuite>

  <testsuite id="descendant-path-non-abbrev-position">{
    local:test("1",
      <case>($xml/descendant::p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml/descendant::p)[position() = 2] }</result>
    ),
 
    local:test("2",
      <case>$xml/(descendant::p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(descendant::p)[position() = 2] }</result>
    ),
 
    local:test("3",
      <case>$xml/(descendant::p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(descendant::p)[position() = 2] }</result>
    ),
 
    local:test("4",
      <case>$xml/descendant::p[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/descendant::p[position() = 2] }</result>
    ),
 
    local:test("5",
      <case>($xml/part/descendant::p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ ($xml/part/descendant::p)[position() = 2] }</result>
    ),
 
    local:test("6",
      <case>$xml/(part/descendant::p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
      </expected>,
      <result>{ $xml/(part/descendant::p)[position() = 2] }</result>
    ),
 
    local:test("7",
      <case>$xml/part/(descendant::p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="2.1.2">p6</p>
      </expected>,
      <result>{ $xml/part/(descendant::p)[position() = 2] }</result>
    ),
 
    local:test("8",
      <case>$xml/part/(descendant::p)[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="2.1.2">p6</p>
      </expected>,
      <result>{ $xml/part/(descendant::p)[position() = 2] }</result>
    ),

    local:test("9",
      <case>$xml/part/descendant::p[position() = 2]</case>,
      <expected>
        <p id="1.1.2">p2</p>
        <p id="2.1.2">p6</p>
      </expected>,
      <result>{ $xml/part/descendant::p[position() = 2] }</result>
    )
  }</testsuite>

</testsuits>