|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectuka.util.SparseIDSpace
uka.util.PartitionedIDSpace
uka.util.GCPartitionedIDSpace
| Field Summary | |
private IntQueue |
freeIDs
|
| Fields inherited from class uka.util.PartitionedIDSpace |
|
| Fields inherited from class uka.util.SparseIDSpace |
nextID, usedIDs |
| Constructor Summary | |
GCPartitionedIDSpace(int size)
|
|
| Method Summary | |
void |
clear()
|
int |
create()
|
void |
free(int id)
|
private void |
initTransient()
|
private void |
readObject(java.io.ObjectInputStream in)
|
private void |
restoreAfterUnmarshal()
|
| Methods inherited from class uka.util.PartitionedIDSpace |
create, init |
| Methods inherited from class uka.util.SparseIDSpace |
getUsedIDs, isUsed, remove |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
private transient IntQueue freeIDs
| Constructor Detail |
public GCPartitionedIDSpace(int size)
| Method Detail |
private void initTransient()
public int create()
create in interface IDSpacecreate in class PartitionedIDSpacepublic void free(int id)
public void clear()
clear in interface IDSpaceclear in class PartitionedIDSpace
private void restoreAfterUnmarshal()
throws java.lang.ClassNotFoundException,
java.io.IOException
java.lang.ClassNotFoundException
java.io.IOException
private void readObject(java.io.ObjectInputStream in)
throws java.io.IOException,
java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||