soot.options

Class PurityOptions

java.lang.Object

soot.options.PurityOptions

public class PurityOptions
extends java.lang.Object

Option parser for Purity Analysis [AM].

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
boolean	annotate() Annotate class files -- Marks pure methods with a purity bytecode attribute.
boolean	dump_cg() Dump .dot call-graph annotated with method summaries (huge) -- .
boolean	dump_intra() Dump one .dot for each intra-procedural method analysis (long) -- .
boolean	dump_summaries() Dump one .dot files for each method summary -- .
boolean	enabled() Enabled -- .
boolean	print() Print analysis results -- .
boolean	verbose() Be (quite) verbose -- .

Methods inherited from class java.lang.Object

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

Constructor Detail

PurityOptions

public PurityOptions(java.util.Map<java.lang.String,java.lang.String> options)

Method Detail

enabled

public boolean enabled()

Enabled -- .

dump_summaries

public boolean dump_summaries()

Dump one .dot files for each method summary -- .

dump_cg

public boolean dump_cg()

Dump .dot call-graph annotated with method summaries (huge) -- .

dump_intra

public boolean dump_intra()

Dump one .dot for each intra-procedural method analysis (long) -- .

print

public boolean print()

Print analysis results -- .

annotate

public boolean annotate()

Annotate class files -- Marks pure methods with a purity bytecode attribute.

verbose

public boolean verbose()

Be (quite) verbose -- .