Class NullPointerState
java.lang.Object
com.ibm.wala.util.graph.impl.NodeWithNumber
com.ibm.wala.fixpoint.AbstractVariable<NullPointerState>
com.ibm.wala.cfg.exc.intra.NullPointerState
- All Implemented Interfaces:
IVariable<NullPointerState>
,INodeWithNumber
States for the ssa variables.
- Author:
- Juergen Graf <graf@kit.edu>
-
Nested Class Summary
-
Method Summary
Methods inherited from class com.ibm.wala.fixpoint.AbstractVariable
getOrderNumber, hashCode, nextHash, setOrderNumber
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
-
copyState
Description copied from interface:IVariable
Set this variable to have the same state as another one -
equals
- Overrides:
equals
in classAbstractVariable<NullPointerState>
-
getState
-
toString
-