public abstract class BuildUnconditionalParamDerefDatabase extends java.lang.Object implements Detector
Modifier and Type | Field and Description |
---|---|
protected int |
nonnullReferenceParameters |
TypeQualifierValue |
nonnullTypeQualifierValue |
protected int |
referenceParameters |
static boolean |
VERBOSE_DEBUG |
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
Constructor and Description |
---|
BuildUnconditionalParamDerefDatabase() |
Modifier and Type | Method and 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.
|
public static final boolean VERBOSE_DEBUG
public final TypeQualifierValue nonnullTypeQualifierValue
protected int referenceParameters
protected int nonnullReferenceParameters
public BuildUnconditionalParamDerefDatabase()
protected abstract void reportBug(BugInstance bug)
public void visitClassContext(ClassContext classContext)
Detector
visitClassContext
in interface Detector
classContext
- the ClassContextFindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.