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

Methods

Modifier and Type	Method and Description
<T> T	accept(VertexVisitor<T> visitor)
FuncVertex	getFunc()
int	getIndex()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

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