Package edu.umd.cs.findbugs.ba.npe
Interface IsNullValueAnalysisFeatures
-
- All Known Implementing Classes:
IsNullValue
,IsNullValueAnalysis
public interface IsNullValueAnalysisFeatures
Knobs for null value analysis.- Author:
- David Hovemeyer
-
-
Field Summary
Fields Modifier and Type Field Description 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
-
NO_SPLIT_DOWNGRADE_NSP
static final boolean NO_SPLIT_DOWNGRADE_NSP
Do not downgrade "null on simple path" values to "null on complex path" on control splits.
-
NO_SWITCH_DEFAULT_AS_EXCEPTION
static final boolean NO_SWITCH_DEFAULT_AS_EXCEPTION
Don't consider switch default cases as exception paths.
-
NCP_EXTRA_BRANCH
static final 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.
-
UNKNOWN_VALUES_ARE_NSP
static final 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).
-
USE_TYPE_QUALIFIERS
static final 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.- See Also:
- Constant Field Values
-
-