soot.jimple.toolkits.pointer
Class Union

java.lang.Object
  soot.jimple.toolkits.pointer.Union

All Implemented Interfaces:

PointsToSet

Direct Known Subclasses:

FullObjectSet, MemoryEfficientRasUnion

public abstract class Union
extends Object
implements PointsToSet

A generic interface to some set of runtime objects computed by a pointer analysis.

Constructor Summary

Union()

Method Summary

abstract boolean	addAll(PointsToSet s) Adds all objects in s into this union of sets, returning true if this union was changed.
static boolean	hasNonEmptyIntersection(PointsToSet s1, PointsToSet s2)
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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface soot.PointsToSet

hasNonEmptyIntersection, isEmpty, possibleTypes

Constructor Detail

Union

public Union()

Method Detail

addAll

public abstract boolean addAll(PointsToSet s)

Adds all objects in s into this union of sets, returning true if this union was changed.

hasNonEmptyIntersection

public static boolean hasNonEmptyIntersection(PointsToSet s1,
                                              PointsToSet s2)

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

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