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
-
-
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 aParameteState
out of a regularNullPointerState
.
-
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 onestatic 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 aParameteState
out of a regularNullPointerState
.- Parameters:
state
- TheNullPointerState
to parse.parameterNumbers
- The numbers of parameters instate
-
-
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
-
-