Package com.ibm.wala.fixpoint
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 com.ibm.wala.fixpoint.UnaryStatement
lhs, rhs
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description UnaryOperator<T>
getOperator()
-
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 Detail
-
getOperator
public UnaryOperator<T> getOperator()
- Specified by:
getOperator
in classAbstractStatement<T extends IVariable<T>,UnaryOperator<T extends IVariable<T>>>
-
-