uka.util
Class DenseIDSpace

java.lang.Object
  uka.util.DenseIDSpace

All Implemented Interfaces:

IDSpace, Printable, java.io.Serializable

public class DenseIDSpace

extends java.lang.Object

implements IDSpace, java.io.Serializable, Printable

See Also:

Serialized Form

Field Summary

private int

nextID

Constructor Summary

DenseIDSpace()

Method Summary

void	appendTo(ToString s) This method should append the contents of each instance variable of the current object to the given ToString object.
void	clear()
int	create()
void	create(int id)
IntIterator	getUsedIDs()
boolean	isUsed(int id)
void	remove(int id)

Methods inherited from class java.lang.Object

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

Field Detail

nextID

private int nextID

Constructor Detail

DenseIDSpace

public DenseIDSpace()

Method Detail

create

public int create()

Specified by:

create in interface IDSpace

create

public void create(int id)

Specified by:

create in interface IDSpace

remove

public void remove(int id)

Specified by:

remove in interface IDSpace

getUsedIDs

public IntIterator getUsedIDs()

Specified by:

getUsedIDs in interface IDSpace

isUsed

public boolean isUsed(int id)

Specified by:

isUsed in interface IDSpace

clear

public void clear()

Specified by:

clear in interface IDSpace

appendTo

public void appendTo(ToString s)

Description copied from interface: Printable

This method should append the contents of each instance variable of the current object to the given ToString object. The appended data should be labeled with the name of the corresponding instance variable.

Specified by:

appendTo in interface Printable

See Also:

ToString, ToString.append(String, Object), ToString.append(String, boolean), ToString.append(String, byte), ToString.append(String, int)