|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.jimple.spark.sets.PointsToSetInternal | +--soot.jimple.spark.sets.DoublePointsToSet
Implementation of points-to set that holds two sets: one for new elements that have not yet been propagated, and the other for elements that have already been propagated.
Field Summary | |
protected PointsToSetInternal |
newSet
|
protected PointsToSetInternal |
oldSet
|
Fields inherited from class soot.jimple.spark.sets.PointsToSetInternal |
type |
Constructor Summary | |
DoublePointsToSet(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. |
void |
flushNew()
Sets all newly-added nodes to old nodes. |
boolean |
forall(P2SetVisitor v)
Calls v's visit method on all nodes in this set. |
static P2SetFactory |
getFactory(P2SetFactory newFactory,
P2SetFactory oldFactory)
|
PointsToSetInternal |
getNewSet()
Returns set of newly-added nodes since last call to flushNew. |
PointsToSetInternal |
getOldSet()
Returns set of nodes already present before last call to flushNew. |
boolean |
hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other. |
boolean |
isEmpty()
Returns true if this set contains no run-time objects. |
void |
mergeWith(PointsToSetInternal other)
Merges other into this set. |
java.util.Set |
possibleTypes()
Set of all possible run-time types of objects in the set. |
void |
unFlushNew()
Sets all nodes to newly-added nodes. |
Methods inherited from class soot.jimple.spark.sets.PointsToSetInternal |
getType,
possibleClassConstants,
possibleStringConstants,
setType,
size,
toString |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
Field Detail |
protected PointsToSetInternal newSet
protected PointsToSetInternal oldSet
Constructor Detail |
public DoublePointsToSet(Type type, PAG pag)
Method Detail |
public boolean isEmpty()
public boolean hasNonEmptyIntersection(PointsToSet other)
public java.util.Set possibleTypes()
public boolean addAll(PointsToSetInternal other, PointsToSetInternal exclude)
public boolean forall(P2SetVisitor v)
public boolean add(Node n)
public PointsToSetInternal getOldSet()
public PointsToSetInternal getNewSet()
public void flushNew()
public void unFlushNew()
public void mergeWith(PointsToSetInternal other)
public boolean contains(Node n)
public static P2SetFactory getFactory(P2SetFactory newFactory, P2SetFactory oldFactory)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |