soot.jimple.spark.sets
Class EmptyPointsToSet

java.lang.Object
  |
  +--soot.jimple.spark.sets.PointsToSetInternal
        |
        +--soot.jimple.spark.sets.EmptyPointsToSet

public class EmptyPointsToSet
extends PointsToSetInternal

Implementation of an empty, immutable points-to set.


Fields inherited from class soot.jimple.spark.sets.PointsToSetInternal
type
 
Constructor Summary
EmptyPointsToSet(Singletons.Global g)
           
 
Method Summary
 boolean add(Node n)
          Adds n to this set, returns true if n was not already in this set.
 boolean addAll(PointsToSetInternal other, PointsToSetInternal exclude)
          Adds contents of other into this set, returns true if this set changed.
 boolean contains(Node n)
          Returns true iff the set contains n.
 boolean forall(P2SetVisitor v)
          Calls v's visit method on all nodes in this set.
 boolean hasNonEmptyIntersection(PointsToSet other)
          Returns true if this set shares some objects with 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.
static EmptyPointsToSet v()
           
 
Methods inherited from class soot.jimple.spark.sets.PointsToSetInternal
flushNew, getNewSet, getOldSet, getType, mergeWith, setType, size, toString, unFlushNew
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

EmptyPointsToSet

public EmptyPointsToSet(Singletons.Global g)
Method Detail

v

public static EmptyPointsToSet v()

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 shares some objects with other.
Overrides:
hasNonEmptyIntersection in class PointsToSetInternal

possibleTypes

public java.util.Set possibleTypes()
Set of all possible run-time types of objects in the set.
Overrides:
possibleTypes in class PointsToSetInternal

addAll

public boolean addAll(PointsToSetInternal other,
                      PointsToSetInternal exclude)
Adds contents of other into this set, returns true if this set changed.
Overrides:
addAll in class PointsToSetInternal

forall

public boolean forall(P2SetVisitor v)
Calls v's visit method on all nodes in this set.
Overrides:
forall in class PointsToSetInternal

add

public boolean add(Node n)
Adds n to this set, returns true if n was not already in this set.
Overrides:
add in class PointsToSetInternal

contains

public boolean contains(Node n)
Returns true iff the set contains n.
Overrides:
contains in class PointsToSetInternal

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 PointsToSetInternal

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 PointsToSetInternal