|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IsNullValueAnalysisFeatures
Knobs for null value analysis.
Field Summary | |
---|---|
static boolean |
NCP_EXTRA_BRANCH
Keep track of an extra branch, so we can distinguish conditionally-null values with two branches from conditionally-null values with three or more branches. |
static boolean |
NO_SPLIT_DOWNGRADE_NSP
Do not downgrade "null on simple path" values to "null on complex path" on control splits. |
static boolean |
NO_SWITCH_DEFAULT_AS_EXCEPTION
Don't consider switch default cases as exception paths. |
static boolean |
UNKNOWN_VALUES_ARE_NSP
If this property is true, then we assume parameters and return values can be null (but aren't definitely null). |
static boolean |
USE_TYPE_QUALIFIERS
If this property is true, then resolution of nullness annotations is based on JSR-305 type qualifiers rather than an AnnotationDatabase. |
Field Detail |
---|
static final boolean NO_SPLIT_DOWNGRADE_NSP
static final boolean NO_SWITCH_DEFAULT_AS_EXCEPTION
static final boolean NCP_EXTRA_BRANCH
static final boolean UNKNOWN_VALUES_ARE_NSP
static final boolean USE_TYPE_QUALIFIERS
|
FindBugs™ 1.3.9 | |||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |