ParameterState (com.ibm.wala.core 1.5.6 API)

java.lang.Object
- com.ibm.wala.util.graph.impl.NodeWithNumber
- - com.ibm.wala.fixpoint.AbstractVariable<ParameterState>
  - - com.ibm.wala.cfg.exc.intra.ParameterState

Fields
Modifier and Type	Field and Description
`static int`	`NO_THIS_PTR`

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

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`copyState(ParameterState v)`
`static ParameterState`	`createDefault(IMethod m)`
`NullPointerState.State`	`getState(int varNum)` Returns the state of an specified parameter.
`java.util.HashMap<java.lang.Integer,NullPointerState.State>`	`getStates()`
`void`	`setState(int varNum, NullPointerState.State state)`
`java.lang.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

public static ParameterState createDefault(IMethod m)

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

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

public void copyState(ParameterState v)

Class ParameterState