|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.jimple.spark.sets.PointsToSetInternal
Abstract base class for implementations of points-to sets.
Field Summary | |
protected Type |
type
|
Constructor Summary | |
PointsToSetInternal(Type type)
|
Method Summary | |
abstract 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)
|
abstract boolean |
contains(Node n)
Returns true iff the set contains n. |
void |
flushNew()
Sets all newly-added nodes to old nodes. |
abstract boolean |
forall(P2SetVisitor v)
Calls v's visit method on all nodes in this set. |
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. |
Type |
getType()
|
boolean |
hasNonEmptyIntersection(PointsToSet other)
Returns true if this set shares some objects with other. |
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 |
setType(Type type)
|
int |
size()
|
void |
unFlushNew()
Sets all nodes to newly-added nodes. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface soot.jimple.spark.PointsToSet |
isEmpty |
Field Detail |
protected Type type
Constructor Detail |
public PointsToSetInternal(Type type)
Method Detail |
public boolean addAll(PointsToSetInternal other, PointsToSetInternal exclude)
public abstract boolean forall(P2SetVisitor v)
public abstract boolean add(Node n)
public PointsToSetInternal getNewSet()
public PointsToSetInternal getOldSet()
public void flushNew()
public void unFlushNew()
public void mergeWith(PointsToSetInternal other)
public abstract boolean contains(Node n)
public boolean hasNonEmptyIntersection(PointsToSet other)
PointsToSet
hasNonEmptyIntersection
in interface PointsToSet
public java.util.Set possibleTypes()
PointsToSet
possibleTypes
in interface PointsToSet
public Type getType()
public void setType(Type type)
public int size()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |