Class RetVertex

  • All Implemented Interfaces:
    com.ibm.wala.ipa.callgraph.propagation.PointerKey

    public class RetVertex
    extends Vertex
    implements com.ibm.wala.ipa.callgraph.propagation.PointerKey
    A return vertex represents all return values of a given function.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      <T> T accept​(VertexVisitor<T> visitor)  
      FuncVertex getFunc()  
      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

      • 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