|
||||||||||
| 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 | |||||||||