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 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 ClassContext

classContext

protected org.apache.bcel.classfile.Method

method

Fields inherited from interface Priorities
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
Constructor Summary

Constructors

Constructor

Description

CFGDetector()
Method Summary

Modifier and Type

Method

Description

void

finishPass()

This method is called at the end of the analysis pass.

void

visitClass(ClassDescriptor classDescriptor)

Visit a class.

protected abstract void

visitMethodCFG(MethodDescriptor methodDescriptor, CFG cfg)

Visit the CFG (control flow graph) of a method to be analyzed.

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Detector2
getDetectorClassName

Field Details
- classContext
  
  protected ClassContext classContext
- method
  
  protected org.apache.bcel.classfile.Method method
Constructor Details
- CFGDetector
  
  public CFGDetector()
Method Details
- finishPass
  
  public void finishPass()
  
  Description copied from interface: Detector2
  
  This method is called at the end of the analysis pass.
  
  Specified by:
  
  finishPass in interface Detector2
- visitClass
  
  public void visitClass(ClassDescriptor classDescriptor) throws CheckedAnalysisException
  
  Description copied from interface: Detector2
  
  Visit a class.
  
  Specified by:
  
  visitClass in interface Detector2
  
  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