Uses of Class
edu.umd.cs.findbugs.ba.npe.ParameterNullnessPropertyDatabase

Packages that use ParameterNullnessPropertyDatabase

edu.umd.cs.findbugs.ba	A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses.
edu.umd.cs.findbugs.ba.npe
edu.umd.cs.findbugs.detect

Uses of ParameterNullnessPropertyDatabase in edu.umd.cs.findbugs.ba

Methods in edu.umd.cs.findbugs.ba that return ParameterNullnessPropertyDatabase

ParameterNullnessPropertyDatabase

AnalysisContext.getUnconditionalDerefParamDatabase()

Methods in edu.umd.cs.findbugs.ba with parameters of type ParameterNullnessPropertyDatabase

void	AnalysisContext.setUnconditionalDerefParamDatabase(ParameterNullnessPropertyDatabase unconditionalDerefParamDatabase)

Uses of ParameterNullnessPropertyDatabase in edu.umd.cs.findbugs.ba.npe

Constructors in edu.umd.cs.findbugs.ba.npe with parameters of type ParameterNullnessPropertyDatabase

NonNullContractCollector(ParameterNullnessPropertyDatabase nonNullParamDatabase, ParameterNullnessPropertyDatabase possiblyNullParamDatabase)

Uses of ParameterNullnessPropertyDatabase in edu.umd.cs.findbugs.detect

Methods in edu.umd.cs.findbugs.detect that return ParameterNullnessPropertyDatabase

protected ParameterNullnessPropertyDatabase

BuildUnconditionalParamDerefDatabase.getDatabase()