Package edu.umd.cs.findbugs.detect

Class NoteNonnullReturnValues

java.lang.Object

edu.umd.cs.findbugs.detect.BuildNonnullReturnDatabase

edu.umd.cs.findbugs.detect.NoteNonnullReturnValues

All Implemented Interfaces:

Detector, FirstPassDetector, InterproceduralFirstPassDetector, NonReportingDetector, Priorities

public class NoteNonnullReturnValues
extends BuildNonnullReturnDatabase
implements Detector, NonReportingDetector, InterproceduralFirstPassDetector

As a first scanning pass, 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.BuildNonnullReturnDatabase

returnsNonNull, returnsReference, 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
NoteNonnullReturnValues(BugReporter bugReporter)

Method Summary

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

Methods inherited from class edu.umd.cs.findbugs.detect.BuildNonnullReturnDatabase

visitClassContext

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

visitClassContext

Methods inherited from class java.lang.Object

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

Constructor Detail

NoteNonnullReturnValues

public NoteNonnullReturnValues(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