Method read

basex-core/src/main/java/org/basex/index/resource/Docs.java:57–60

Reads the document index. @param in input stream @throws IOException I/O exception

(final DataInput in)

   * @throws IOException I/O exception
   */
  synchronized void read(final DataInput in) throws IOException {
    docList = in.readDiffs();
    pathIndex = data.meta.dbFile(DATAPTH).exists();
  }

  /**
   * Writes the document index.