edu.umd.cs.findbugs.detect
Class FindInconsistentSync2

java.lang.Object
  edu.umd.cs.findbugs.detect.FindInconsistentSync2

All Implemented Interfaces:

Detector

public class FindInconsistentSync2
extends java.lang.Object
implements Detector

Find instance fields which are sometimes accessed (read or written) with the receiver lock held and sometimes without. These are candidates to be data races.

Author:

David Hovemeyer, Bill Pugh

Field Summary

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

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

FindInconsistentSync2(BugReporter bugReporter)

Method Summary

static boolean	isGetterMethod(ClassContext classContext, org.apache.bcel.classfile.Method method) Determine whether or not the the given method is a getter method.
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.

Methods inherited from class java.lang.Object

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

Constructor Detail

FindInconsistentSync2

public FindInconsistentSync2(BugReporter bugReporter)

Method Detail

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

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

isGetterMethod

public static boolean isGetterMethod(ClassContext classContext,
                                     org.apache.bcel.classfile.Method method)

Determine whether or not the the given method is a getter method. I.e., if it just returns the value of an instance field.

Parameters:

classContext - the ClassContext for the class containing the method

method - the method