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