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

Constructor Summary

Constructors

Constructor and Description
PointsToBitVector(int size)
PointsToBitVector(PointsToBitVector other)

Method Summary

Modifier and Type	Method and Description
boolean	add(Node n) Adds n to this
boolean	contains(Node n)
void	decRefCount()
void	incRefCount()
boolean	isSubsetOf(PointsToBitVector other) Returns true iff other is a subset of this bitvector
boolean	unused()

Methods inherited from class soot.util.BitVector

and, and, andNot, cardinality, clear, clone, copyFrom, equals, get, hashCode, intersects, iterator, length, or, or, orAndAndNot, set, size, toString, xor

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

PointsToBitVector

public PointsToBitVector(int size)

PointsToBitVector

public PointsToBitVector(PointsToBitVector other)

Method Detail

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()