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 Constructor Description BuildUnconditionalParamDerefDatabase()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods 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.
-
-
-
Field Detail
-
VERBOSE_DEBUG
public static final boolean VERBOSE_DEBUG
-
DEBUG
private static final boolean DEBUG
-
nonnullTypeQualifierValue
public final TypeQualifierValue<javax.annotation.Nonnull> nonnullTypeQualifierValue
-
-
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 interfaceDetector
- 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)
-
-