Package com.ibm.wala.fixedpoint.impl
Class BasicNullaryStatement<T extends IVariable>
- 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> 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
All Methods Instance Methods Concrete Methods 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 Detail
-
BasicNullaryStatement
public BasicNullaryStatement(T lhs, NullaryOperator<T> operator)
-
-
Method Detail
-
getOperator
public NullaryOperator<T> getOperator()
- Specified by:
getOperator
in classAbstractStatement<T extends IVariable,NullaryOperator<T extends IVariable>>
- Returns:
- Returns the operator.
-
toString
public String toString()
Return a string representation of this object- Overrides:
toString
in classAbstractStatement<T extends IVariable,NullaryOperator<T extends IVariable>>
- Returns:
- a string representation of this object
-
-