Uses of Class
edu.umd.cs.findbugs.ba.interproc.PropertyDatabase
-
Packages that use PropertyDatabase Package Description 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 Modifier and Type Method Description <DatabaseType extends PropertyDatabase<KeyType,Property>,KeyType extends FieldOrMethodDescriptor,Property>
DatabaseTypeAnalysisContext. loadPropertyDatabase(DatabaseType database, java.lang.String fileName, java.lang.String description)
Load an interprocedural property database.<DatabaseType extends PropertyDatabase<KeyType,Property>,KeyType extends FieldOrMethodDescriptor,Property>
DatabaseTypeAnalysisContext. loadPropertyDatabaseFromResource(DatabaseType database, java.lang.String resourceName, java.lang.String description)
Load an interprocedural property database.<DatabaseType extends PropertyDatabase<KeyType,Property>,KeyType extends FieldOrMethodDescriptor,Property>
voidAnalysisContext. 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 Modifier and Type Class Description 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 Modifier and Type Class Description 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 Modifier and Type Class Description class
FieldStoreTypeDatabase
-