ParameterState (API Reference for wala 1.3.9)

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

Field Summary

Fields
Modifier and Type Field Description

static 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

All Methods Static Methods Instance Methods Concrete Methods
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 Detail
  - NO_THIS_PTR
```
public static final int NO_THIS_PTR
```
    See Also:
    
    Constant Field Values
- Constructor Detail
  - 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 Detail
  - 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