Package edu.umd.cs.findbugs.ba.interproc

Class MethodPropertyDatabase<Property>

java.lang.Object

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

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

Direct Known Subclasses:

MayReturnNullPropertyDatabase, ParameterNullnessPropertyDatabase, ReturnValueNullnessPropertyDatabase

public abstract class MethodPropertyDatabase<Property>
extends PropertyDatabase<MethodDescriptor,Property>

A MethodPropertyDatabase keeps track of properties of methods. This is useful for implementing interprocedural analyses.

Author:

David Hovemeyer

Constructor Summary

Constructors

Constructor	Description
MethodPropertyDatabase()

Method Summary

Modifier and Type	Method	Description
protected MethodDescriptor	parseKey(java.lang.String methodStr)	Parse a key from a String.
protected void	writeKey(java.io.Writer writer, MethodDescriptor method)	Write an encoded key to given Writer.

Methods inherited from class java.lang.Object

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

Methods inherited from class edu.umd.cs.findbugs.ba.interproc.PropertyDatabase

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

Constructor Detail

MethodPropertyDatabase

public MethodPropertyDatabase()

Method Detail

parseKey

protected MethodDescriptor parseKey(java.lang.String methodStr)
                             throws PropertyDatabaseFormatException

Description copied from class: PropertyDatabase

Parse a key from a String.

Specified by:

parseKey in class PropertyDatabase<MethodDescriptor,Property>

Parameters:

methodStr - a String

Returns:

the decoded key

Throws:

PropertyDatabaseFormatException

writeKey

protected void writeKey(java.io.Writer writer,
                        MethodDescriptor method)
                 throws java.io.IOException

Description copied from class: PropertyDatabase

Write an encoded key to given Writer.

Specified by:

writeKey in class PropertyDatabase<MethodDescriptor,Property>

Parameters:

writer - the Writer

method - the key

Throws:

java.io.IOException