public class GlobalPositionsMapDb extends Object implements GlobalPositions
| Constructor and Description |
|---|
GlobalPositionsMapDb(String filename) |
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
void |
destroy() |
GlobalPositionWithTS |
find(long gid) |
void |
flush() |
void |
save(int recordsx4,
long[] record4) |
void |
save(long gid,
int slot,
long lid,
long localTS) |
public GlobalPositionsMapDb(String filename) throws FileNotFoundException
FileNotFoundExceptionpublic GlobalPositionWithTS find(long gid)
find in interface GlobalPositionspublic void save(int recordsx4,
long[] record4)
save in interface GlobalPositionspublic void save(long gid,
int slot,
long lid,
long localTS)
save in interface GlobalPositionspublic void flush()
flush in interface GlobalPositionspublic void close()
close in interface GlobalPositionspublic void destroy()
destroy in interface GlobalPositionsCopyright © 2016 Egothor. All Rights Reserved.