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
An implementation of UnaryStatement that carries its operator explicitly
-
Field Summary
Fields inherited from class com.ibm.wala.fixpoint.UnaryStatement
lhs, rhs
-
Method Summary
Methods inherited from class com.ibm.wala.fixpoint.UnaryStatement
equals, evaluate, getLHS, getOperands, getRHS, getRightHandSide, hashCode, hasVariable, toString
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
-
Method Details
-
getOperator
- Specified by:
getOperator
in classAbstractStatement<T extends IVariable<T>,
UnaryOperator<T extends IVariable<T>>>
-