edu.umd.cs.findbugs.ba.npe

Class NonNullSpecification

public class NonNullSpecification extends Object

Constructor Summary
NonNullSpecification(JavaClassAndMethod classAndMethod, ParameterNullnessProperty nonParamProperty, ParameterNullnessProperty possiblyNullProperty)
Method Summary
ParameterNullnessPropertygetCheckForNullProperty()
JavaClassAndMethodgetClassAndMethod()
ParameterNullnessPropertygetNonNullProperty()

Constructor Detail

NonNullSpecification

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

Method Detail

getCheckForNullProperty

public ParameterNullnessProperty getCheckForNullProperty()

getClassAndMethod

public JavaClassAndMethod getClassAndMethod()

getNonNullProperty

public ParameterNullnessProperty getNonNullProperty()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.