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