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

Class FlowGraph

java.lang.Object

com.ibm.wala.cast.js.callgraph.fieldbased.flowgraph.FlowGraph

All Implemented Interfaces:

Iterable<Vertex>

public class FlowGraph
extends Object
implements Iterable<Vertex>

A flow graph models data flow between vertices representing local variables, properties, return values, and so forth.

Author:

mschaefer

Constructor Summary

Constructors

Constructor and Description
FlowGraph()

Method Summary

Methods

Modifier and Type	Method and Description
void	addEdge(Vertex from, Vertex to) Adds an edge from vertex from to vertex to, adding the vertices to the graph if they are not in there yet.
com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<ObjectVertex>	getPointerAnalysis(com.ibm.wala.ipa.callgraph.CallGraph cg, com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
com.ibm.wala.util.intset.OrdinalSet<FuncVertex>	getReachingSet(Vertex dest, com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor) Computes the set of vertices that may reach dest along paths not containing an UnknownVertex.
Iterator<Vertex>	getSucc(Vertex v)
VertexFactory	getVertexFactory()
Iterator<Vertex>	iterator()

Methods inherited from class java.lang.Object

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

Constructor Detail

FlowGraph

public FlowGraph()

Method Detail

getVertexFactory

public VertexFactory getVertexFactory()

addEdge

public void addEdge(Vertex from,
           Vertex to)

Adds an edge from vertex from to vertex to, adding the vertices to the graph if they are not in there yet.

getReachingSet

public com.ibm.wala.util.intset.OrdinalSet<FuncVertex> getReachingSet(Vertex dest,
                                                             com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                                                               throws com.ibm.wala.util.CancelException

Computes the set of vertices that may reach dest along paths not containing an UnknownVertex.

Throws:

com.ibm.wala.util.CancelException

getSucc

public Iterator<Vertex> getSucc(Vertex v)

iterator

public Iterator<Vertex> iterator()

Specified by:

iterator in interface Iterable<Vertex>

getPointerAnalysis

public com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis<ObjectVertex> getPointerAnalysis(com.ibm.wala.ipa.callgraph.CallGraph cg,
                                                                                      com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache,
                                                                                      com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                                                                                        throws com.ibm.wala.util.CancelException

Throws:

com.ibm.wala.util.CancelException