Package soot.options

Class FRWOptions

java.lang.Object

soot.options.FRWOptions

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

Option parser for Field Read/Write Tagger.

Constructor Summary

Constructors

Constructor	Description
FRWOptions(Map<String,String> options)

Method Summary

Modifier and Type	Method	Description
boolean	enabled()	Enabled
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.

Methods inherited from class java.lang.Object

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

Constructor Detail

FRWOptions

public FRWOptions(Map<String,String> 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.