soot.jimple.toolkits.pointer

Class FullObjectSet

java.lang.Object

soot.jimple.toolkits.pointer.Union

soot.jimple.toolkits.pointer.FullObjectSet

All Implemented Interfaces:

PointsToSet

public class FullObjectSet
extends Union

Constructor Summary

Constructors

Constructor and Description
FullObjectSet(Singletons.Global g)

Method Summary

Modifier and Type	Method and Description
boolean	addAll(PointsToSet s) Adds all objects in s into this union of sets, returning true if this union was changed.
int	depth()
boolean	hasNonEmptyIntersection(PointsToSet other) Returns true if this set is a subset of other.
boolean	isEmpty() Returns true if this set contains no run-time objects.
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.
Type	type()
static FullObjectSet	v()
static FullObjectSet	v(RefType t)

Methods inherited from class soot.jimple.toolkits.pointer.Union

hasNonEmptyIntersection

Methods inherited from class java.lang.Object

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

Constructor Detail

FullObjectSet

public FullObjectSet(Singletons.Global g)

Method Detail

v

public static FullObjectSet v()

v

public static FullObjectSet v(RefType t)

type

public Type type()

isEmpty

public boolean isEmpty()

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

hasNonEmptyIntersection

public boolean hasNonEmptyIntersection(PointsToSet other)

Returns true if this set is a subset of other.

possibleTypes

public java.util.Set<Type> possibleTypes()

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

addAll

public boolean addAll(PointsToSet s)

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

Specified by:

addAll in class Union

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

Overrides:

possibleStringConstants in class Union

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

Overrides:

possibleClassConstants in class Union

depth

public int depth()