soot.jimple.spark.sets
Class SharedListSet
java.lang.Object
soot.jimple.spark.sets.PointsToSetInternal
soot.jimple.spark.sets.SharedListSet
- All Implemented Interfaces:
- EqualsSupportingPointsToSet, PointsToSet
public class SharedListSet
- extends PointsToSetInternal
Implementation of a points-to set as a sorted list of elements,
but where similar lists share parts of their data.
Methods inherited from class soot.jimple.spark.sets.PointsToSetInternal |
flushNew, getBitMask, getNewSet, getOldSet, getType, hasNonEmptyIntersection, mergeWith, pointsToSetEquals, pointsToSetHashCode, possibleClassConstants, possibleStringConstants, possibleTypes, setType, size, toString, unFlushNew |
SharedListSet
public SharedListSet(Type type,
PAG pag)
getFactory
public static final P2SetFactory getFactory()
contains
public boolean contains(Node n)
- Description copied from class:
PointsToSetInternal
- Returns true iff the set contains n.
- Specified by:
contains
in class PointsToSetInternal
isEmpty
public boolean isEmpty()
- Description copied from interface:
PointsToSet
- Returns true if this set contains no run-time objects.
forall
public boolean forall(P2SetVisitor v)
- Description copied from class:
PointsToSetInternal
- Calls v's visit method on all nodes in this set.
- Specified by:
forall
in class PointsToSetInternal
add
public boolean add(Node n)
- Description copied from class:
PointsToSetInternal
- Adds n to this set, returns true if n was not already in this set.
- Specified by:
add
in class PointsToSetInternal
addAll
public boolean addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
- Description copied from class:
PointsToSetInternal
- Adds contents of other minus the contents of exclude into this set;
returns true if this set changed.
- Overrides:
addAll
in class PointsToSetInternal