FindBugs™ 1.3.9

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

java.lang.Object
  extended by 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

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.