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.

Field Summary

static CFGIntermediateRep	BAF_IR
static CFGIntermediateRep	GRIMP_IR
static CFGIntermediateRep	JIMPLE_IR
static CFGIntermediateRep	SHIMPLE_IR
static CFGIntermediateRep	VIA_SHIMPLE_JIMPLE_IR

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 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

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

Method Detail

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.