| java.lang.Object
 soot.util.cfgcmd.CFGOptionMatcher
soot.util.cfgcmd.CFGIntermediateRep
| CFGIntermediateRep | | abstract public class CFGIntermediateRep extends CFGOptionMatcher.CFGOption (Code) | | 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 public Body | getBody(JimpleBody b)
Converts a JimpleBody into the
corresponding Body in this intermediate
representation.
Parameters:
b - The Jimple body to be represented. | | public static CFGIntermediateRep | getIR(String name)
Returns the CFGIntermediateRep identified by the
passed name.
Parameters:
name - A String identifying the intermediaterepresentation. | | public static String | help(int initialIndent, int rightMargin, int hangingIndent)
Returns a string containing the names of all the
available CFGIntermediateReps, separated by
'|' characters. |
| getBody | | abstract public Body getBody(JimpleBody b)(Code) | | Converts a JimpleBody into the
corresponding Body in this intermediate
representation.
Parameters:
b - The Jimple body to be represented. a Body in this intermediate representation whichrepresents the same method as b. |
| help | | public static String help(int initialIndent, int rightMargin, int hangingIndent)(Code) | | 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.
Parameters:
rightMargin - If positive, newlines will be inserted to tryto keep the length of each line in thereturned string less than or equal torightMargin.
Parameters:
hangingIndent - If positive, this number of spaces will beinserted immediately after each newline inserted to respect the rightMargin. |
|
|