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

Constructors

Constructor and Description
FRWOptions(java.util.Map options)

Method Summary

Modifier and Type	Method and Description
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.