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.

Field Summary

Fields

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

Fields inherited from interface 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
private void	analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private void	considerMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
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 Object

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

Methods inherited from interface Detector

report

Field Details

VERBOSE_DEBUG

public static final boolean VERBOSE_DEBUG

DEBUG

private static final boolean 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

considerMethod

private void considerMethod(ClassContext classContext,
 org.apache.bcel.classfile.Method method)

analyzeMethod

private void analyzeMethod(ClassContext classContext,
 org.apache.bcel.classfile.Method method)

isCaught

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