soot.options
Class ShimpleOptions

java.lang.Object
  |
  +--soot.options.ShimpleOptions

public class ShimpleOptions
extends java.lang.Object

Option parser for Shimple Control.


Field Summary
static int phi_elim_opt_none
           
static int phi_elim_opt_post
           
static int phi_elim_opt_pre
           
static int phi_elim_opt_pre_and_post
           
 
Constructor Summary
ShimpleOptions(java.util.Map options)
           
 
Method Summary
 boolean enabled()
          Enabled -- .
 int phi_elim_opt()
          Phi Node Elimination Optimizations -- Phi 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
 

Field Detail

phi_elim_opt_none

public static final int phi_elim_opt_none

phi_elim_opt_pre

public static final int phi_elim_opt_pre

phi_elim_opt_post

public static final int phi_elim_opt_post

phi_elim_opt_pre_and_post

public static final int phi_elim_opt_pre_and_post
Constructor Detail

ShimpleOptions

public ShimpleOptions(java.util.Map options)
Method Detail

enabled

public boolean enabled()
Enabled -- .

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

phi_elim_opt

public int phi_elim_opt()
Phi Node Elimination Optimizations -- Phi node elimination optimizations.