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<ParameterProperty>
-
- edu.umd.cs.findbugs.ba.npe.ParameterNullnessPropertyDatabase
-
public class ParameterNullnessPropertyDatabase extends MethodPropertyDatabase<ParameterProperty>
Method property database storing which method parameters might be unconditionally dereferenced.- Author:
- David Hovemeyer
-
-
Constructor Summary
Constructors Constructor Description ParameterNullnessPropertyDatabase()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected ParameterProperty
decodeProperty(java.lang.String propStr)
Subclasses must define this to instantiate the actual property value from its string encoding.protected java.lang.String
encodeProperty(ParameterProperty 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 ParameterProperty 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,ParameterProperty>
- Parameters:
propStr
- String containing the encoded property- Returns:
- the property
- Throws:
PropertyDatabaseFormatException
-
encodeProperty
protected java.lang.String encodeProperty(ParameterProperty 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,ParameterProperty>
- Parameters:
property
- the property- Returns:
- a String which encodes the property
-
-