Package edu.umd.cs.findbugs.ba.npe
Class NonNullSpecification
java.lang.Object
edu.umd.cs.findbugs.ba.npe.NonNullSpecification
-
Constructor Summary
ConstructorDescriptionNonNullSpecification
(JavaClassAndMethod classAndMethod, ParameterProperty nonParamProperty, ParameterProperty possiblyNullProperty) -
Method Summary
-
Constructor Details
-
NonNullSpecification
public NonNullSpecification(JavaClassAndMethod classAndMethod, ParameterProperty nonParamProperty, ParameterProperty possiblyNullProperty)
-
-
Method Details