PointsToBitVector (Soot - a J*va Optimization Framework 4.6.0 API)

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 Description

PointsToBitVector(int size)

PointsToBitVector(PointsToBitVector other)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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()
```