public class NullPointerState extends AbstractVariable<NullPointerState>
Modifier and Type | Class and Description |
---|---|
static class |
NullPointerState.State |
Modifier and Type | Method and Description |
---|---|
void |
copyState(NullPointerState v)
Set this variable to have the same state as another one
|
boolean |
equals(Object obj) |
NullPointerState.State |
getState(int ssaVarNum) |
String |
toString() |
getOrderNumber, hashCode, nextHash, setOrderNumber
getGraphNodeId, setGraphNodeId
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getGraphNodeId, setGraphNodeId
public void copyState(NullPointerState v)
IVariable
public boolean equals(Object obj)
equals
in class AbstractVariable<NullPointerState>
public NullPointerState.State getState(int ssaVarNum)