soot.jimple.spark.sets
Class HashPointsToSet
java.lang.Object
|
+--soot.jimple.spark.sets.PointsToSetInternal
|
+--soot.jimple.spark.sets.HashPointsToSet
- public final class HashPointsToSet
- extends PointsToSetInternal
HashSet implementation of points-to set.
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 |
HashPointsToSet
public HashPointsToSet(Type type,
PAG pag)
isEmpty
public final boolean isEmpty()
- Returns true if this set contains no run-time objects.
addAll
public final boolean addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
- Adds contents of other into this set, returns true if this set
changed.
- Overrides:
- addAll in class PointsToSetInternal
forall
public final boolean forall(P2SetVisitor v)
- Calls v's visit method on all nodes in this set.
- Overrides:
- forall in class PointsToSetInternal
add
public final boolean add(Node n)
- Adds n to this set, returns true if n was not already in this set.
- Overrides:
- add in class PointsToSetInternal
contains
public final boolean contains(Node n)
- Returns true iff the set contains n.
- Overrides:
- contains in class PointsToSetInternal
getFactory
public static P2SetFactory getFactory()