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
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).
 

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).