|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |