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 java.lang.Object
implements Detector

Build database of unconditionally dereferenced parameters.

Author:

David Hovemeyer

Field Summary

Fields

Modifier and Type	Field	Description
TypeQualifierValue<javax.annotation.Nonnull>	nonnullTypeQualifierValue
static 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

Constructor	Description
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 interface edu.umd.cs.findbugs.Detector

report

Methods inherited from class java.lang.Object

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

Field Detail

VERBOSE_DEBUG

public static final boolean VERBOSE_DEBUG

nonnullTypeQualifierValue

public final TypeQualifierValue<javax.annotation.Nonnull> nonnullTypeQualifierValue

Constructor Detail

BuildUnconditionalParamDerefDatabase

public BuildUnconditionalParamDerefDatabase()

Method Detail

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)