soot.options
Class CPOptions

java.lang.Object
  extended by soot.options.CPOptions

public class CPOptions
extends Object

Option parser for Copy Propagator.


Constructor Summary
CPOptions(Map options)
           
 
Method Summary
 boolean enabled()
          Enabled -- .
 boolean only_regular_locals()
          Only Regular Locals -- .
 boolean only_stack_locals()
          Only Stack Locals -- .
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CPOptions

public CPOptions(Map 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.