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, setOrderNumbergetGraphNodeId, setGraphNodeIdclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetGraphNodeId, setGraphNodeIdpublic void copyState(NullPointerState v)
IVariablepublic boolean equals(Object obj)
equals in class AbstractVariable<NullPointerState>public NullPointerState.State getState(int ssaVarNum)