2018-11-19 15:16:12 +01:00
|
|
|
package org.warp.jcwdb;
|
|
|
|
|
|
|
|
import java.io.IOException;
|
2018-12-11 23:00:51 +01:00
|
|
|
import java.util.function.Consumer;
|
2018-11-19 15:16:12 +01:00
|
|
|
|
2018-11-27 17:47:19 +01:00
|
|
|
public interface IndexManager extends Cleanable {
|
2018-11-21 01:02:25 +01:00
|
|
|
<T> T get(long index, DBReader<T> reader) throws IOException;
|
2018-11-20 18:39:48 +01:00
|
|
|
int getType(long index) throws IOException;
|
2018-12-11 23:00:51 +01:00
|
|
|
long getHash(long index) throws IOException;
|
2018-11-21 01:02:25 +01:00
|
|
|
<T> long add(DBDataOutput<T> writer) throws IOException;
|
2018-12-11 23:00:51 +01:00
|
|
|
<T> IndexDetails set(long index, DBDataOutput<T> writer) throws IOException;
|
2018-11-21 01:02:25 +01:00
|
|
|
void delete(long index) throws IOException;
|
|
|
|
boolean has(long index);
|
|
|
|
void close() throws IOException;
|
2018-11-19 15:16:12 +01:00
|
|
|
}
|