public class GlobalPositionsArray extends Array implements GlobalPositions
| Constructor and Description |
|---|
GlobalPositionsArray(String filename)
Creates a new instance of GlobalPositions
|
| Modifier and Type | Method and Description |
|---|---|
GlobalPositionWithTS |
find(long gid) |
void |
flush() |
void |
save(int recordsx4,
long[] record4) |
void |
save(long gid,
int slot,
long lid,
long localTS) |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitclose, destroypublic GlobalPositionsArray(String filename)
public GlobalPositionWithTS find(long gid) throws IOException
find in interface GlobalPositionsIOExceptionpublic void save(int recordsx4,
long[] record4)
throws IOException
save in interface GlobalPositionsIOExceptionpublic void save(long gid,
int slot,
long lid,
long localTS)
throws IOException
save in interface GlobalPositionsIOExceptionpublic void flush()
flush in interface GlobalPositionsCopyright © 2016 Egothor. All Rights Reserved.