public class ShimpleOptions extends Object
Constructor and Description |
---|
ShimpleOptions(Map<String,String> options) |
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..
|
public boolean enabled()
public boolean node_elim_opt()
public boolean standard_local_names()
public boolean extended()
public boolean debug()