IsNullValue
, IsNullValueAnalysis
public interface IsNullValueAnalysisFeatures
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.
|
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™ is licenced under the LGPL. Copyright © 2006 University of Maryland.