Package | Description |
---|---|
edu.umd.cs.findbugs.ba.npe2 |
This package is a rewrite of the null-pointer analysis to use
sets of value numbers rather than frames.
|
Modifier and Type | Method and Description |
---|---|
static NullnessValue |
NullnessValue.definitelyNotNullValue() |
static NullnessValue |
NullnessValue.definitelyNullValue() |
NullnessValue |
DefinitelyNullSet.getNulllessValue(ValueNumber valueNumber) |
NullnessValue |
Decision.getNullnessValue() |
NullnessValue |
NullnessValue.toCheckedValue() |
NullnessValue |
NullnessValue.toNoKaboomValue() |
static NullnessValue |
NullnessValue.unknownValue() |
Modifier and Type | Method and Description |
---|---|
void |
DefinitelyNullSet.setNullnessValue(ValueNumber valueNumber,
NullnessValue nullnessValue) |
Constructor and Description |
---|
Decision(boolean feasible,
NullnessValue nullnessValue) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.