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

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      <T> T accept​(VertexVisitor<T> visitor)  
      FuncVertex getFunc()  
      int getIndex()  
      java.lang.String toSourceLevelString​(com.ibm.wala.ipa.callgraph.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).
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Method Detail

      • getIndex

        public int getIndex()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • toSourceLevelString

        public java.lang.String toSourceLevelString​(com.ibm.wala.ipa.callgraph.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