edu.umd.cs.findbugs.detect

Class FindInconsistentSync2

java.lang.Object

edu.umd.cs.findbugs.detect.FindInconsistentSync2

All Implemented Interfaces:

Detector, Priorities

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.Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor and Description
FindInconsistentSync2(BugReporter bugReporter)

Method Summary

Methods

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

isServletField

public static boolean isServletField(XField field)

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