soot.jimple.spark.ondemand
Class AllocAndContextSet
java.lang.Object
java.util.AbstractCollection<E>
java.util.AbstractSet<T>
soot.jimple.spark.ondemand.genericutil.ArraySet<AllocAndContext>
soot.jimple.spark.ondemand.AllocAndContextSet
- All Implemented Interfaces:
- Iterable<AllocAndContext>, Collection<AllocAndContext>, Set<AllocAndContext>, EqualsSupportingPointsToSet, PointsToSet
public final class AllocAndContextSet
- extends ArraySet<AllocAndContext>
- implements EqualsSupportingPointsToSet
Methods inherited from class soot.jimple.spark.ondemand.genericutil.ArraySet |
add, addAll, addAll, clear, contains, empty, forall, get, intersects, isEmpty, iterator, remove, remove, size, toArray, toArray, toString |
AllocAndContextSet
public AllocAndContextSet()
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
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
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
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