|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object soot.jimple.spark.sets.PointsToSetEqualsWrapper
public class PointsToSetEqualsWrapper
A decorator that implements equals/hashCode for PointsToSet
supporting the EqualsSupportingPointsToSet
interface.
Field Summary | |
---|---|
protected EqualsSupportingPointsToSet |
pts
|
Constructor Summary | |
---|---|
PointsToSetEqualsWrapper(EqualsSupportingPointsToSet pts)
|
Method Summary | |
---|---|
boolean |
equals(Object obj)
|
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. |
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 |
Field Detail |
---|
protected EqualsSupportingPointsToSet pts
Constructor Detail |
---|
public PointsToSetEqualsWrapper(EqualsSupportingPointsToSet pts)
Method Detail |
---|
public int hashCode()
hashCode
in class Object
public boolean equals(Object obj)
equals
in class Object
public boolean hasNonEmptyIntersection(PointsToSet other)
PointsToSet
hasNonEmptyIntersection
in interface PointsToSet
other
-
PointsToSet.hasNonEmptyIntersection(soot.PointsToSet)
public boolean isEmpty()
PointsToSet
isEmpty
in interface PointsToSet
PointsToSet.isEmpty()
public Set<ClassConstant> possibleClassConstants()
PointsToSet
possibleClassConstants
in interface PointsToSet
PointsToSet.possibleClassConstants()
public Set<String> possibleStringConstants()
PointsToSet
possibleStringConstants
in interface PointsToSet
PointsToSet.possibleStringConstants()
public Set<Type> possibleTypes()
PointsToSet
possibleTypes
in interface PointsToSet
PointsToSet.possibleTypes()
protected Object unwrapIfNecessary(Object obj)
public String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |