|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.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 Objectpublic boolean equals(Object obj)
equals in class Objectpublic boolean hasNonEmptyIntersection(PointsToSet other)
PointsToSet
hasNonEmptyIntersection in interface PointsToSetother -
PointsToSet.hasNonEmptyIntersection(soot.PointsToSet)public boolean isEmpty()
PointsToSet
isEmpty in interface PointsToSetPointsToSet.isEmpty()public Set<ClassConstant> possibleClassConstants()
PointsToSet
possibleClassConstants in interface PointsToSetPointsToSet.possibleClassConstants()public Set<String> possibleStringConstants()
PointsToSet
possibleStringConstants in interface PointsToSetPointsToSet.possibleStringConstants()public Set<Type> possibleTypes()
PointsToSet
possibleTypes in interface PointsToSetPointsToSet.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 | |||||||||