|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.util.NumberedSet
Holds a set of Numberable objects.
Constructor Summary | |
NumberedSet(Numberer universe)
|
Method Summary | |
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 |
public NumberedSet(Numberer universe)
Method Detail |
public boolean add(Numberable o)
public boolean contains(Numberable o)
public java.util.Iterator iterator()
public final int size()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |