Class BasicUnaryStatement<T extends IVariable<T>>

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.fixpoint.AbstractStatement<T, UnaryOperator<T>>

com.ibm.wala.fixpoint.UnaryStatement<T>

com.ibm.wala.fixpoint.BasicUnaryStatement<T>

All Implemented Interfaces:

IFixedPointStatement<T>, INodeWithNumber

public class BasicUnaryStatement<T extends IVariable<T>>
extends UnaryStatement<T>

An implementation of UnaryStatement that carries its operator explicitly

Field Summary

Fields inherited from class UnaryStatement

lhs, rhs

Modifier and Type	Field	Description
protected final T	lhs	The operands
protected final T	rhs

Method Summary

Modifier and Type	Method	Description
UnaryOperator<T>	getOperator()

Methods inherited from class UnaryStatement

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

Modifier and Type	Method	Description
boolean	equals(Object o)
byte	evaluate()	Evaluate this equation, setting a new value for the left-hand side.
T	getLHS()	Return the left-hand side of this equation.
IVariable<T>[]	getOperands()	Return the operands in this equation.
T[]	getRHS()	returns the list of free variables appearing in the right-hand side of the statement
T	getRightHandSide()
int	hashCode()	Subclasses must implement this, to prevent non-determinism.
boolean	hasVariable(T 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<T> getOperator()

Specified by:

getOperator in class AbstractStatement<T extends IVariable<T>, UnaryOperator<T extends IVariable<T>>>