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