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 AbstractVariable

getOrderNumber, hashCode, nextHash, setOrderNumber

Modifier and Type	Method	Description
int	getOrderNumber()	Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.
final int	hashCode()
static int	nextHash()	I know this is theoretically bad.
void	setOrderNumber(int orderNumber)	Variables must allow the solver implementation to get/set an order number, which the solver uses to control evaluation order.

Methods inherited from class NodeWithNumber

getGraphNodeId, setGraphNodeId

Modifier and Type	Method	Description
int	getGraphNodeId()	A non-negative integer which serves as an identifier for this node in it's "dominant" graph.
void	setGraphNodeId(int i)

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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