Class NonNullSpecification

java.lang.Object

edu.umd.cs.findbugs.ba.npe.NonNullSpecification

public class NonNullSpecification
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private final JavaClassAndMethod	classAndMethod
private final ParameterProperty	nonNullProperty
private final ParameterProperty	possiblyNullProperty

Constructor Summary

Constructors

Constructor	Description
NonNullSpecification(JavaClassAndMethod classAndMethod, ParameterProperty nonParamProperty, ParameterProperty possiblyNullProperty)

Method Summary

Modifier and Type	Method	Description
ParameterProperty	getCheckForNullProperty()
JavaClassAndMethod	getClassAndMethod()
ParameterProperty	getNonNullProperty()
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

classAndMethod

private final JavaClassAndMethod classAndMethod

nonNullProperty

private final ParameterProperty nonNullProperty

possiblyNullProperty

private final ParameterProperty possiblyNullProperty

Constructor Details

NonNullSpecification

public NonNullSpecification(JavaClassAndMethod classAndMethod,
 ParameterProperty nonParamProperty,
 ParameterProperty possiblyNullProperty)

Method Details

getClassAndMethod

public JavaClassAndMethod getClassAndMethod()

getNonNullProperty

public ParameterProperty getNonNullProperty()

getCheckForNullProperty

public ParameterProperty getCheckForNullProperty()

toString

public String toString()

Overrides:

toString in class Object