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

public final class AssignEquation
extends UnaryStatement<PointsToSetVariable>

A specialized equation class introduced for efficiency.

Field Summary

Fields inherited from class UnaryStatement

lhs, rhs

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
UnaryOperator<PointsToSetVariable>	getOperator()

Methods inherited from class UnaryStatement

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

Methods inherited from class AbstractStatement

getOrderNumber

Methods inherited from class NodeWithNumber

getGraphNodeId, setGraphNodeId

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface INodeWithNumber

getGraphNodeId, setGraphNodeId

Method Details

getOperator

public UnaryOperator<PointsToSetVariable> getOperator()

Specified by:

getOperator in class AbstractStatement<PointsToSetVariable, UnaryOperator<PointsToSetVariable>>

equals

public boolean equals(Object o)

Overrides:

equals in class UnaryStatement<PointsToSetVariable>