Package com.ibm.wala.ipa.callgraph.propagation

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

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 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>