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

Class VertexFactory

java.lang.Object

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

public class VertexFactory
extends java.lang.Object

A vertex factory is associated with a flow graph. It manages its vertex set, making sure that vertices aren't unnecessarily created twice.

Constructor Summary

Constructors

Constructor	Description
VertexFactory()

Method Summary

Modifier and Type	Method	Description
java.util.Collection<CreationSiteVertex>	creationSites()
java.lang.Iterable<ArgVertex>	getArgVertices()
java.lang.Iterable<CallVertex>	getCallVertices()
java.util.Collection<FuncVertex>	getFuncVertices()
java.lang.Iterable<PropVertex>	getPropVertices()
java.lang.Iterable<RetVertex>	getRetVertices()
java.lang.Iterable<VarVertex>	getVarVertices()
GlobalVertex	global()
ArgVertex	makeArgVertex(FuncVertex func)
CallVertex	makeCallVertex(FuncVertex func, JavaScriptInvoke invk)
CreationSiteVertex	makeCreationSiteVertex(com.ibm.wala.classLoader.IMethod method, int instruction, com.ibm.wala.types.TypeReference createdType)
FuncVertex	makeFuncVertex(com.ibm.wala.classLoader.IClass klass)
LexicalVarVertex	makeLexicalAccessVertex(java.lang.String definer, java.lang.String name)
ParamVertex	makeParamVertex(FuncVertex func, int index)
PropVertex	makePropVertex(java.lang.String name)
ReflectiveCallVertex	makeReflectiveCallVertex(FuncVertex func, JavaScriptInvoke invk)
RetVertex	makeRetVertex(FuncVertex func)
UnknownVertex	makeUnknownVertex()
VarVertex	makeVarVertex(FuncVertex func, int valueNumber)

Methods inherited from class java.lang.Object

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

Constructor Detail

VertexFactory

public VertexFactory()

Method Detail

makeCallVertex

public CallVertex makeCallVertex(FuncVertex func,
                                 JavaScriptInvoke invk)

makeReflectiveCallVertex

public ReflectiveCallVertex makeReflectiveCallVertex(FuncVertex func,
                                                     JavaScriptInvoke invk)

getCallVertices

public java.lang.Iterable<CallVertex> getCallVertices()

makeCreationSiteVertex

public CreationSiteVertex makeCreationSiteVertex(com.ibm.wala.classLoader.IMethod method,
                                                 int instruction,
                                                 com.ibm.wala.types.TypeReference createdType)

creationSites

public java.util.Collection<CreationSiteVertex> creationSites()

makeFuncVertex

public FuncVertex makeFuncVertex(com.ibm.wala.classLoader.IClass klass)

getFuncVertices

public java.util.Collection<FuncVertex> getFuncVertices()

makeParamVertex

public ParamVertex makeParamVertex(FuncVertex func,
                                   int index)

makePropVertex

public PropVertex makePropVertex(java.lang.String name)

getPropVertices

public java.lang.Iterable<PropVertex> getPropVertices()

makeRetVertex

public RetVertex makeRetVertex(FuncVertex func)

getRetVertices

public java.lang.Iterable<RetVertex> getRetVertices()

makeArgVertex

public ArgVertex makeArgVertex(FuncVertex func)

getArgVertices

public java.lang.Iterable<ArgVertex> getArgVertices()

makeUnknownVertex

public UnknownVertex makeUnknownVertex()

makeVarVertex

public VarVertex makeVarVertex(FuncVertex func,
                               int valueNumber)

getVarVertices

public java.lang.Iterable<VarVertex> getVarVertices()

makeLexicalAccessVertex

public LexicalVarVertex makeLexicalAccessVertex(java.lang.String definer,
                                                java.lang.String name)

global

public GlobalVertex global()