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 | 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 | Description |
---|---|---|
void |
DefinitelyNullSet.setNullnessValue(ValueNumber valueNumber,
NullnessValue nullnessValue) |
Constructor | Description |
---|---|
Decision(boolean feasible,
NullnessValue nullnessValue) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.