Java Index.drop示例

示例#1

文件： DiskData.java 项目： LukasK/basex

 @Override
 public boolean dropIndex(final IndexType type) {
   // close and drop index (return true if no index exists)
   final Index index = index(type);
   close(type);
   return index == null || index.drop();
 }