Package 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	Description
FlowGraph()

Method Summary

Modifier and Type	Method	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.
PointerAnalysis<ObjectVertex>	getPointerAnalysis(CallGraph cg, IAnalysisCacheView cache, MonitorUtil.IProgressMonitor monitor)
OrdinalSet<FuncVertex>	getReachingSet(Vertex dest, 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()
String	toJSON()	Converts flow graph to a JSON representation.

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

FlowGraph

public FlowGraph()

Method Details

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 OrdinalSet<FuncVertex> getReachingSet(Vertex dest,
 MonitorUtil.IProgressMonitor monitor)
                                      throws CancelException

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

Throws:

CancelException

getSucc

public Iterator<Vertex> getSucc(Vertex v)

iterator

public Iterator<Vertex> iterator()

Specified by:

iterator in interface Iterable<Vertex>

getPointerAnalysis

public PointerAnalysis<ObjectVertex> getPointerAnalysis(CallGraph cg,
 IAnalysisCacheView cache,
 MonitorUtil.IProgressMonitor monitor)
                                                 throws CancelException

Throws:

CancelException

toJSON

public String toJSON()

Converts flow graph to a JSON representation. Keys of the JSON object are vertices, with each vertex mapped to its successors. Vertices are serialized using their Vertex.toSourceLevelString(IAnalysisCacheView) method to include information about source-level variables whenever possible.