| Package | Description |
|---|---|
| soot.jimple.toolkits.annotation.purity | |
| soot.util.cfgcmd | |
| soot.util.dot |
Classes for creating graphs as input to Dot.
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
PurityInterproceduralAnalysis.fillDotGraph(String prefix,
PurityGraphBox o,
DotGraph out) |
protected void |
AbstractInterproceduralAnalysis.fillDotGraph(String prefix,
S o,
DotGraph out)
Called by drawAsOneDot to fill dot subgraph out with the contents of summary o.
|
| Modifier and Type | Method and Description |
|---|---|
<N> DotGraph |
CFGToDotGraph.drawCFG(DirectedGraph<N> graph,
Body body)
Create a
DotGraph whose nodes and edges depict a control flow graph without distinguished exceptional
edges. |
<N> DotGraph |
CFGToDotGraph.drawCFG(ExceptionalGraph<N> graph)
Create a
DotGraph whose nodes and edges depict the control flow in a ExceptionalGraph, with
distinguished edges for exceptional control flow. |
abstract DotGraph |
CFGGraphType.drawGraph(CFGToDotGraph drawer,
DirectedGraph g,
Body b)
Method that will draw a
DotGraph representation of the control flow in this type of graph. |
| Modifier and Type | Method and Description |
|---|---|
DotGraph |
DotGraph.createSubGraph(String label)
creates a sub graph.
|
Copyright © 2020 Soot OSS. All rights reserved.