uka.util
Class CharSet

java.lang.Object
  uka.util.CharSet

All Implemented Interfaces:

java.io.Serializable

public class CharSet

extends java.lang.Object

implements java.io.Serializable

See Also:

Serialized Form

Field Summary

(package private) CharIDMap	map
(package private) IntQueue	unusedIDs

Constructor Summary

CharSet()

Method Summary

boolean	add(char value)
void	clear()
boolean	contains(char value)
int	getSize()
boolean	isEmpty()
CharIterator	iterator()
boolean	remove(char value)
char[]	toArray(char[] a)
EnlargingCharArray	toArray(EnlargingCharArray a)

Methods inherited from class java.lang.Object

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

Field Detail

map

CharIDMap map

unusedIDs

IntQueue unusedIDs

Constructor Detail

CharSet

public CharSet()

Method Detail

add

public boolean add(char value)

isEmpty

public boolean isEmpty()

getSize

public int getSize()

contains

public boolean contains(char value)

remove

public boolean remove(char value)

clear

public void clear()

toArray

public EnlargingCharArray toArray(EnlargingCharArray a)

iterator

public CharIterator iterator()

toArray

public char[] toArray(char[] a)