Class NoteUnconditionalParamDerefs

java.lang.Object

edu.umd.cs.findbugs.detect.BuildUnconditionalParamDerefDatabase

edu.umd.cs.findbugs.detect.NoteUnconditionalParamDerefs

All Implemented Interfaces:

Detector, FirstPassDetector, InterproceduralFirstPassDetector, NonReportingDetector, Priorities

public class NoteUnconditionalParamDerefs
extends BuildUnconditionalParamDerefDatabase
implements NonReportingDetector, InterproceduralFirstPassDetector

Make a note of unconditionally dereferenced parameters for later use by FindNullDerefs.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final BugReporter	reporter

Fields inherited from class BuildUnconditionalParamDerefDatabase

nonnullTypeQualifierValue, VERBOSE_DEBUG

Fields inherited from interface Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
NoteUnconditionalParamDerefs(BugReporter bugReporter)

Method Summary

Modifier and Type	Method	Description
void	report()	This method is called after all classes to be visited.
protected void	reportBug(BugInstance bug)

Methods inherited from class BuildUnconditionalParamDerefDatabase

isCaught, visitClassContext

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

reporter

final BugReporter reporter

Constructor Details

NoteUnconditionalParamDerefs

public NoteUnconditionalParamDerefs(BugReporter bugReporter)

Method Details

report

public void report()

Description copied from interface: Detector

This method is called after all classes to be visited. It should be used by any detectors which accumulate information over all visited classes to generate results.

Specified by:

report in interface Detector

reportBug

protected void reportBug(BugInstance bug)

Specified by:

reportBug in class BuildUnconditionalParamDerefDatabase