Method dropIndex

basex-core/src/main/java/org/basex/data/Data.java:156–156

Drops the specified index. @param type index to be dropped @throws BaseXException database exception

(IndexType type)

   * @throws BaseXException database exception
   */
  public abstract void dropIndex(IndexType type) throws BaseXException;

  /**
   * Starts an update operation: writes a file to disk to indicate that an update is going on,