soot.options
Class FRWOptions

java.lang.Object
  |
  +--soot.options.FRWOptions

public class FRWOptions
extends java.lang.Object

Option parser for Field Read/Write Tagger.


Constructor Summary
FRWOptions(java.util.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(java.util.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.