|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object soot.util.cfgcmd.CFGOptionMatcher.CFGOption soot.util.cfgcmd.CFGGraphType
public abstract class CFGGraphType
An enumeration type for representing the varieties of control flow graph available, for use in tools that compare or display CFGs.
Field Summary | |
---|---|
static CFGGraphType |
ALT_ARRAY_REF_BLOCK_GRAPH
|
static CFGGraphType |
ALT_BRIEF_BLOCK_GRAPH
|
static CFGGraphType |
ALT_BRIEF_UNIT_GRAPH
|
static CFGGraphType |
ALT_COMPLETE_BLOCK_GRAPH
|
static CFGGraphType |
ALT_COMPLETE_UNIT_GRAPH
|
static CFGGraphType |
ALT_TRAP_UNIT_GRAPH
|
static CFGGraphType |
ALT_ZONED_BLOCK_GRAPH
|
static CFGGraphType |
ARRAY_REF_BLOCK_GRAPH
|
static CFGGraphType |
BRIEF_BLOCK_GRAPH
|
static CFGGraphType |
BRIEF_UNIT_GRAPH
|
static CFGGraphType |
CLASSIC_COMPLETE_BLOCK_GRAPH
|
static CFGGraphType |
CLASSIC_COMPLETE_UNIT_GRAPH
|
static CFGGraphType |
COMPLETE_BLOCK_GRAPH
|
static CFGGraphType |
COMPLETE_UNIT_GRAPH
|
static CFGGraphType |
EXCEPTIONAL_BLOCK_GRAPH
|
static CFGGraphType |
EXCEPTIONAL_UNIT_GRAPH
|
static CFGGraphType |
TRAP_UNIT_GRAPH
|
static CFGGraphType |
ZONED_BLOCK_GRAPH
|
Method Summary | |
---|---|
abstract DirectedGraph |
buildGraph(Body b)
Method that will build a graph of this type. |
abstract DotGraph |
drawGraph(CFGToDotGraph drawer,
DirectedGraph g,
Body b)
Method that will draw a DotGraph representation of the
control flow in this type of graph. |
static CFGGraphType |
getGraphType(String option)
Returns the CFGGraphType identified by the
passed name. |
static String |
help(int initialIndent,
int rightMargin,
int hangingIndent)
Returns a string containing the names of all the available CFGGraphType s, separated by
'|' characters. |
Methods inherited from class soot.util.cfgcmd.CFGOptionMatcher.CFGOption |
---|
name |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final CFGGraphType BRIEF_UNIT_GRAPH
public static final CFGGraphType EXCEPTIONAL_UNIT_GRAPH
public static final CFGGraphType COMPLETE_UNIT_GRAPH
public static final CFGGraphType TRAP_UNIT_GRAPH
public static final CFGGraphType CLASSIC_COMPLETE_UNIT_GRAPH
public static final CFGGraphType BRIEF_BLOCK_GRAPH
public static final CFGGraphType EXCEPTIONAL_BLOCK_GRAPH
public static final CFGGraphType COMPLETE_BLOCK_GRAPH
public static final CFGGraphType CLASSIC_COMPLETE_BLOCK_GRAPH
public static final CFGGraphType ARRAY_REF_BLOCK_GRAPH
public static final CFGGraphType ZONED_BLOCK_GRAPH
public static final CFGGraphType ALT_BRIEF_UNIT_GRAPH
public static final CFGGraphType ALT_COMPLETE_UNIT_GRAPH
public static final CFGGraphType ALT_TRAP_UNIT_GRAPH
public static final CFGGraphType ALT_ARRAY_REF_BLOCK_GRAPH
public static final CFGGraphType ALT_BRIEF_BLOCK_GRAPH
public static final CFGGraphType ALT_COMPLETE_BLOCK_GRAPH
public static final CFGGraphType ALT_ZONED_BLOCK_GRAPH
Method Detail |
---|
public abstract DirectedGraph buildGraph(Body b)
b
- The method Body
from which to build the graph.
b
public abstract DotGraph drawGraph(CFGToDotGraph drawer, DirectedGraph g, Body b)
DotGraph
representation of the
control flow in this type of graph. This method is intended for
use within CFGViewer
.
drawer
- The CFGToDotGraph
object that will draw the
graph.g
- The graph to draw.b
- The body associated with the graph, g
.
DotGraph
visualizing the control flow in
g
.public static CFGGraphType getGraphType(String option)
CFGGraphType
identified by the
passed name.
name
- A String
identifying the graph type.
CFGGraphType
object whose #buildGraph()
method will create the desired sort of control flow graph and
whose drawGraph(soot.util.cfgcmd.CFGToDotGraph, soot.toolkits.graph.DirectedGraph, soot.Body)
method will produce a DotGraph
corresponding to the graph.public static String help(int initialIndent, int rightMargin, int hangingIndent)
CFGGraphType
s, separated by
'|' characters.
initialIndent
- The number of blank spaces to insert at the
beginning of the returned string. Ignored if
negative.rightMargin
- If positive, newlines will be inserted to try
to keep the length of each line in the
returned string less than or equal to
rightMargin
.hangingIndent
- If positive, this number of spaces will be
inserted immediately after each newline
inserted to respect the rightMargin
.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |