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

Modifier and Type	Field	Description
protected final PointsToSetVariable	lhs	The operands
protected final PointsToSetVariable	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

Modifier and Type	Method	Description
byte	evaluate()	Evaluate this equation, setting a new value for the left-hand side.
PointsToSetVariable	getLHS()	Return the left-hand side of this equation.
IVariable<PointsToSetVariable>[]	getOperands()	Return the operands in this equation.
PointsToSetVariable[]	getRHS()	returns the list of free variables appearing in the right-hand side of the statement
PointsToSetVariable	getRightHandSide()
int	hashCode()	Subclasses must implement this, to prevent non-determinism.
boolean	hasVariable(PointsToSetVariable cell)	Does this equation contain an appearance of a given cell?
String	toString()	Return a string representation of this object

Methods inherited from class AbstractStatement

getOrderNumber

Modifier and Type	Method	Description
final int	getOrderNumber()

Methods inherited from class NodeWithNumber

getGraphNodeId, setGraphNodeId

Modifier and Type	Method	Description
int	getGraphNodeId()	A non-negative integer which serves as an identifier for this node in it's "dominant" graph.
void	setGraphNodeId(int i)

Methods inherited from class Object

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

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>