|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.jimple.spark.sets.PointsToSetInternal
soot.jimple.spark.sets.SharedPointsToSet
Hybrid implementation of points-to set, which uses an explicit array for small sets, and a bit vector for large sets.
Field Summary |
Fields inherited from class soot.jimple.spark.sets.PointsToSetInternal |
type |
Constructor Summary | |
SharedPointsToSet(Type type,
PAG pag)
|
Method Summary | |
boolean |
add(Node n)
Adds n to this set, returns true if n was not already in this set. |
boolean |
addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
Adds contents of other into this set, returns true if this set changed. |
boolean |
contains(Node n)
Returns true iff the set contains n. |
protected void |
convertToBits()
|
protected boolean |
fastAdd(Node n)
|
boolean |
forall(P2SetVisitor v)
Calls v's visit method on all nodes in this set. |
static P2SetFactory |
getFactory()
|
boolean |
isEmpty()
Returns true if this set contains no run-time objects. |
Methods inherited from class soot.jimple.spark.sets.PointsToSetInternal |
flushNew, getNewSet, getOldSet, getType, hasNonEmptyIntersection, mergeWith, possibleClassConstants, possibleStringConstants, possibleTypes, setType, size, toString, unFlushNew |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public SharedPointsToSet(Type type, PAG pag)
Method Detail |
public final boolean isEmpty()
public final boolean addAll(PointsToSetInternal other, PointsToSetInternal exclude)
addAll
in class PointsToSetInternal
public final boolean forall(P2SetVisitor v)
forall
in class PointsToSetInternal
public final boolean add(Node n)
add
in class PointsToSetInternal
public final boolean contains(Node n)
contains
in class PointsToSetInternal
public static final P2SetFactory getFactory()
protected final boolean fastAdd(Node n)
protected final void convertToBits()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |