edu.umd.cs.findbugs.ba.npe

Interface IsNullValueAnalysisFeatures

public interface IsNullValueAnalysisFeatures

Knobs for null value analysis.

Author: David Hovemeyer

Field Summary
static booleanNCP_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 booleanNO_SPLIT_DOWNGRADE_NSP
Do not downgrade "null on simple path" values to "null on complex path" on control splits.
static booleanNO_SWITCH_DEFAULT_AS_EXCEPTION
Don't consider switch default cases as exception paths.
static booleanUNKNOWN_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

NCP_EXTRA_BRANCH

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

NO_SPLIT_DOWNGRADE_NSP

public 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

public static final boolean NO_SWITCH_DEFAULT_AS_EXCEPTION
Don't consider switch default cases as exception paths.

UNKNOWN_VALUES_ARE_NSP

public 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).
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.