soot.options

Class JBOptions

java.lang.Object

soot.options.JBOptions

public class JBOptions
extends java.lang.Object

Option parser for Jimple Body Creation.

Constructor Summary

Constructors

Constructor and Description
JBOptions(java.util.Map options)

Method Summary

Modifier and Type	Method and Description
boolean	enabled() Enabled -- .
boolean	preserve_source_annotations() Preserve source-level annotations -- .
boolean	use_original_names() Use Original Names -- .

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JBOptions

public JBOptions(java.util.Map options)

Method Detail

enabled

public boolean enabled()

Enabled -- .

use_original_names

public boolean use_original_names()

Use Original Names -- . Retain the original names for local variables when the source includes those names. Otherwise, Soot gives variables generic names based on their types.

preserve_source_annotations

public boolean preserve_source_annotations()

Preserve source-level annotations -- . Preserves annotations of retention type SOURCE. (for everything but package and local variable annotations)