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 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