Class CreationSiteVertex

java.lang.Object

com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices.Vertex

com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices.CreationSiteVertex

All Implemented Interfaces:

ObjectVertex, ContextItem, InstanceKey

public class CreationSiteVertex
extends Vertex
implements ObjectVertex

Nested Class Summary

Nested classes/interfaces inherited from interface ContextItem

ContextItem.Value<T>

Constructor Summary

Constructors

Constructor	Description
CreationSiteVertex(IMethod node, int instructionIndex, TypeReference createdType)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(VertexVisitor<T> visitor)
IClass	getConcreteType()	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.
IMethod	getMethod()

Methods inherited from class Vertex

toSourceLevelString

Methods inherited from class Object

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

Constructor Details

CreationSiteVertex

public CreationSiteVertex(IMethod node,
 int instructionIndex,
 TypeReference createdType)

Method Details

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

getMethod

public IMethod getMethod()

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

accept

public <T> T accept(VertexVisitor<T> visitor)

Specified by:

accept in class Vertex