Package com.ibm.wala.cfg.exc.intra
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
public class NullPointerState extends AbstractVariable<NullPointerState>
States for the ssa variables.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
NullPointerState.State
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
copyState(NullPointerState v)
Set this variable to have the same state as another oneboolean
equals(Object obj)
NullPointerState.State
getState(int ssaVarNum)
String
toString()
-
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 Detail
-
copyState
public void copyState(NullPointerState v)
Description copied from interface:IVariable
Set this variable to have the same state as another one
-
equals
public boolean equals(Object obj)
- Overrides:
equals
in classAbstractVariable<NullPointerState>
-
getState
public NullPointerState.State getState(int ssaVarNum)
-
-