NullPointerState (API Reference for wala 1.3.9)

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 one
`boolean`	`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 class AbstractVariable<NullPointerState>
  - getState
```
public NullPointerState.State getState(int ssaVarNum)
```
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object