Package edu.umd.cs.findbugs.ba.npe
Class NonNullSpecification
java.lang.Object
edu.umd.cs.findbugs.ba.npe.NonNullSpecification
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final JavaClassAndMethod
private final ParameterProperty
private final ParameterProperty
-
Constructor Summary
ConstructorsConstructorDescriptionNonNullSpecification
(JavaClassAndMethod classAndMethod, ParameterProperty nonParamProperty, ParameterProperty possiblyNullProperty) -
Method Summary
-
Field Details
-
classAndMethod
-
nonNullProperty
-
possiblyNullProperty
-
-
Constructor Details
-
NonNullSpecification
public NonNullSpecification(JavaClassAndMethod classAndMethod, ParameterProperty nonParamProperty, ParameterProperty possiblyNullProperty)
-
-
Method Details