com.ibm.wala.ipa.callgraph.propagation
Class AssignEquation

java.lang.Object
  com.ibm.wala.util.graph.impl.NodeWithNumber
      com.ibm.wala.fixedpoint.impl.AbstractStatement
          com.ibm.wala.fixedpoint.impl.UnaryStatement
              com.ibm.wala.ipa.callgraph.propagation.AssignEquation

All Implemented Interfaces:

IFixedPointStatement, VerboseAction, INodeWithNumber

public final class AssignEquation
extends UnaryStatement
implements VerboseAction

A apecialized equation class introduced for efficiency

Field Summary

Fields inherited from class com.ibm.wala.fixedpoint.impl.UnaryStatement

lhs, rhs

Method Summary

boolean	equals(java.lang.Object o)
AbstractOperator	getOperator() Return the operator for this equation
void	performVerboseAction() optional method used for performance debugging

Methods inherited from class com.ibm.wala.fixedpoint.impl.UnaryStatement

evaluate, getLHS, getOperands, getRHS, getRightHandSide, hashCode, hasVariable, toString

Methods inherited from class com.ibm.wala.fixedpoint.impl.AbstractStatement

getOrderNumber

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

Method Detail

getOperator

public AbstractOperator getOperator()

Description copied from class: AbstractStatement

Return the operator for this equation

Specified by:

getOperator in class AbstractStatement

Returns:

the operator for this equation

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class UnaryStatement

performVerboseAction

public void performVerboseAction()

Description copied from interface: VerboseAction

optional method used for performance debugging

Specified by:

performVerboseAction in interface VerboseAction