Class AbstractFixedPointSolver.Statement

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.fixpoint.AbstractStatement<T, AbstractOperator<T>>

com.ibm.wala.fixedpoint.impl.GeneralStatement<T>

com.ibm.wala.fixedpoint.impl.AbstractFixedPointSolver.Statement

All Implemented Interfaces:

IFixedPointStatement<T>, INodeWithNumber

Enclosing class:

AbstractFixedPointSolver<T extends IVariable<T>>

protected class AbstractFixedPointSolver.Statement
extends GeneralStatement<T>

Field Summary

Fields inherited from class GeneralStatement

lhs, rhs

Modifier and Type	Field	Description
protected final T	lhs
protected final T[]	rhs

Constructor Summary

Constructors

Constructor	Description
Statement(T lhs, AbstractOperator<T> operator)
Statement(T lhs, AbstractOperator<T> operator, T[] rhs)
Statement(T lhs, AbstractOperator<T> operator, T op1, T op2)
Statement(T lhs, AbstractOperator<T> operator, T op1, T op2, T op3)

Method Summary

Modifier and Type	Method	Description
protected T[]	makeRHS(int size)

Methods inherited from class GeneralStatement

equals, evaluate, getLHS, getOperator, getRHS, hashCode, hasVariable

Modifier and Type	Method	Description
boolean	equals(Object o)
byte	evaluate()	Evaluate this equation, setting a new value for the left-hand side.
T	getLHS()	Return the left-hand side of this equation.
AbstractOperator<T>	getOperator()
T[]	getRHS()	returns the list of free variables appearing in the right-hand side of the statement
int	hashCode()	Subclasses must implement this, to prevent non-determinism.
boolean	hasVariable(T cell)	Does this equation contain an appearance of a given cell?

Methods inherited from class AbstractStatement

getOrderNumber, toString

Modifier and Type	Method	Description
final int	getOrderNumber()
String	toString()

Methods inherited from class NodeWithNumber

getGraphNodeId, setGraphNodeId

Modifier and Type	Method	Description
int	getGraphNodeId()	A non-negative integer which serves as an identifier for this node in it's "dominant" graph.
void	setGraphNodeId(int i)

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Statement

public Statement(T lhs,
 AbstractOperator<T> operator,
 T op1,
 T op2,
 T op3)

Statement

public Statement(T lhs,
 AbstractOperator<T> operator,
 T op1,
 T op2)

Statement

public Statement(T lhs,
 AbstractOperator<T> operator,
 T[] rhs)

Statement

public Statement(T lhs,
 AbstractOperator<T> operator)

Method Details

makeRHS

protected T[] makeRHS(int size)

Specified by:

makeRHS in class GeneralStatement<T extends IVariable<T>>