soot.options
Class ShimpleOptions

java.lang.Object
  extended by soot.options.ShimpleOptions

public class ShimpleOptions
extends Object

Option parser for Shimple Control.


Constructor Summary
ShimpleOptions(Map options)
           
 
Method Summary
 boolean debug()
          Debugging Output -- Enables debugging output, if any..
 boolean enabled()
          Enabled -- .
 boolean extended()
          Extended SSA (SSI) -- Compute extended SSA (SSI) form..
 boolean node_elim_opt()
          Shimple Node Elimination Optimizations -- Node elimination optimizations.
 boolean standard_local_names()
          Local Name Standardization -- Uses naming scheme of the Local Name Standardizer..
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ShimpleOptions

public ShimpleOptions(Map options)
Method Detail

enabled

public boolean enabled()
Enabled -- .


node_elim_opt

public boolean node_elim_opt()
Shimple Node Elimination Optimizations -- Node elimination optimizations. Perform some optimizations, such as dead code elimination and local aggregation, before/after eliminating nodes.


standard_local_names

public boolean standard_local_names()
Local Name Standardization -- Uses naming scheme of the Local Name Standardizer.. If enabled, the Local Name Standardizer is applied whenever Shimple creates new locals. Normally, Shimple will retain the original local names as far as possible and use an underscore notation to denote SSA subscripts. This transformation does not otherwise affect Shimple behaviour.


extended

public boolean extended()
Extended SSA (SSI) -- Compute extended SSA (SSI) form.. If enabled, Shimple will created extended SSA (SSI) form.


debug

public boolean debug()
Debugging Output -- Enables debugging output, if any.. If enabled, Soot may print out warnings and messages useful for debugging the Shimple module. Automatically enabled by the global debug switch.