edu.umd.cs.findbugs.ba
Interface AnalysisFeatures


public interface AnalysisFeatures

Boolean analysis properties for use in the AnalysisContext. These can be used to enable or disable various analysis features in the bytecode analysis framework.

Author:
David Hovemeyer

Field Summary
static int ACCURATE_EXCEPTIONS
          Determine (1) what exceptions can be thrown on exception edges, (2) which catch blocks are reachable, and (3) which exception edges carry only "implicit" runtime exceptions.
static int CONSERVE_SPACE
          A boolean flag which if set means that analyses should try to conserve space at the expense of precision.
static int MODEL_INSTANCEOF
          If true, model the effect of instanceof checks in type analysis.
static int NUM_BOOLEAN_ANALYSIS_PROPERTIES
          Number of boolean analysis properties reserved for the bytecode analysis framework.
static int SKIP_HUGE_METHODS
          Skip generating CFG's and methodGen's for huge methods
 

Field Detail

ACCURATE_EXCEPTIONS

static final int ACCURATE_EXCEPTIONS
Determine (1) what exceptions can be thrown on exception edges, (2) which catch blocks are reachable, and (3) which exception edges carry only "implicit" runtime exceptions.

See Also:
Constant Field Values

CONSERVE_SPACE

static final int CONSERVE_SPACE
A boolean flag which if set means that analyses should try to conserve space at the expense of precision.

See Also:
Constant Field Values

MODEL_INSTANCEOF

static final int MODEL_INSTANCEOF
If true, model the effect of instanceof checks in type analysis.

See Also:
Constant Field Values

SKIP_HUGE_METHODS

static final int SKIP_HUGE_METHODS
Skip generating CFG's and methodGen's for huge methods

See Also:
Constant Field Values

NUM_BOOLEAN_ANALYSIS_PROPERTIES

static final int NUM_BOOLEAN_ANALYSIS_PROPERTIES
Number of boolean analysis properties reserved for the bytecode analysis framework. Clients of the framework may use property values >= this value.

See Also:
Constant Field Values