soot.jimple.spark.sets
Class BitPointsToSet

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

public final class BitPointsToSet
extends PointsToSetInternal

Implementation of points-to set using a bit vector.


Fields inherited from class soot.jimple.spark.sets.PointsToSetInternal
type
 
Constructor Summary
BitPointsToSet(Type type, PAG pag)
           
 
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.
static P2SetFactory getFactory()
           
 boolean isEmpty()
          Returns true if this set contains no run-time objects.
 
Methods inherited from class soot.jimple.spark.sets.PointsToSetInternal
flushNew, getNewSet, getOldSet, getType, hasNonEmptyIntersection, mergeWith, possibleClassConstants, possibleStringConstants, possibleTypes, setType, size, toString, unFlushNew
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

BitPointsToSet

public BitPointsToSet(Type type,
                      PAG pag)
Method Detail

isEmpty

public final boolean isEmpty()
Returns true if this set contains no run-time objects.

addAll

public final 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 final boolean forall(P2SetVisitor v)
Calls v's visit method on all nodes in this set.
Overrides:
forall in class PointsToSetInternal

add

public final 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 final boolean contains(Node n)
Returns true iff the set contains n.
Overrides:
contains in class PointsToSetInternal

getFactory

public static P2SetFactory getFactory()