com.ibm.wala.ipa.callgraph.propagation

Class AssignEquation

java.lang.Object

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

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

com.ibm.wala.fixpoint.UnaryStatement<PointsToSetVariable>

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

All Implemented Interfaces:

com.ibm.wala.fixpoint.IFixedPointStatement<PointsToSetVariable>, com.ibm.wala.util.graph.INodeWithNumber

public final class AssignEquation
extends com.ibm.wala.fixpoint.UnaryStatement<PointsToSetVariable>

A specialized equation class introduced for efficiency.

Field Summary

Fields inherited from class com.ibm.wala.fixpoint.UnaryStatement

lhs, rhs

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>	getOperator()

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

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

Methods inherited from class com.ibm.wala.fixpoint.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 com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable> getOperator()

Specified by:

getOperator in class com.ibm.wala.fixpoint.AbstractStatement<PointsToSetVariable,com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>>

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class com.ibm.wala.fixpoint.UnaryStatement<PointsToSetVariable>