|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.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 PointsToSetpublic boolean isEmpty()
PointsToSet
isEmpty in interface PointsToSetpublic Set<ClassConstant> possibleClassConstants()
PointsToSet
possibleClassConstants in interface PointsToSetpublic Set<String> possibleStringConstants()
PointsToSet
possibleStringConstants in interface PointsToSetpublic Set<Type> possibleTypes()
PointsToSet
possibleTypes in interface PointsToSetpublic String toString()
toString in class Objectpublic boolean equals(Object obj)
equals in class Objectpublic int hashCode()
hashCode in class Objectpublic 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 EqualsSupportingPointsToSetpublic int pointsToSetHashCode()
pointsToSetHashCode in interface EqualsSupportingPointsToSetprotected Object unwrapIfNecessary(Object obj)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||