Class FuncVertex

java.lang.Object
com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices.Vertex
com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices.FuncVertex
All Implemented Interfaces:
ObjectVertex, ContextItem, InstanceKey

public class FuncVertex extends Vertex implements ObjectVertex
A function vertex represents a function object (or, more precisely, all function objects arising from a single function expression or declaration).
Author:
mschaefer
  • Field Details

    • klass

      protected final IClass klass
  • Method Details

    • getFullName

      public String getFullName()
    • accept

      public <T> T accept(VertexVisitor<T> visitor)
      Specified by:
      accept in class Vertex
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • getCreationSites

      public Iterator<Pair<CGNode,NewSiteReference>> getCreationSites(CallGraph CG)
      Description copied from interface: InstanceKey
      Get the creation sites of this, i.e., the statements that may allocate objects represented by this. A creation site is a pair (n,s), where n is the containing CGNode in the given CallGraph CG and s is the allocating NewSiteReference.
      Specified by:
      getCreationSites in interface InstanceKey
    • getConcreteType

      public IClass getConcreteType()
      Description copied from interface: InstanceKey
      For now, we assert that each InstanceKey represents a set of classes which are all of the same concrete type (modulo the fact that all arrays of references are considered concrete type []Object;)
      Specified by:
      getConcreteType in interface InstanceKey
    • 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