Method swap

basex-core/src/main/java/org/basex/util/list/IntList.java:591–598

Swaps two array elements. @param a first offset @param b second offset @param values values to sort by

(final int a, final int b, final byte[][] values)

   * @param values values to sort by
   */
  private void swap(final int a, final int b, final byte[][] values) {
    final int l = list[a];
    list[a] = list[b];
    list[b] = l;
    final byte[] c = values[a];
    values[a] = values[b];
    values[b] = c;
  }

  /**
   * Swaps two array elements.