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

Class GlobalVertex

java.lang.Object

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

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

All Implemented Interfaces:

ObjectVertex, ContextItem, InstanceKey

public class GlobalVertex
extends Vertex
implements ObjectVertex

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.ipa.callgraph.ContextItem

ContextItem.Value<T>

Field Summary

Fields

Modifier and Type	Field	Description
static final GlobalVertex	global

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.
static GlobalVertex	instance()

Methods inherited from class com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.vertices.Vertex

toSourceLevelString

Methods inherited from class java.lang.Object

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

Field Details

global

public static final GlobalVertex global

Method Details

instance

public static GlobalVertex instance()

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

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