soot.options

Class PurityOptions

java.lang.Object

soot.options.PurityOptions

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

Option parser for Purity Analysis [AM].

Constructor Summary

Constructors

Constructor and Description
PurityOptions(Map<String,String> options)

Method Summary

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