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

FullObjectSet(Singletons.Global g)

Method Summary

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.
Set	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	possibleStringConstants() If this points-to set consists entirely of string constants, returns a set of these constant strings.
Set	possibleTypes() Set of all possible run-time types of objects in the set.
AnySubType	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 AnySubType 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 Set 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 Set 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 Set 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()