edu.umd.cs.findbugs.ba.npe

Class NonNullSpecification

public class NonNullSpecification extends Object

Constructor Summary
	NonNullSpecification(JavaClassAndMethod classAndMethod, ParameterNullnessProperty nonParamProperty, ParameterNullnessProperty possiblyNullProperty)

Method Summary
ParameterNullnessProperty	getCheckForNullProperty()
JavaClassAndMethod	getClassAndMethod()
ParameterNullnessProperty	getNonNullProperty()

Constructor Detail

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

public ParameterNullnessProperty getCheckForNullProperty()

public JavaClassAndMethod getClassAndMethod()

public ParameterNullnessProperty getNonNullProperty()