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 protected int
nonnullReferenceParameters
TypeQualifierValue
nonnullTypeQualifierValue
protected int
referenceParameters
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 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
-
nonnullTypeQualifierValue
public final TypeQualifierValue nonnullTypeQualifierValue
-
referenceParameters
protected int referenceParameters
-
nonnullReferenceParameters
protected int nonnullReferenceParameters
-
-
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
-
-