soot.options
Class JBOptions

java.lang.Object
  soot.options.JBOptions

public class JBOptions
extends Object

Option parser for Jimple Body Creation.

Constructor Summary

JBOptions(Map options)

Method Summary

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(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)