Class BooleanVariable
- All Implemented Interfaces:
IVariable<BooleanVariable>
,INodeWithNumber
A boolean variable for dataflow analysis.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
copyState
(BooleanVariable other) Set this variable to have the same state as another oneboolean
boolean
getValue()
void
or
(BooleanVariable other) boolean
sameValue
(BooleanVariable other) void
set
(boolean b) toString()
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
-
BooleanVariable
public BooleanVariable() -
BooleanVariable
public BooleanVariable(boolean b) - Parameters:
b
- initial value for this variable
-
-
Method Details
-
copyState
Description copied from interface:IVariable
Set this variable to have the same state as another one -
sameValue
-
toString
-
getValue
public boolean getValue()- Returns:
- the value of this variable
-
or
- Throws:
IllegalArgumentException
- if other is null
-
set
public void set(boolean b) -
equals
- Overrides:
equals
in classAbstractVariable<BooleanVariable>
-