Detector2
, Priorities
public class FindUnsatisfiedObligation extends CFGDetector
See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
Constructor | Description |
---|---|
FindUnsatisfiedObligation(BugReporter bugReporter) |
Modifier and Type | Method | Description |
---|---|---|
void |
report() |
|
void |
visitClass(ClassDescriptor classDescriptor) |
Visit a class.
|
protected void |
visitMethodCFG(MethodDescriptor methodDescriptor,
CFG cfg) |
Visit the CFG (control flow graph) of a method to be analyzed.
|
finishPass, getDetectorClassName
public FindUnsatisfiedObligation(BugReporter bugReporter)
public void visitClass(ClassDescriptor classDescriptor) throws CheckedAnalysisException
Detector2
visitClass
in interface Detector2
visitClass
in class CFGDetector
classDescriptor
- descriptor naming the class to visitCheckedAnalysisException
- if an exception occurs during analysisprotected void visitMethodCFG(MethodDescriptor methodDescriptor, CFG cfg) throws CheckedAnalysisException
CFGDetector
visitMethodCFG
in class CFGDetector
CheckedAnalysisException
public void report()
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.