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

java.lang.Object
- soot.options.NPCOptions

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

Option parser for Null Pointer Checker.

Constructor Summary

Constructors
Constructor Description

NPCOptions(Map<String,String> options)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`enabled()`	Enabled
`boolean`	`only_array_ref()`	Only Array Ref -- Annotate only array references.
`boolean`	`profiling()`	Profiling -- Insert instructions to count safe pointer accesses.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - NPCOptions
```
public NPCOptions(Map<String,String> options)
```
- Method Detail
  - enabled
```
public boolean enabled()
```
    Enabled
  - only_array_ref
```
public boolean only_array_ref()
```
    Only Array Ref -- Annotate only array references. Annotate only array-referencing instructions, instead of all instructions that need null pointer checks.
  - profiling
```
public boolean profiling()
```
    Profiling -- Insert instructions to count safe pointer accesses. Insert profiling instructions that at runtime count the number of eliminated safe null pointer checks. The inserted profiling code assumes the existence of a MultiCounter class implementing the methods invoked. For details, see the NullPointerChecker source code.