Package edu.umd.cs.findbugs.detect
Class BuildObligationPolicyDatabase.AuxiliaryObligationPropertyDatabase
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.interproc.PropertyDatabase<MethodDescriptor,Property>
-
- edu.umd.cs.findbugs.ba.interproc.MethodPropertyDatabase<java.lang.String>
-
- edu.umd.cs.findbugs.detect.BuildObligationPolicyDatabase.AuxiliaryObligationPropertyDatabase
-
- Enclosing class:
- BuildObligationPolicyDatabase
static class BuildObligationPolicyDatabase.AuxiliaryObligationPropertyDatabase extends MethodPropertyDatabase<java.lang.String>
-
-
Constructor Summary
Constructors Constructor Description AuxiliaryObligationPropertyDatabase()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected java.lang.String
decodeProperty(java.lang.String propStr)
Subclasses must define this to instantiate the actual property value from its string encoding.protected java.lang.String
encodeProperty(java.lang.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
-
-
-
-
Method Detail
-
decodeProperty
protected java.lang.String decodeProperty(java.lang.String propStr) throws PropertyDatabaseFormatException
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,java.lang.String>
- Parameters:
propStr
- String containing the encoded property- Returns:
- the property
- Throws:
PropertyDatabaseFormatException
-
encodeProperty
protected java.lang.String encodeProperty(java.lang.String property)
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,java.lang.String>
- Parameters:
property
- the property- Returns:
- a String which encodes the property
-
-