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

Modifier and Type	Method	Description
void	copyState(BooleanVariable other)	Set this variable to have the same state as another one
boolean	equals(Object obj)
boolean	getValue()
void	or(BooleanVariable other)
boolean	sameValue(BooleanVariable other)
void	set(boolean b)
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

Constructor Details

BooleanVariable

public BooleanVariable()

BooleanVariable

public BooleanVariable(boolean b)

Parameters:

b - initial value for this variable

Method Details

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 String toString()

Overrides:

toString in class Object

getValue

public boolean getValue()

Returns:

the value of this variable

or

public void or(BooleanVariable other)

Throws:

IllegalArgumentException - if other is null

set

public void set(boolean b)

equals

public boolean equals(Object obj)

Overrides:

equals in class AbstractVariable<BooleanVariable>