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

Class ParameterNullnessPropertyDatabase

java.lang.Object

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

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

edu.umd.cs.findbugs.ba.npe.ParameterNullnessPropertyDatabase

public class ParameterNullnessPropertyDatabase
extends MethodPropertyDatabase<ParameterNullnessProperty>

Method property database storing which method parameters might be unconditionally dereferenced.

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
ParameterNullnessPropertyDatabase()

Method Summary

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

ParameterNullnessPropertyDatabase

public ParameterNullnessPropertyDatabase()

Method Detail

decodeProperty

protected ParameterNullnessProperty 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 class PropertyDatabase<MethodDescriptor,ParameterNullnessProperty>

Parameters:

propStr - String containing the encoded property

Returns:

the property

Throws:

PropertyDatabaseFormatException

encodeProperty

protected java.lang.String encodeProperty(ParameterNullnessProperty 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,ParameterNullnessProperty>

Parameters:

property - the property

Returns:

a String which encodes the property