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

NonNullSpecification(JavaClassAndMethod classAndMethod, ParameterNullnessProperty nonParamProperty, ParameterNullnessProperty possiblyNullProperty)

Method Summary

ParameterNullnessProperty	getCheckForNullProperty()
JavaClassAndMethod	getClassAndMethod()
ParameterNullnessProperty	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,
                            ParameterNullnessProperty nonParamProperty,
                            ParameterNullnessProperty possiblyNullProperty)

Method Detail

getClassAndMethod

public JavaClassAndMethod getClassAndMethod()

getNonNullProperty

public ParameterNullnessProperty getNonNullProperty()

getCheckForNullProperty

public ParameterNullnessProperty getCheckForNullProperty()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object