Package edu.umd.cs.findbugs.detect

Class FindTwoLockWait

java.lang.Object

edu.umd.cs.findbugs.detect.FindTwoLockWait

All Implemented Interfaces:

Detector, Priorities, StatelessDetector, java.lang.Cloneable

public final class FindTwoLockWait
extends java.lang.Object
implements Detector, StatelessDetector

Field Summary

Fields

Modifier and Type	Field	Description
private BugReporter	bugReporter
private org.apache.bcel.classfile.JavaClass	javaClass
private java.util.Collection<SourceLineAnnotation>	possibleNotifyLocations
private java.util.Collection<BugInstance>	possibleWaitBugs

Fields inherited from interface edu.umd.cs.findbugs.Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
FindTwoLockWait(BugReporter bugReporter)

Method Summary

Modifier and Type	Method	Description
private void	analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
java.lang.Object	clone()
boolean	preScreen(org.apache.bcel.generic.MethodGen mg)
void	report()	This method is called after all classes to be visited.
void	visitClassContext(ClassContext classContext)	Visit the ClassContext for a class which should be analyzed for instances of bug patterns.
void	visitLocation(ClassContext classContext, Location location, org.apache.bcel.generic.MethodGen methodGen, LockDataflow dataflow)

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

bugReporter

private final BugReporter bugReporter

javaClass

private org.apache.bcel.classfile.JavaClass javaClass

possibleWaitBugs

private final java.util.Collection<BugInstance> possibleWaitBugs

possibleNotifyLocations

private final java.util.Collection<SourceLineAnnotation> possibleNotifyLocations

Constructor Detail

FindTwoLockWait

public FindTwoLockWait(BugReporter bugReporter)

Method Detail

clone

public java.lang.Object clone()

Specified by:

clone in interface StatelessDetector

Overrides:

clone in class java.lang.Object

visitClassContext

public void visitClassContext(ClassContext classContext)

Description copied from interface: Detector

Visit the ClassContext for a class which should be analyzed for instances of bug patterns.

Specified by:

visitClassContext in interface Detector

Parameters:

classContext - the ClassContext

analyzeMethod

private void analyzeMethod(ClassContext classContext,
                           org.apache.bcel.classfile.Method method)
                    throws CFGBuilderException,
                           DataflowAnalysisException

Throws:

CFGBuilderException

DataflowAnalysisException

preScreen

public boolean preScreen(org.apache.bcel.generic.MethodGen mg)

visitLocation

public void visitLocation(ClassContext classContext,
                          Location location,
                          org.apache.bcel.generic.MethodGen methodGen,
                          LockDataflow dataflow)
                   throws DataflowAnalysisException

Throws:

DataflowAnalysisException

report

public void report()

Description copied from interface: Detector

This method is called after all classes to be visited. It should be used by any detectors which accumulate information over all visited classes to generate results.

Specified by:

report in interface Detector