Class ParamVertex
java.lang.Object
com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices.Vertex
com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices.ParamVertex
A parameter vertex represents a positional parameter of a function. It doesn't necessarily need
to correspond to a named parameter.
Numbering of positional parameters is 1-based, with parameter 0 being the this
value.
A named parameter is an ordinary SSA variable, hence it is represented as a VarVertex
.
The flow graph builder sets up edges between parameter vertices and their corresponding variable
vertices for named parameters.
- Author:
- mschaefer
-
Method Summary
Modifier and TypeMethodDescription<T> T
accept
(VertexVisitor<T> visitor) getFunc()
int
getIndex()
If possible, returns a String representation ofthis
that refers to source-level entities rather thatn WALA-internal ones (e.g., source-level variable names rather than SSA value numbers).toString()
-
Method Details
-
getFunc
-
getIndex
public int getIndex() -
accept
-
toString
-
toSourceLevelString
Description copied from class:Vertex
If possible, returns a String representation ofthis
that refers to source-level entities rather thatn WALA-internal ones (e.g., source-level variable names rather than SSA value numbers). By default, just returns the results ofObject.toString()
- Overrides:
toSourceLevelString
in classVertex
-