Package edu.umd.cs.findbugs.ba.npe

Class NonNullSpecification

java.lang.Object

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

public class NonNullSpecification
extends java.lang.Object

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()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

NonNullSpecification

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

Method Detail

getClassAndMethod

public JavaClassAndMethod getClassAndMethod()

getNonNullProperty

public ParameterProperty getNonNullProperty()

getCheckForNullProperty

public ParameterProperty getCheckForNullProperty()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object