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.

Field Summary

Fields

Modifier and Type	Field	Description
private static boolean	DEBUG
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

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 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 Detail

VERBOSE_DEBUG

public static final boolean VERBOSE_DEBUG

DEBUG

private static final boolean DEBUG

nonnullTypeQualifierValue

public final TypeQualifierValue<javax.annotation.Nonnull> nonnullTypeQualifierValue

Constructor Detail

BuildUnconditionalParamDerefDatabase

protected 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

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)