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
FileNotFoundException
public GlobalPositionWithTS find(long gid)
find
in interface GlobalPositions
public void save(int recordsx4, long[] record4)
save
in interface GlobalPositions
public void save(long gid, int slot, long lid, long localTS)
save
in interface GlobalPositions
public void flush()
flush
in interface GlobalPositions
public void close()
close
in interface GlobalPositions
public void destroy()
destroy
in interface GlobalPositions
Copyright © 2016 Egothor. All Rights Reserved.