Method union

basex-core/src/main/java/org/basex/query/util/ft/FTPos.java:32–38

Merges the specified position arrays. @param pos sorted positions

(final IntList pos)

   * @param pos sorted positions
   */
  void union(final IntList pos) {
    final int ps = list.size(), ls = pos.size();
    final IntSet set = new IntSet(ps + ls);
    for(int p = 0; p < ps; p++) set.add(list.get(p));
    for(int l = 0; l < ls; l++) set.add(pos.get(l));
    list = new IntList(set.keys()).sort();
  }

  /**
   * Checks if the specified position is found.