Package edu.umd.cs.findbugs.bcel
Class CFGDetector
- java.lang.Object
-
- edu.umd.cs.findbugs.bcel.CFGDetector
-
- All Implemented Interfaces:
Detector2,Priorities
- Direct Known Subclasses:
CheckTypeQualifiers,FindUnsatisfiedObligation
public abstract class CFGDetector extends java.lang.Object implements Detector2
Base class for detectors that analyze CFG (and/or use CFG-based analyses).
-
-
Field Summary
Fields Modifier and Type Field Description protected ClassContextclassContextprotected org.apache.bcel.classfile.Methodmethod-
Fields inherited from interface edu.umd.cs.findbugs.Priorities
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
-
-
Constructor Summary
Constructors Constructor Description CFGDetector()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description voidfinishPass()This method is called at the end of the analysis pass.voidvisitClass(ClassDescriptor classDescriptor)Visit a class.protected abstract voidvisitMethodCFG(MethodDescriptor methodDescriptor, CFG cfg)Visit the CFG (control flow graph) of a method to be analyzed.-
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.Detector2
getDetectorClassName
-
-
-
-
Field Detail
-
classContext
protected ClassContext classContext
-
method
protected org.apache.bcel.classfile.Method method
-
-
Method Detail
-
finishPass
public void finishPass()
Description copied from interface:Detector2This method is called at the end of the analysis pass.- Specified by:
finishPassin interfaceDetector2
-
visitClass
public void visitClass(ClassDescriptor classDescriptor) throws CheckedAnalysisException
Description copied from interface:Detector2Visit a class.- Specified by:
visitClassin interfaceDetector2- Parameters:
classDescriptor- descriptor naming the class to visit- Throws:
CheckedAnalysisException- if an exception occurs during analysis
-
visitMethodCFG
protected abstract void visitMethodCFG(MethodDescriptor methodDescriptor, CFG cfg) throws CheckedAnalysisException
Visit the CFG (control flow graph) of a method to be analyzed. Should be overridden by subclasses.- Parameters:
methodDescriptor-cfg-- Throws:
CheckedAnalysisException
-
-