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

Nested Class Summary

Nested classes/interfaces inherited from interface ContextItem

ContextItem.Value<T>

Modifier and Type	Interface	Description
static class	ContextItem.Value<T>

Field Summary

Fields

Modifier and Type	Field	Description
protected final IClass	klass

Method Summary

Modifier and Type	Method	Description
<T> T	accept(VertexVisitor<T> visitor)
IClass	concreteType()	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;)
Iterator<Pair<CGNode, NewSiteReference>>	getCreationSites(CallGraph CG)	Get the creation sites of this, i.e., the statements that may allocate objects represented by this.
String	getFullName()
String	toSourceLevelString(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).
String	toString()

Methods inherited from class Object

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

Methods inherited from interface InstanceKey

getConcreteType

Modifier and Type	Method	Description
default IClass	getConcreteType()	Deprecated, for removal: This API element is subject to removal in a future version. Use InstanceKey.concreteType() instead

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

concreteType

public IClass concreteType()

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:

concreteType 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