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 Detector, 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

nonnullReferenceParameters, nonnullTypeQualifierValue, referenceParameters, VERBOSE_DEBUG

Fields inherited from interface edu.umd.cs.findbugs.Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

NoteUnconditionalParamDerefs(BugReporter bugReporter)

Method Summary

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

visitClassContext

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.umd.cs.findbugs.Detector

visitClassContext

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