com.ibm.wala.fixedpoint.impl

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

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 Detail

makeRHS

protected T[] makeRHS(int size)

Specified by:

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