コード例 #1
0
ファイル: 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();
 }
コード例 #2
0
ファイル: DiskData.java プロジェクト: LukasK/basex
 /**
  * Closes the specified index.
  *
  * @param type index to be closed
  */
 private synchronized void close(final IndexType type) {
   // close index and invalidate reference
   final Index index = index(type);
   if (index != null) {
     index.close();
     set(type, null);
   }
 }