soot.util

Class NumberedSet

java.lang.Object

soot.util.NumberedSet

public final class NumberedSet
extends java.lang.Object

Holds a set of Numberable objects.

Author:

Ondrej Lhotak

Constructor Summary

Constructors

Constructor and Description
NumberedSet(ArrayNumberer universe)

Method Summary

Modifier and Type	Method and Description
boolean	add(Numberable o)
boolean	contains(Numberable o)
java.util.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 java.util.Iterator iterator()

size

public final int size()