Package soot.jimple.spark.sets

Class PointsToSetEqualsWrapper

java.lang.Object

soot.jimple.spark.sets.PointsToSetEqualsWrapper

All Implemented Interfaces:

PointsToSet

public class PointsToSetEqualsWrapper
extends Object
implements PointsToSet

A decorator that implements equals/hashCode for PointsToSet supporting the EqualsSupportingPointsToSet interface.

Author:

Eric Bodden

Field Summary

Fields

Modifier and Type	Field	Description
protected EqualsSupportingPointsToSet	pts

Constructor Summary

Constructors

Constructor	Description
PointsToSetEqualsWrapper(EqualsSupportingPointsToSet pts)

Method Summary

Modifier and Type	Method	Description
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()
EqualsSupportingPointsToSet	unwarp()
protected Object	unwrapIfNecessary(Object obj)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

pts

protected EqualsSupportingPointsToSet pts

Constructor Detail

PointsToSetEqualsWrapper

public PointsToSetEqualsWrapper(EqualsSupportingPointsToSet pts)

Method Detail

unwarp

public EqualsSupportingPointsToSet unwarp()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

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

Parameters:

other -

Returns:

See Also:

PointsToSet.hasNonEmptyIntersection(soot.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

Returns:

See Also:

PointsToSet.isEmpty()

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

Returns:

See Also:

PointsToSet.possibleClassConstants()

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

Returns:

See Also:

PointsToSet.possibleStringConstants()

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

Returns:

See Also:

PointsToSet.possibleTypes()

unwrapIfNecessary

protected Object unwrapIfNecessary(Object obj)

toString

public String toString()

Overrides:

toString in class Object