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

java.lang.Object
- soot.options.JBTROptions

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

Option parser for Type Assigner.

Constructor Summary

Constructors
Constructor Description

JBTROptions(Map<String,String> options)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`compare_type_assigners()`	Compare type assigners -- Compares Ben Bellamy's and the older type assigner.
`boolean`	`enabled()`	Enabled
`boolean`	`ignore_nullpointer_dereferences()`	Ignore Nullpointer Dereferences -- Ignores virtual method calls on base objects that may only be null.
`boolean`	`use_older_type_assigner()`	Use older type assigner -- Enables the older type assigner.

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

- Constructor Detail
  - JBTROptions
```
public JBTROptions(Map<String,String> options)
```
- Method Detail
  - enabled
```
public boolean enabled()
```
    Enabled
  - use_older_type_assigner
```
public boolean use_older_type_assigner()
```
    Use older type assigner -- Enables the older type assigner. This enables the older type assigner that was in use until May 2008. The current type assigner is a reimplementation by Ben Bellamy that uses an entirely new and faster algorithm which always assigns the most narrow type possible. If compare-type-assigners is on, this option causes the older type assigner to execute first. (Otherwise the newer one is executed first.)
  - compare_type_assigners
```
public boolean compare_type_assigners()
```
    Compare type assigners -- Compares Ben Bellamy's and the older type assigner. Enables comparison (both runtime and results) of Ben Bellamy's type assigner with the older type assigner that was in Soot.
  - ignore_nullpointer_dereferences
```
public boolean ignore_nullpointer_dereferences()
```
    Ignore Nullpointer Dereferences -- Ignores virtual method calls on base objects that may only be null. If this option is enabled, Soot wiil not check whether the base object of a virtual method call can only be null. This will lead to the null_type pseudo type being used in your Jimple code.