Package com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices

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

public class ParamVertex
extends Vertex

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 Type	Method	Description
<T> T	accept(VertexVisitor<T> visitor)
FuncVertex	getFunc()
int	getIndex()
String	toSourceLevelString(IAnalysisCacheView cache)	If possible, returns a String representation of this that refers to source-level entities rather thatn WALA-internal ones (e.g., source-level variable names rather than SSA value numbers).
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Details

getFunc

public FuncVertex getFunc()

getIndex

public int getIndex()

accept

public <T> T accept(VertexVisitor<T> visitor)

Specified by:

accept in class Vertex

toString

public String toString()

Overrides:

toString in class Object

toSourceLevelString

public String toSourceLevelString(IAnalysisCacheView cache)

Description copied from class: Vertex

If possible, returns a String representation of this 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 of Object.toString()

Overrides:

toSourceLevelString in class Vertex