Package soot.jimple.spark.ondemand

Class WrappedPointsToSet

java.lang.Object

soot.jimple.spark.ondemand.WrappedPointsToSet

All Implemented Interfaces:

EqualsSupportingPointsToSet, PointsToSet

public class WrappedPointsToSet
extends Object
implements EqualsSupportingPointsToSet

Constructor Summary

Constructors

Constructor	Description
WrappedPointsToSet(PointsToSetInternal wrapped)

Method Summary

Modifier and Type	Method	Description
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

WrappedPointsToSet

public WrappedPointsToSet(PointsToSetInternal wrapped)

Method Detail

getWrapped

public PointsToSetInternal getWrapped()

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(PointsToSet other)

Description copied from interface: PointsToSet

Returns true if this set shares some objects with other.

Specified by:

hasNonEmptyIntersection in interface PointsToSet

isEmpty

public boolean isEmpty()

Description copied from interface: PointsToSet

Returns true if this set contains no run-time objects.

Specified by:

isEmpty in interface PointsToSet

possibleClassConstants

public Set<ClassConstant> possibleClassConstants()

Description copied from interface: PointsToSet

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. If this point-to set may contain something else, returns null.

Specified by:

possibleClassConstants in interface PointsToSet

possibleStringConstants

public Set<String> possibleStringConstants()

Description copied from interface: PointsToSet

If this points-to set consists entirely of string constants, returns a set of these constant strings. If this point-to set may contain something other than constant strings, returns null.

Specified by:

possibleStringConstants in interface PointsToSet

possibleTypes

public Set<Type> possibleTypes()

Description copied from interface: PointsToSet

Set of all possible run-time types of objects in the set.

Specified by:

possibleTypes in interface PointsToSet

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

pointsToSetEquals

public boolean pointsToSetEquals(Object other)

Returns 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.

Specified by:

pointsToSetEquals in interface EqualsSupportingPointsToSet

pointsToSetHashCode

public int pointsToSetHashCode()

Computes a hash code based on the contents of the points-to set. Note that hashCode() is not overwritten on purpose. This is because Spark relies on comparison by object identity.

Specified by:

pointsToSetHashCode in interface EqualsSupportingPointsToSet

unwrapIfNecessary

protected Object unwrapIfNecessary(Object obj)