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