soot.options
Class AETOptions

java.lang.Object
  soot.options.AETOptions

public class AETOptions
extends Object

Option parser for Available Expressions Tagger.

Field Summary

static int	kind_optimistic
static int	kind_pessimistic

Constructor Summary

AETOptions(Map options)

Method Summary

boolean	enabled() Enabled -- .
int	kind() Kind -- .

Methods inherited from class java.lang.Object

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

Field Detail

kind_optimistic

public static final int kind_optimistic

See Also:

Constant Field Values

kind_pessimistic

public static final int kind_pessimistic

See Also:

Constant Field Values

Constructor Detail

AETOptions

public AETOptions(Map options)

Method Detail

enabled

public boolean enabled()

Enabled -- .

kind

public int kind()

Kind -- .