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 and 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