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 com.ibm.wala.fixedpoint.impl.GeneralStatement

lhs, 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 com.ibm.wala.fixedpoint.impl.GeneralStatement

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

Methods inherited from class com.ibm.wala.fixpoint.AbstractStatement

getOrderNumber, toString

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

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>>