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.

Author:

Juergen Graf <graf@kit.edu>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	NullPointerState.State

Method Summary

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 Details

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