public class OIDManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
defaultChunkSize |
static long |
invalidOid |
Constructor and Description |
---|
OIDManager() |
OIDManager(Database db) |
Modifier and Type | Method and Description |
---|---|
boolean |
empty()
returns if there are no more OIDs and we need to grab more
|
protected void |
getNewChunk(int chunkSize)
grabs a new chunk of Oids
sets freeOid and lastOid appropriately
|
OID |
getNextOid()
returns the next free oid
|
public static final long invalidOid
public int defaultChunkSize
public OIDManager()
public OIDManager(Database db)
public OID getNextOid()
public boolean empty()
protected void getNewChunk(int chunkSize)