soot.options

Class ShimpleOptions

java.lang.Object

soot.options.ShimpleOptions

@Generated(value="Saxonica v3.0",
           comments="from soot_options.xml")
public class ShimpleOptions
extends Object

Option parser for Shimple Control.

Constructor Summary

Constructors

Constructor and Description
ShimpleOptions(Map<String,String> options)

Method Summary

Modifier and Type	Method and Description
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<String,String> 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.