Package edu.umd.cs.findbugs.detect

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.

Author:

David Hovemeyer

Field Summary

Fields inherited from class edu.umd.cs.findbugs.detect.BuildUnconditionalParamDerefDatabase

nonnullTypeQualifierValue, 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
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 edu.umd.cs.findbugs.detect.BuildUnconditionalParamDerefDatabase

isCaught, visitClassContext

Methods inherited from class java.lang.Object

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

Constructor Detail

NoteUnconditionalParamDerefs

public NoteUnconditionalParamDerefs(BugReporter bugReporter)

Method Detail

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