soot.util
Class NumberedSet

java.lang.Object
  soot.util.NumberedSet

public final class NumberedSet
extends Object

Holds a set of Numberable objects.

Author:

Ondrej Lhotak

Constructor Summary

NumberedSet(ArrayNumberer universe)

Method Summary

boolean	add(Numberable o)
boolean	contains(Numberable o)
Iterator	iterator()
int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

NumberedSet

public NumberedSet(ArrayNumberer universe)

Method Detail

add

public boolean add(Numberable o)

contains

public boolean contains(Numberable o)

iterator

public Iterator iterator()

size

public final int size()