2018-11-19 15:16:12 +01:00
|
|
|
package org.warp.jcwdb;
|
|
|
|
|
|
|
|
import java.io.IOException;
|
|
|
|
|
|
|
|
public interface IndexManager {
|
2018-11-20 18:39:48 +01:00
|
|
|
public <T> T get(long index, DBReader<T> reader) throws IOException;
|
|
|
|
int getType(long index) throws IOException;
|
|
|
|
public <T> void set(long index, DBDataOutput<T> writer) throws IOException;
|
2018-11-19 15:16:12 +01:00
|
|
|
public void delete(long index) throws IOException;
|
|
|
|
public boolean has(long index);
|
2018-11-20 18:39:48 +01:00
|
|
|
public void close() throws IOException;
|
2018-11-19 15:16:12 +01:00
|
|
|
}
|