FindBugs™ 1.3.9

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

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.interproc.PropertyDatabase<MethodDescriptor,Property>
      extended by edu.umd.cs.findbugs.ba.interproc.MethodPropertyDatabase<ParameterNullnessProperty>
          extended by 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
ParameterNullnessPropertyDatabase()
           
 
Method Summary
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

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.