Package com.ibm.wala.fixpoint
Class BooleanVariable
- java.lang.Object
-
- com.ibm.wala.util.graph.impl.NodeWithNumber
-
- com.ibm.wala.fixpoint.AbstractVariable<BooleanVariable>
-
- com.ibm.wala.fixpoint.BooleanVariable
-
- All Implemented Interfaces:
IVariable<BooleanVariable>
,INodeWithNumber
public class BooleanVariable extends AbstractVariable<BooleanVariable>
A boolean variable for dataflow analysis.
-
-
Constructor Summary
Constructors Constructor Description BooleanVariable()
BooleanVariable(boolean b)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
copyState(BooleanVariable other)
Set this variable to have the same state as another oneboolean
equals(java.lang.Object obj)
boolean
getValue()
void
or(BooleanVariable other)
boolean
sameValue(BooleanVariable other)
void
set(boolean b)
java.lang.String
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
-
-
-
-
Method Detail
-
copyState
public void copyState(BooleanVariable other)
Description copied from interface:IVariable
Set this variable to have the same state as another one
-
sameValue
public boolean sameValue(BooleanVariable other)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
getValue
public boolean getValue()
- Returns:
- the value of this variable
-
or
public void or(BooleanVariable other)
- Throws:
java.lang.IllegalArgumentException
- if other is null
-
set
public void set(boolean b)
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classAbstractVariable<BooleanVariable>
-
-