BooleanVariable (com.ibm.wala.util 1.5.2 API)

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>