Method decrementPre

basex-core/src/main/java/org/basex/data/NSNode.java:253–256

Recursive shifting of PRE values after delete operations. @param start update location @param diff value to subtract from PRE value

(final int start, final int diff)

   * @param diff value to subtract from PRE value
   */
  void decrementPre(final int start, final int diff) {
    if(pre >= start + diff) pre -= diff;
    for(int c = 0; c < size; c++) nodes[c].decrementPre(start, diff);
  }

  /**
   * Increments the PRE value by the specified size.