soot.options
Class SETOptions

java.lang.Object
  soot.options.SETOptions

public class SETOptions
extends Object

Option parser for Side Effect tagger.

Constructor Summary

SETOptions(Map options)

Method Summary

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(Map 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.