|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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.
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 |
---|
static final int ACCURATE_EXCEPTIONS
static final int CONSERVE_SPACE
static final int MODEL_INSTANCEOF
static final int SKIP_HUGE_METHODS
static final int NUM_BOOLEAN_ANALYSIS_PROPERTIES
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |