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<java.lang.String,java.lang.String> options)

Method Summary

Methods

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<java.lang.String,java.lang.String> 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)