Package soot.options

Class SETOptions

java.lang.Object

soot.options.SETOptions

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

Option parser for Side Effect tagger.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
boolean	enabled()	Enabled
boolean	naive()	Build naive dependence graph When set to true, the dependence graph is built with a node for each statement, without merging the nodes for equivalent statements.

Methods inherited from class java.lang.Object

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

Constructor Detail

SETOptions

public SETOptions(Map<String,String> options)

Method Detail

enabled

public boolean enabled()

Enabled

naive

public boolean naive()

Build naive dependence graph When set to true, the dependence graph is built with a node for each statement, without merging the nodes for equivalent statements. This makes it possible to measure the effect of merging nodes for equivalent statements on the size of the dependence graph.