FindBugs™ 1.3.9

edu.umd.cs.findbugs.detect
Class FindInconsistentSync2

java.lang.Object
  extended by 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
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.
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

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.