|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | 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)
Adds contents of other minus the contents of exclude into this set; returns true if this set changed. |
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 |
possibleClassConstants()
If this points-to set consists entirely of objects of type java.lang.Class of a known class, returns a set of strings that are the names of these classes. |
java.util.Set |
possibleStringConstants()
If this points-to set consists entirely of string constants, returns a set of these constant strings. |
java.util.Set |
possibleTypes()
Set of all possible run-time types of objects in the set. |
void |
setType(Type type)
|
int |
size()
|
java.lang.String |
toString()
|
void |
unFlushNew()
Sets all nodes to newly-added nodes. |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
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)
public java.util.Set possibleTypes()
public Type getType()
public void setType(Type type)
public int size()
public java.lang.String toString()
public java.util.Set possibleStringConstants()
public java.util.Set possibleClassConstants()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |