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 com.ibm.wala.fixedpoint.impl.NullaryStatement

lhs

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 com.ibm.wala.fixedpoint.impl.NullaryStatement

equals, evaluate, getLHS, getRHS, hashCode, hasVariable

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

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