soot.options

Class SETOptions

java.lang.Object

soot.options.SETOptions

public class SETOptions
extends java.lang.Object

Option parser for Side Effect tagger.

Constructor Summary

Constructors

Constructor and Description
SETOptions(java.util.Map<java.lang.String,java.lang.String> options)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	enabled() Enabled -- .
boolean	naive() Build naive dependence graph -- .

Methods inherited from class java.lang.Object

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

Constructor Detail

SETOptions

public SETOptions(java.util.Map<java.lang.String,java.lang.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.