Detector
, Priorities
NoteUnconditionalParamDerefs
, TrainUnconditionalDerefParams
public abstract class BuildUnconditionalParamDerefDatabase extends java.lang.Object implements Detector
Modifier and Type | Field | Description |
---|---|---|
protected int |
nonnullReferenceParameters |
|
TypeQualifierValue |
nonnullTypeQualifierValue |
|
protected int |
referenceParameters |
|
static boolean |
VERBOSE_DEBUG |
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
Constructor | Description |
---|---|
BuildUnconditionalParamDerefDatabase() |
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.
|
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.