|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsoot.options.PurityOptions
public class PurityOptions
Option parser for Purity Analysis [AM].
Constructor Summary | |
---|---|
PurityOptions(Map options)
|
Method Summary | |
---|---|
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 |
---|
public PurityOptions(Map options)
Method Detail |
---|
public boolean enabled()
public boolean dump_summaries()
public boolean dump_cg()
public boolean dump_intra()
public boolean print()
public boolean annotate()
public boolean verbose()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |