soot.options

Class CPOptions

java.lang.Object

soot.options.CPOptions

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

Option parser for Copy Propagator.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	enabled() Enabled
boolean	only_regular_locals() Only Regular Locals Only propagate copies through ``regular'' locals, that is, those declared in the source bytecode.
boolean	only_stack_locals() Only Stack Locals Only propagate copies through locals that represent stack locations in the original bytecode.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CPOptions

public CPOptions(Map<String,String> options)

Method Detail

enabled

public boolean enabled()

Enabled

only_regular_locals

public boolean only_regular_locals()

Only Regular Locals Only propagate copies through ``regular'' locals, that is, those declared in the source bytecode.

only_stack_locals

public boolean only_stack_locals()

Only Stack Locals Only propagate copies through locals that represent stack locations in the original bytecode.