|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PropertyDatabase | |
---|---|
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.interproc | |
edu.umd.cs.findbugs.ba.npe | |
edu.umd.cs.findbugs.ba.type |
Uses of PropertyDatabase in edu.umd.cs.findbugs.ba |
---|
Methods in edu.umd.cs.findbugs.ba with type parameters of type PropertyDatabase | ||
---|---|---|
|
AnalysisContext.loadPropertyDatabase(DatabaseType database,
java.lang.String fileName,
java.lang.String description)
Load an interprocedural property database. |
|
|
AnalysisContext.loadPropertyDatabaseFromResource(DatabaseType database,
java.lang.String resourceName,
java.lang.String description)
Load an interprocedural property database. |
|
|
AnalysisContext.storePropertyDatabase(DatabaseType database,
java.lang.String fileName,
java.lang.String description)
Write an interprocedural property database. |
Uses of PropertyDatabase in edu.umd.cs.findbugs.ba.interproc |
---|
Subclasses of PropertyDatabase in edu.umd.cs.findbugs.ba.interproc | |
---|---|
class |
FieldPropertyDatabase<Property>
Interprocedural field property database. |
class |
MethodPropertyDatabase<Property>
A MethodPropertyDatabase keeps track of properties of methods. |
Uses of PropertyDatabase in edu.umd.cs.findbugs.ba.npe |
---|
Subclasses of PropertyDatabase in edu.umd.cs.findbugs.ba.npe | |
---|---|
class |
MayReturnNullPropertyDatabase
Deprecated. |
class |
ParameterNullnessPropertyDatabase
Method property database storing which method parameters might be unconditionally dereferenced. |
class |
ReturnValueNullnessPropertyDatabase
Method property database storing which methods return values guaranteed to be nonnull |
Uses of PropertyDatabase in edu.umd.cs.findbugs.ba.type |
---|
Subclasses of PropertyDatabase in edu.umd.cs.findbugs.ba.type | |
---|---|
class |
FieldStoreTypeDatabase
|
|
FindBugs™ 1.3.9 | |||||||||
PREV NEXT | FRAMES NO FRAMES |