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:

java.lang.Iterable<AllocAndContext>, java.util.Collection<AllocAndContext>, java.util.Set<AllocAndContext>, EqualsSupportingPointsToSet, PointsToSet

public final class AllocAndContextSet
extends ArraySet<AllocAndContext>
implements EqualsSupportingPointsToSet

Nested Class Summary

Nested classes/interfaces inherited from class soot.jimple.spark.ondemand.genericutil.ArraySet

ArraySet.ArraySetIterator

Constructor Summary

Constructors

Constructor and Description
AllocAndContextSet()

Method Summary

Modifier and Type	Method and Description
boolean	hasNonEmptyIntersection(PointsToSet other) Returns true if this set shares some objects with other.
boolean	pointsToSetEquals(java.lang.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.
java.util.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.
java.util.Set<java.lang.String>	possibleStringConstants() If this points-to set consists entirely of string constants, returns a set of these constant strings.
java.util.Set<Type>	possibleTypes() Set of all possible run-time types of objects in the set.

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

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

containsAll, retainAll

Methods inherited from class java.lang.Object

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

Methods inherited from interface soot.PointsToSet

isEmpty

Methods inherited from interface java.util.Set

containsAll, retainAll, spliterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

AllocAndContextSet

public AllocAndContextSet()

Method Detail

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 java.util.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 java.util.Set<java.lang.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 java.util.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(java.lang.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