edu.umd.cs.findbugs.ba.npe
Interface IsNullValueAnalysisFeatures
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). |
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.
public static final boolean NO_SPLIT_DOWNGRADE_NSP
Do not downgrade "null on simple path" values to "null on complex path"
on control splits.
public static final boolean NO_SWITCH_DEFAULT_AS_EXCEPTION
Don't consider switch default cases as exception paths.
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.