Method IdPreMap

basex-core/src/main/java/org/basex/index/IdPreMap.java:41–48

Constructor. @param id last inserted ID

(final int id)

   * @param id last inserted ID
   */
  public IdPreMap(final int id) {
    baseid = id;
    pres = new int[1];
    fids = new int[1];
    nids = new int[1];
    incs = new int[1];
    oids = new int[1];
  }

  /**
   * Constructs a map by reading it from a file.