2018-11-19 15:16:12 +01:00
|
|
|
package org.warp.jcwdb;
|
|
|
|
|
|
|
|
import java.io.IOException;
|
|
|
|
|
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;
|
2019-01-10 23:24:48 +01:00
|
|
|
long add(int size);
|
|
|
|
long add(int size, DBWriter writer) throws IOException;
|
|
|
|
FullIndexDetails addAndGetDetails(int size, DBWriter writer) throws IOException;
|
|
|
|
IndexDetails set(long index, int size, DBWriter 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
|
|
|
}
|