Method addNewIds

basex-core/src/main/java/org/basex/index/IndexTree.java:159–163

Creates a new ID list and adds an ID. @param id ID value @param pos token position (only relevant for token index)

(final int id, final int pos)

   * @param pos token position (only relevant for token index)
   */
  private void addNewIds(final int id, final int pos) {
    byte[] vs = Num.newNum(id);
    if(tokenize) vs = Num.add(vs, pos);
    ids.add(vs);
  }

  /**
   * Appends an ID to the ID list specified by n.