Class ParameterState
- All Implemented Interfaces:
IVariable<ParameterState>
,INodeWithNumber
Encapsulates the state of all parameters of an invoked method
- Author:
- markus
-
Field Summary
-
Constructor Summary
ConstructorDescriptionParameterState
(NullPointerState state, int[] parameterNumbers) Constructor to make aParameteState
out of a regularNullPointerState
. -
Method Summary
Modifier and TypeMethodDescriptionvoid
Set this variable to have the same state as another onestatic ParameterState
getState
(int varNum) Returns the state of an specified parameter.void
setState
(int varNum, NullPointerState.State state) 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:
-
-
Constructor Details
-
ParameterState
public ParameterState() -
ParameterState
Constructor to make aParameteState
out of a regularNullPointerState
.- Parameters:
state
- TheNullPointerState
to parse.parameterNumbers
- The numbers of parameters instate
-
-
Method Details
-
createDefault
-
setState
-
getStates
-
getState
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
Description copied from interface:IVariable
Set this variable to have the same state as another one -
toString
-