Class AssignEquation
java.lang.Object
com.ibm.wala.util.graph.impl.NodeWithNumber
com.ibm.wala.fixpoint.AbstractStatement<PointsToSetVariable,UnaryOperator<PointsToSetVariable>>
com.ibm.wala.fixpoint.UnaryStatement<PointsToSetVariable>
com.ibm.wala.ipa.callgraph.propagation.AssignEquation
- All Implemented Interfaces:
IFixedPointStatement<PointsToSetVariable>
,INodeWithNumber
A specialized equation class introduced for efficiency.
-
Field Summary
Fields inherited from class com.ibm.wala.fixpoint.UnaryStatement
lhs, rhs
-
Method Summary
Modifier and TypeMethodDescriptionboolean
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 Details
-
getOperator
- Specified by:
getOperator
in classAbstractStatement<PointsToSetVariable,
UnaryOperator<PointsToSetVariable>>
-
equals
- Overrides:
equals
in classUnaryStatement<PointsToSetVariable>
-