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
All Methods Instance Methods Concrete Methods 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 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
-
NoteNonnullReturnValues
public NoteNonnullReturnValues(BugReporter bugReporter)
-
-