| 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 |
AbstractInterproceduralAnalysis.fillDotGraph(java.lang.String prefix,
java.lang.Object o,
DotGraph out)
Called by drawAsOneDot to fill dot subgraph out with the contents
of summary o.
|
protected void |
PurityInterproceduralAnalysis.fillDotGraph(java.lang.String prefix,
java.lang.Object o,
DotGraph out) |
protected void |
PurityInterproceduralAnalysis.fillDotGraph(java.lang.String prefix,
java.lang.Object o,
DotGraph out) |
protected void |
AbstractInterproceduralAnalysis.fillDotGraph(java.lang.String prefix,
java.lang.Object 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(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. |
<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. |
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(java.lang.String label)
creates a sub graph.
|
DotGraph |
DotGraph.createSubGraph(java.lang.String label)
creates a sub graph.
|