public class NonNullSpecification
extends java.lang.Object
Constructor and Description |
---|
NonNullSpecification(JavaClassAndMethod classAndMethod,
ParameterNullnessProperty nonParamProperty,
ParameterNullnessProperty possiblyNullProperty) |
Modifier and Type | Method and Description |
---|---|
ParameterNullnessProperty |
getCheckForNullProperty() |
JavaClassAndMethod |
getClassAndMethod() |
ParameterNullnessProperty |
getNonNullProperty() |
java.lang.String |
toString() |
public NonNullSpecification(JavaClassAndMethod classAndMethod, ParameterNullnessProperty nonParamProperty, ParameterNullnessProperty possiblyNullProperty)
public JavaClassAndMethod getClassAndMethod()
public ParameterNullnessProperty getNonNullProperty()
public ParameterNullnessProperty getCheckForNullProperty()
public java.lang.String toString()
toString
in class java.lang.Object
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.