soot.util.cfgcmd
Class CFGIntermediateRep
java.lang.Object
soot.util.cfgcmd.CFGOptionMatcher.CFGOption
soot.util.cfgcmd.CFGIntermediateRep
- public abstract class CFGIntermediateRep
- extends CFGOptionMatcher.CFGOption
An enumeration type for representing the varieties of intermediate
representation available, for use in tools that compare or display
control flow graphs.
|
Method Summary |
abstract Body |
getBody(JimpleBody b)
Converts a JimpleBody into the
corresponding Body in this intermediate
representation. |
static CFGIntermediateRep |
getIR(String name)
Returns the CFGIntermediateRep identified by the
passed name. |
static String |
help(int initialIndent,
int rightMargin,
int hangingIndent)
Returns a string containing the names of all the
available CFGIntermediateReps, separated by
'|' characters. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
JIMPLE_IR
public static final CFGIntermediateRep JIMPLE_IR
BAF_IR
public static final CFGIntermediateRep BAF_IR
GRIMP_IR
public static final CFGIntermediateRep GRIMP_IR
SHIMPLE_IR
public static final CFGIntermediateRep SHIMPLE_IR
VIA_SHIMPLE_JIMPLE_IR
public static final CFGIntermediateRep VIA_SHIMPLE_JIMPLE_IR
getBody
public abstract Body getBody(JimpleBody b)
- Converts a
JimpleBody into the
corresponding Body in this intermediate
representation.
- Parameters:
b - The Jimple body to be represented.
- Returns:
- a
Body in this intermediate representation which
represents the same method as b.
getIR
public static CFGIntermediateRep getIR(String name)
- Returns the
CFGIntermediateRep identified by the
passed name.
- Parameters:
name - A String identifying the intermediate
representation.
- Returns:
- A
CFGIntermediateRep object whose
getBody(JimpleBody) method will create the desired intermediate
representation.
help
public static String help(int initialIndent,
int rightMargin,
int hangingIndent)
- Returns a string containing the names of all the
available
CFGIntermediateReps, separated by
'|' characters.
- Parameters:
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.