| Package | Description |
|---|---|
| edu.umd.cs.findbugs.ba.npe |
| Modifier and Type | Method | Description |
|---|---|---|
protected ParameterNullnessProperty |
ParameterNullnessPropertyDatabase.decodeProperty(java.lang.String propStr) |
|
ParameterNullnessProperty |
NonNullSpecification.getCheckForNullProperty() |
|
ParameterNullnessProperty |
NonNullSpecification.getNonNullProperty() |
| Modifier and Type | Method | Description |
|---|---|---|
void |
ParameterNullnessProperty.copyFrom(ParameterNullnessProperty other) |
Make this object the same as the given one.
|
protected java.lang.String |
ParameterNullnessPropertyDatabase.encodeProperty(ParameterNullnessProperty property) |
|
void |
ParameterNullnessProperty.intersectWith(ParameterNullnessProperty targetDerefParamSet) |
Intersect this set with the given set.
|
| Constructor | Description |
|---|---|
NonNullSpecification(JavaClassAndMethod classAndMethod,
ParameterNullnessProperty nonParamProperty,
ParameterNullnessProperty possiblyNullProperty) |
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.