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:

com.ibm.wala.fixpoint.IVariable<NullPointerState>, com.ibm.wala.util.graph.INodeWithNumber

public class NullPointerState
extends com.ibm.wala.fixpoint.AbstractVariable<NullPointerState>

States for the ssa variables.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	NullPointerState.State

Method Summary

Modifier and Type	Method and Description
void	copyState(NullPointerState v)
boolean	equals(java.lang.Object obj)
NullPointerState.State	getState(int ssaVarNum)
java.lang.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)

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class com.ibm.wala.fixpoint.AbstractVariable<NullPointerState>

getState

public NullPointerState.State getState(int ssaVarNum)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object