soot.options
Class FRWOptions

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

public class FRWOptions
extends Object

Option parser for Field Read/Write Tagger.


Constructor Summary
FRWOptions(Map options)
           
 
Method Summary
 boolean enabled()
          Enabled -- .
 int threshold()
          Maximum number of fields -- .
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FRWOptions

public FRWOptions(Map options)
Method Detail

enabled

public boolean enabled()
Enabled -- .


threshold

public int threshold()
Maximum number of fields -- . If a statement reads/writes more than this number of fields, no tag will be produced for it, in order to keep the size of the tags reasonable.