PurityOptions (Soot - a J*va Optimization Framework 4.6.0 API)

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 Description

PurityOptions(Map<String,String> options)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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