soot.jimple.toolkits.pointer
Class FullObjectSet

java.lang.Object
  |
  +--soot.jimple.toolkits.pointer.Union
        |
        +--soot.jimple.toolkits.pointer.FullObjectSet

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.
 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 possibleClassConstants()
          If this points-to set consists entirely of objects of type java.lang.Class of a known class, returns a set of strings that are the names of these classes.
 java.util.Set possibleStringConstants()
          If this points-to set consists entirely of string constants, returns a set of these constant strings.
 java.util.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 java.util.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.
Overrides:
addAll in class Union

possibleStringConstants

public java.util.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.
Overrides:
possibleStringConstants in class Union

possibleClassConstants

public java.util.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 strings that are the names of these classes. If this point-to set may contain something else, returns null.
Overrides:
possibleClassConstants in class Union