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
-
Method Summary
Modifier and TypeMethodDescriptionprotected MethodDescriptor
Parse a key from a String.protected void
writeKey
(Writer writer, MethodDescriptor method) Write an encoded key to given Writer.Methods inherited from class edu.umd.cs.findbugs.ba.interproc.PropertyDatabase
decodeProperty, encodeProperty, entrySet, getKeys, getProperty, isEmpty, read, readFromFile, removeProperty, setProperty, write, writeToFile
-
Constructor Details
-
MethodPropertyDatabase
public MethodPropertyDatabase()
-
-
Method Details
-
parseKey
Description copied from class:PropertyDatabase
Parse a key from a String.- Specified by:
parseKey
in classPropertyDatabase<MethodDescriptor,
Property> - Parameters:
methodStr
- a String- Returns:
- the decoded key
- Throws:
PropertyDatabaseFormatException
-
writeKey
Description copied from class:PropertyDatabase
Write an encoded key to given Writer.- Specified by:
writeKey
in classPropertyDatabase<MethodDescriptor,
Property> - Parameters:
writer
- the Writermethod
- the key- Throws:
IOException
-