Class BitVectorVariable
- All Implemented Interfaces:
IVariable<BitVectorVariable>
,INodeWithNumber
A bit vector variable for dataflow analysis.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
addAll
(BitVectorVariable other) Add all the bits from other to this bit vectorvoid
Add all the bits in B to this bit vectorvoid
clear
(int i) void
copyState
(@Nullable BitVectorVariable other) Set this variable to have the same state as another oneboolean
boolean
get
(int b) Is a particular bit set?@Nullable IntSet
getValue()
int
boolean
sameValue
(BitVectorVariable other) Does this variable have the same value as another?void
set
(int b) Set a particular bittoString()
Methods inherited from class com.ibm.wala.fixpoint.AbstractVariable
getOrderNumber, hashCode, nextHash, setOrderNumber
Methods inherited from class com.ibm.wala.util.graph.impl.NodeWithNumber
getGraphNodeId, setGraphNodeId
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface com.ibm.wala.util.graph.INodeWithNumber
getGraphNodeId, setGraphNodeId
-
Constructor Details
-
BitVectorVariable
public BitVectorVariable()
-
-
Method Details
-
copyState
Description copied from interface:IVariable
Set this variable to have the same state as another one- See Also:
-
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:
equals
in classAbstractVariable<BitVectorVariable>
-
populationCount
public int populationCount()
-