uka.patch
Class ReadOnlyJournal

java.lang.Object
  uka.patch.ReadOnlyJournal

public class ReadOnlyJournal

extends java.lang.Object

Field Summary

private IDMap	objects
private EnlargingBooleanArray	readonly

Constructor Summary

ReadOnlyJournal()

Method Summary

void	clear()
int	findID(java.lang.Object obj)
java.lang.Object	getObject(int id)
IntIterator	getUsedIDs()
boolean	isReadOnly(int id)
boolean	isValid(int id)
void	remove(int id)
void	setReadOnly(java.lang.Object obj, boolean value)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

objects

private final IDMap objects

readonly

private final EnlargingBooleanArray readonly

Constructor Detail

ReadOnlyJournal

public ReadOnlyJournal()

Method Detail

setReadOnly

public void setReadOnly(java.lang.Object obj,
                        boolean value)

findID

public int findID(java.lang.Object obj)

getObject

public java.lang.Object getObject(int id)

getUsedIDs

public IntIterator getUsedIDs()

isValid

public boolean isValid(int id)

isReadOnly

public boolean isReadOnly(int id)

remove

public void remove(int id)

clear

public void clear()