Package edu.umd.cs.findbugs.ba.npe

Class ReturnValueNullnessPropertyDatabase

java.lang.Object

edu.umd.cs.findbugs.ba.interproc.PropertyDatabase<MethodDescriptor,Boolean>

edu.umd.cs.findbugs.ba.interproc.MethodPropertyDatabase<Boolean>

edu.umd.cs.findbugs.ba.npe.ReturnValueNullnessPropertyDatabase

public class ReturnValueNullnessPropertyDatabase
extends MethodPropertyDatabase<Boolean>

Method property database storing which methods return values guaranteed to be nonnull

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
ReturnValueNullnessPropertyDatabase()

Method Summary

Modifier and Type	Method	Description
protected Boolean	decodeProperty(String propStr)	Subclasses must define this to instantiate the actual property value from its string encoding.
protected String	encodeProperty(Boolean 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

Methods inherited from class java.lang.Object

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

Constructor Details

ReturnValueNullnessPropertyDatabase

public ReturnValueNullnessPropertyDatabase()

Method Details

decodeProperty

protected Boolean decodeProperty(String propStr)

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,Boolean>

Parameters:

propStr - String containing the encoded property

Returns:

the property

encodeProperty

protected String encodeProperty(Boolean 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,Boolean>

Parameters:

property - the property

Returns:

a String which encodes the property