Class BasicNullaryStatement<T extends IVariable<T>>

java.lang.Object

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

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

com.ibm.wala.fixedpoint.impl.NullaryStatement<T>

com.ibm.wala.fixedpoint.impl.BasicNullaryStatement<T>

All Implemented Interfaces:

IFixedPointStatement<T>, INodeWithNumber

public class BasicNullaryStatement<T extends IVariable<T>>
extends NullaryStatement<T>

An implementation of NullaryStep that carries its operator explicitly

Field Summary

Fields inherited from class NullaryStatement

lhs

Modifier and Type	Field	Description
protected final T	lhs	The operands

Constructor Summary

Constructors

Constructor	Description
BasicNullaryStatement(T lhs, NullaryOperator<T> operator)

Method Summary

Modifier and Type	Method	Description
NullaryOperator<T>	getOperator()
String	toString()	Return a string representation of this object

Methods inherited from class NullaryStatement

equals, evaluate, getLHS, getRHS, hashCode, hasVariable

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.
T[]	getRHS()	returns the list of free variables appearing in the right-hand side of the statement
int	hashCode()	Subclasses must implement this, to prevent non-determinism.
boolean	hasVariable(T cell)	Does this equation contain an appearance of a given cell?

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

Constructor Details

BasicNullaryStatement

public BasicNullaryStatement(T lhs,
 NullaryOperator<T> operator)

Method Details

getOperator

public NullaryOperator<T> getOperator()

Specified by:

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

Returns:

Returns the operator.

toString

public String toString()

Return a string representation of this object

Overrides:

toString in class AbstractStatement<T extends IVariable<T>, NullaryOperator<T extends IVariable<T>>>

Returns:

a string representation of this object