Package com.ibm.wala.cfg.exc.intra

Class ParameterState

java.lang.Object

com.ibm.wala.util.graph.impl.NodeWithNumber

com.ibm.wala.fixpoint.AbstractVariable<ParameterState>

com.ibm.wala.cfg.exc.intra.ParameterState

All Implemented Interfaces:

IVariable<ParameterState>, INodeWithNumber

public class ParameterState
extends AbstractVariable<ParameterState>

Encapsulates the state of all parameters of an invoked method

Author:

markus

Field Summary

Fields

Modifier and Type	Field	Description
static final int	NO_THIS_PTR

Constructor Summary

Constructors

Constructor	Description
ParameterState()
ParameterState(NullPointerState state, int[] parameterNumbers)	Constructor to make a ParameteState out of a regular NullPointerState.

Method Summary

Modifier and Type	Method	Description
void	copyState(ParameterState v)	Set this variable to have the same state as another one
static ParameterState	createDefault(IMethod m)
NullPointerState.State	getState(int varNum)	Returns the state of an specified parameter.
HashMap<Integer,NullPointerState.State>	getStates()
void	setState(int varNum, NullPointerState.State state)
String	toString()

Methods inherited from class com.ibm.wala.fixpoint.AbstractVariable

equals, 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

Field Details

NO_THIS_PTR

public static final int NO_THIS_PTR

See Also:

• Constant Field Values

Constructor Details

ParameterState

public ParameterState()

ParameterState

public ParameterState(NullPointerState state,
 int[] parameterNumbers)

Constructor to make a ParameteState out of a regular NullPointerState.

Parameters:

state - The NullPointerState to parse.

parameterNumbers - The numbers of parameters in state

Method Details

createDefault

public static ParameterState createDefault(IMethod m)

setState

public void setState(int varNum,
 NullPointerState.State state)

getStates

public HashMap<Integer,NullPointerState.State> getStates()

getState

public NullPointerState.State getState(int varNum)

Returns the state of an specified parameter.

Parameters:

varNum - The SSA var num of the parameter

Returns:

the state of the parameter defined with varNum

copyState

public void copyState(ParameterState v)

Description copied from interface: IVariable

Set this variable to have the same state as another one

toString

public String toString()

Overrides:

toString in class Object