soot.options

Class LCMOptions

java.lang.Object

soot.options.LCMOptions

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

Option parser for Lazy Code Motion.

Field Summary

Fields

Modifier and Type	Field and Description
static int	safety_medium
static int	safety_safe
static int	safety_unsafe

Constructor Summary

Constructors

Constructor and Description
LCMOptions(Map<String,String> options)

Method Summary

Modifier and Type	Method and Description
boolean	enabled() Enabled
boolean	naive_side_effect() Naive Side Effect Tester -- Use a naive side effect analysis even if interprocedural information is available.
int	safety() Safety This option controls which fields and statements are candidates for code motion.
boolean	unroll() Unroll If true, perform loop inversion before doing the transformation.

Methods inherited from class java.lang.Object

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

Field Detail

safety_safe

public static final int safety_safe

See Also:

Constant Field Values

safety_medium

public static final int safety_medium

See Also:

Constant Field Values

safety_unsafe

public static final int safety_unsafe

See Also:

Constant Field Values

Constructor Detail

LCMOptions

public LCMOptions(Map<String,String> options)

Method Detail

enabled

public boolean enabled()

Enabled

unroll

public boolean unroll()

Unroll If true, perform loop inversion before doing the transformation.

naive_side_effect

public boolean naive_side_effect()

Naive Side Effect Tester -- Use a naive side effect analysis even if interprocedural information is available. If Naive Side Effect Tester is set to true, Lazy Code Motion uses the conservative side effect information provided by the NaiveSideEffectTester class, even if interprocedural information about side effects is available. The naive side effect analysis is based solely on the information available locally about a statement. It assumes, for example, that any method call has the potential to write and read all instance and static fields in the program. If Naive Side Effect Tester is set to false and Soot is in whole program mode, then Lazy Code Motion uses the side effect information provided by the PASideEffectTester class. PASideEffectTester uses a points-to analysis to determine which fields and statics may be written or read by a given statement. If whole program analysis is not performed, naive side effect information is used regardless of the setting of Naive Side Effect Tester.

safety

public int safety()

Safety This option controls which fields and statements are candidates for code motion.