public class ParameterState extends AbstractVariable<ParameterState>
Modifier and Type | Field and Description |
---|---|
static int |
NO_THIS_PTR |
Constructor and Description |
---|
ParameterState() |
ParameterState(NullPointerState state,
int[] parameterNumbers)
Constructor to make a
ParameteState out of a regular NullPointerState . |
Modifier and Type | Method and 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() |
equals, getOrderNumber, hashCode, nextHash, setOrderNumber
getGraphNodeId, setGraphNodeId
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getGraphNodeId, setGraphNodeId
public static final int NO_THIS_PTR
public ParameterState()
public ParameterState(NullPointerState state, int[] parameterNumbers)
ParameteState
out of a regular NullPointerState
.state
- The NullPointerState
to parse.parameterNumbers
- The numbers of parameters in state
public static ParameterState createDefault(IMethod m)
public void setState(int varNum, NullPointerState.State state)
public HashMap<Integer,NullPointerState.State> getStates()
public NullPointerState.State getState(int varNum)
varNum
- The SSA var num of the parametervarNum
public void copyState(ParameterState v)
IVariable