ShimpleOptions (Soot - a J*va Optimization Framework 4.6.0 API)

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 Description

ShimpleOptions(Map<String,String> options)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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 create 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.