public class PurityOptions extends Object
Constructor and Description |
---|
PurityOptions(Map<String,String> options) |
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 --
.
|
public boolean enabled()
public boolean dump_summaries()
public boolean dump_cg()
public boolean dump_intra()
public boolean print()
public boolean annotate()
public boolean verbose()