Package edu.umd.cs.findbugs.detect

Class BuildUnconditionalParamDerefDatabase

java.lang.Object

edu.umd.cs.findbugs.detect.BuildUnconditionalParamDerefDatabase

All Implemented Interfaces:

Detector, Priorities

Direct Known Subclasses:

NoteUnconditionalParamDerefs, TrainUnconditionalDerefParams

public abstract class BuildUnconditionalParamDerefDatabase
extends Object
implements Detector

Build database of unconditionally dereferenced parameters.

Author:

David Hovemeyer

Field Summary

Fields

Modifier and Type	Field	Description
final TypeQualifierValue<javax.annotation.Nonnull>	nonnullTypeQualifierValue
static final boolean	VERBOSE_DEBUG

Fields inherited from interface edu.umd.cs.findbugs.Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	BuildUnconditionalParamDerefDatabase()

Method Summary

Modifier and Type	Method	Description
boolean	isCaught(ClassContext classContext, org.apache.bcel.classfile.Method method, UnconditionalValueDerefSet entryFact, ValueNumber paramVN)
protected abstract void	reportBug(BugInstance bug)
void	visitClassContext(ClassContext classContext)	Visit the ClassContext for a class which should be analyzed for instances of bug patterns.

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.umd.cs.findbugs.Detector

report

Field Details

VERBOSE_DEBUG

public static final boolean VERBOSE_DEBUG

nonnullTypeQualifierValue

public final TypeQualifierValue<javax.annotation.Nonnull> nonnullTypeQualifierValue

Constructor Details

BuildUnconditionalParamDerefDatabase

protected BuildUnconditionalParamDerefDatabase()

Method Details

reportBug

protected abstract void reportBug(BugInstance bug)

visitClassContext

public void visitClassContext(ClassContext classContext)

Description copied from interface: Detector

Visit the ClassContext for a class which should be analyzed for instances of bug patterns.

Specified by:

visitClassContext in interface Detector

Parameters:

classContext - the ClassContext

isCaught

public boolean isCaught(ClassContext classContext,
 org.apache.bcel.classfile.Method method,
 UnconditionalValueDerefSet entryFact,
 ValueNumber paramVN)