Method write

basex-core/src/main/java/org/basex/util/hash/TokenSet.java:80–85

Writes the data structure to the specified output. @param out output stream @throws IOException I/O exception

(final DataOutput out)

   * @throws IOException I/O exception
   */
  public void write(final DataOutput out) throws IOException {
    out.writeTokens(keys);
    out.writeNums(next);
    out.writeNums(buckets);
    out.writeNum(size);
  }

  /**
   * Stores the specified key if it has not been stored before.