Package com.ibm.wala.fixpoint
Class BitVectorVariable
- All Implemented Interfaces:
IVariable<BitVectorVariable>,INodeWithNumber
A bit vector variable for dataflow analysis.
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidaddAll(BitVectorVariable other) Add all the bits from other to this bit vectorvoidAdd all the bits in B to this bit vectorvoidclear(int i) voidcopyState(BitVectorVariable other) Set this variable to have the same state as another onebooleanbooleanget(int b) Is a particular bit set?getValue()intbooleansameValue(BitVectorVariable other) Does this variable have the same value as another?voidset(int b) Set a particular bittoString()Methods inherited from class com.ibm.wala.fixpoint.AbstractVariable
getOrderNumber, hashCode, nextHash, setOrderNumberMethods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber
getGraphNodeId, setGraphNodeIdMethods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface com.ibm.wala.util.graph.INodeWithNumber
getGraphNodeId, setGraphNodeId
-
Constructor Details
-
BitVectorVariable
public BitVectorVariable()
-
-
Method Details
-
copyState
Description copied from interface:IVariableSet this variable to have the same state as another one -
addAll
Add all the bits in B to this bit vector -
addAll
Add all the bits from other to this bit vector -
sameValue
Does this variable have the same value as another? -
toString
-
set
public void set(int b) Set a particular bit- Parameters:
b- the bit to set
-
get
public boolean get(int b) Is a particular bit set?- Parameters:
b- the bit to check
-
getValue
- Returns:
- the value of this variable as a bit vector ... null if the bit vector is empty.
-
clear
public void clear(int i) -
equals
- Overrides:
equalsin classAbstractVariable<BitVectorVariable>
-
populationCount
public int populationCount()
-