Package soot.options

Class AETOptions

java.lang.Object

soot.options.AETOptions

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

Option parser for Available Expressions Tagger.

Field Summary

Fields

Modifier and Type	Field	Description
static int	kind_optimistic
static int	kind_pessimistic

Constructor Summary

Constructors

Constructor	Description
AETOptions(Map<String,String> options)

Method Summary

Modifier and Type	Method	Description
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<String,String> options)

Method Detail

enabled

public boolean enabled()

Enabled

kind

public int kind()

Kind