| Package | Description |
|---|---|
| edu.umd.cs.findbugs.ba.interproc | |
| edu.umd.cs.findbugs.ba.npe |
| Modifier and Type | Method and 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 and Description |
|---|---|
protected ParameterProperty |
ParameterNullnessPropertyDatabase.decodeProperty(String propStr) |
ParameterProperty |
NonNullSpecification.getCheckForNullProperty() |
ParameterProperty |
NonNullSpecification.getNonNullProperty() |
| Modifier and Type | Method and Description |
|---|---|
protected String |
ParameterNullnessPropertyDatabase.encodeProperty(ParameterProperty property) |
| Constructor and Description |
|---|
NonNullSpecification(JavaClassAndMethod classAndMethod,
ParameterProperty nonParamProperty,
ParameterProperty possiblyNullProperty) |
Copyright © 2003–2015. All rights reserved.