cz.vutbr.fit.findbugs.atom.detect
Class FindProgLocation

java.lang.Object
  extended by edu.umd.cs.findbugs.bcel.CFGDetector
      extended by cz.vutbr.fit.findbugs.atom.detect.FindProgLocation
All Implemented Interfaces:
edu.umd.cs.findbugs.Detector2, edu.umd.cs.findbugs.Priorities

public class FindProgLocation
extends edu.umd.cs.findbugs.bcel.CFGDetector

FindBugs detector which uses the results of our analysis to producing atoms. At the end the atoms are converted to atomicities and stored into the predefined file.

Author:
zdenek

Field Summary
 
Fields inherited from interface edu.umd.cs.findbugs.Priorities
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
 
Constructor Summary
FindProgLocation(edu.umd.cs.findbugs.BugReporter bugReporter)
          Constructor initialize the atom collection.
 
Method Summary
 void finishPass()
          This class is called at the end of the computation.
protected  void visitMethodCFG(edu.umd.cs.findbugs.classfile.MethodDescriptor methodDescriptor, edu.umd.cs.findbugs.ba.CFG cfg)
          This method is called when this type of detector is starting to analyze some method.
 
Methods inherited from class edu.umd.cs.findbugs.bcel.CFGDetector
getDetectorClassName, visitClass
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FindProgLocation

public FindProgLocation(edu.umd.cs.findbugs.BugReporter bugReporter)
Constructor initialize the atom collection.

Parameters:
bugReporter - is not used
Method Detail

visitMethodCFG

protected void visitMethodCFG(edu.umd.cs.findbugs.classfile.MethodDescriptor methodDescriptor,
                              edu.umd.cs.findbugs.ba.CFG cfg)
                       throws edu.umd.cs.findbugs.classfile.CheckedAnalysisException
This method is called when this type of detector is starting to analyze some method.

The key phase of the analysis is called from here. The previous analysis results are obtained and processed. The collection of atoms is builded.

Specified by:
visitMethodCFG in class edu.umd.cs.findbugs.bcel.CFGDetector
Throws:
edu.umd.cs.findbugs.classfile.CheckedAnalysisException

finishPass

public void finishPass()
This class is called at the end of the computation. The collection of atoms is converted to atomicities and these are stored to the XML file.

Specified by:
finishPass in interface edu.umd.cs.findbugs.Detector2
Overrides:
finishPass in class edu.umd.cs.findbugs.bcel.CFGDetector