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

Constructor	Description
AuxiliaryObligationPropertyDatabase()

Method Summary

Modifier and Type	Method	Description
protected 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 MethodPropertyDatabase

parseKey, writeKey

Methods inherited from class PropertyDatabase

entrySet, getKeys, getProperty, isEmpty, read, readFromFile, removeProperty, setProperty, write, writeToFile

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AuxiliaryObligationPropertyDatabase

AuxiliaryObligationPropertyDatabase()

Method Details

decodeProperty

protected String decodeProperty(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 class PropertyDatabase<MethodDescriptor, String>

Parameters:

propStr - String containing the encoded property

Returns:

the property

Throws:

PropertyDatabaseFormatException

encodeProperty

protected String encodeProperty(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 class PropertyDatabase<MethodDescriptor, String>

Parameters:

property - the property

Returns:

a String which encodes the property