Method drop

basex-core/src/main/java/org/basex/core/cmd/DropIndex.java:68–72

Drops the specified index. @param type index type @param data data reference @throws IOException I/O exception

(final IndexType type, final Data data)

   * @throws IOException I/O exception
   */
  static void drop(final IndexType type, final Data data) throws IOException {
    data.meta.dirty = true;
    data.meta.index(type, false);
    data.dropIndex(type);
  }
}