|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object soot.jimple.spark.ondemand.WrappedPointsToSet
public class WrappedPointsToSet
Constructor Summary | |
---|---|
WrappedPointsToSet(PointsToSetInternal wrapped)
|
Method Summary | |
---|---|
boolean |
equals(Object obj)
|
PointsToSetInternal |
getWrapped()
|
int |
hashCode()
|
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. |
boolean |
pointsToSetEquals(Object other)
Returns true if and only if other holds the same alloc nodes as this. |
int |
pointsToSetHashCode()
Computes a hash code based on the contents of the points-to set. |
Set<ClassConstant> |
possibleClassConstants()
If this points-to set consists entirely of objects of type java.lang.Class of a known class, returns a set of ClassConstant's that are these classes. |
Set<String> |
possibleStringConstants()
If this points-to set consists entirely of string constants, returns a set of these constant strings. |
Set<Type> |
possibleTypes()
Set of all possible run-time types of objects in the set. |
String |
toString()
|
protected Object |
unwrapIfNecessary(Object obj)
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public WrappedPointsToSet(PointsToSetInternal wrapped)
Method Detail |
---|
public PointsToSetInternal getWrapped()
public boolean hasNonEmptyIntersection(PointsToSet other)
PointsToSet
hasNonEmptyIntersection
in interface PointsToSet
public boolean isEmpty()
PointsToSet
isEmpty
in interface PointsToSet
public Set<ClassConstant> possibleClassConstants()
PointsToSet
possibleClassConstants
in interface PointsToSet
public Set<String> possibleStringConstants()
PointsToSet
possibleStringConstants
in interface PointsToSet
public Set<Type> possibleTypes()
PointsToSet
possibleTypes
in interface PointsToSet
public String toString()
toString
in class Object
public boolean equals(Object obj)
equals
in class Object
public int hashCode()
hashCode
in class Object
public boolean pointsToSetEquals(Object other)
true
if and only if other holds the same alloc nodes as this.
Note that equals() is not overwritten on purpose.
This is because Spark relies on comparison by object identity.
pointsToSetEquals
in interface EqualsSupportingPointsToSet
public int pointsToSetHashCode()
pointsToSetHashCode
in interface EqualsSupportingPointsToSet
protected Object unwrapIfNecessary(Object obj)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |