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 Object

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

Author:

mschaefer

Constructor Summary

Constructors

Constructor and Description
VertexFactory()

Method Summary

Methods

Modifier and Type	Method and Description
Collection<CreationSiteVertex>	creationSites()
Iterable<ArgVertex>	getArgVertices()
Iterable<CallVertex>	getCallVertices()
Collection<FuncVertex>	getFuncVertices()
Iterable<PropVertex>	getPropVertices()
Iterable<RetVertex>	getRetVertices()
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(String definer, String name)
ParamVertex	makeParamVertex(FuncVertex func, int index)
PropVertex	makePropVertex(String name)
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)

getCallVertices

public Iterable<CallVertex> getCallVertices()

makeCreationSiteVertex

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

creationSites

public Collection<CreationSiteVertex> creationSites()

makeFuncVertex

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

getFuncVertices

public Collection<FuncVertex> getFuncVertices()

makeParamVertex

public ParamVertex makeParamVertex(FuncVertex func,
                          int index)

makePropVertex

public PropVertex makePropVertex(String name)

getPropVertices

public Iterable<PropVertex> getPropVertices()

makeRetVertex

public RetVertex makeRetVertex(FuncVertex func)

getRetVertices

public Iterable<RetVertex> getRetVertices()

makeArgVertex

public ArgVertex makeArgVertex(FuncVertex func)

getArgVertices

public Iterable<ArgVertex> getArgVertices()

makeUnknownVertex

public UnknownVertex makeUnknownVertex()

makeVarVertex

public VarVertex makeVarVertex(FuncVertex func,
                      int valueNumber)

getVarVertices

public Iterable<VarVertex> getVarVertices()

makeLexicalAccessVertex

public LexicalVarVertex makeLexicalAccessVertex(String definer,
                                       String name)

global

public GlobalVertex global()