Package edu.umd.cs.findbugs.detect
Class BuildObligationPolicyDatabase.AuxiliaryObligationPropertyDatabase
java.lang.Object
edu.umd.cs.findbugs.ba.interproc.PropertyDatabase<MethodDescriptor,String>
edu.umd.cs.findbugs.ba.interproc.MethodPropertyDatabase<String>
edu.umd.cs.findbugs.detect.BuildObligationPolicyDatabase.AuxiliaryObligationPropertyDatabase
- Enclosing class:
BuildObligationPolicyDatabase
static class BuildObligationPolicyDatabase.AuxiliaryObligationPropertyDatabase
extends MethodPropertyDatabase<String>
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected String
decodeProperty
(String propStr) Subclasses must define this to instantiate the actual property value from its string encoding.protected String
encodeProperty
(String property) Subclasses must define this to encode a property as a string for output to a file.Methods inherited from class edu.umd.cs.findbugs.ba.interproc.MethodPropertyDatabase
parseKey, writeKey
Methods inherited from class edu.umd.cs.findbugs.ba.interproc.PropertyDatabase
entrySet, getKeys, getProperty, isEmpty, read, readFromFile, removeProperty, setProperty, write, writeToFile
-
Constructor Details
-
AuxiliaryObligationPropertyDatabase
AuxiliaryObligationPropertyDatabase()
-
-
Method Details
-
decodeProperty
Description copied from class:PropertyDatabase
Subclasses must define this to instantiate the actual property value from its string encoding.- Specified by:
decodeProperty
in classPropertyDatabase<MethodDescriptor,
String> - Parameters:
propStr
- String containing the encoded property- Returns:
- the property
- Throws:
PropertyDatabaseFormatException
-
encodeProperty
Description copied from class:PropertyDatabase
Subclasses must define this to encode a property as a string for output to a file.- Specified by:
encodeProperty
in classPropertyDatabase<MethodDescriptor,
String> - Parameters:
property
- the property- Returns:
- a String which encodes the property
-