soot.jimple.spark.sets
Class PointsToBitVector
java.lang.Object
soot.util.BitVector
soot.jimple.spark.sets.PointsToBitVector
public class PointsToBitVector
- extends BitVector
An extension of a bit vector which is convenient to use to represent
points-to sets. Used by SharedHybridSet.
We have to extend soot.util.BitVector rather than java.util.BitSet
because PointsToSetInternal.getBitMask() returns a soot.util.BitVector.
which must be combined with other bit vectors.
- Author:
- Adam Richard
Methods inherited from class soot.util.BitVector |
and, and, andNot, cardinality, clear, clone, copyFrom, equals, get, hashCode, iterator, length, or, or, orAndAndNot, set, size, toString, xor |
PointsToBitVector
public PointsToBitVector(int size)
PointsToBitVector
public PointsToBitVector(PointsToBitVector other)
add
public boolean add(Node n)
- Adds n to this
- Returns:
- Whether this actually changed
contains
public boolean contains(Node n)
isSubsetOf
public boolean isSubsetOf(PointsToBitVector other)
- Returns true iff other is a subset of this bitvector
incRefCount
public void incRefCount()
decRefCount
public void decRefCount()
unused
public boolean unused()