Package edu.umd.cs.findbugs.detect
Class FindInconsistentSync2
java.lang.Object
edu.umd.cs.findbugs.detect.FindInconsistentSync2
- All Implemented Interfaces:
Detector,Priorities
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 -
Method Summary
Modifier and TypeMethodDescriptionstatic booleanisGetterMethod(ClassContext classContext, org.apache.bcel.classfile.Method method) Determine whether or not the the given method is a getter method.static booleanisServletField(XField field) voidreport()This method is called after all classes to be visited.voidvisitClassContext(ClassContext classContext) Visit the ClassContext for a class which should be analyzed for instances of bug patterns.
-
Constructor Details
-
FindInconsistentSync2
-
-
Method Details
-
isServletField
-
visitClassContext
Description copied from interface:DetectorVisit the ClassContext for a class which should be analyzed for instances of bug patterns.- Specified by:
visitClassContextin interfaceDetector- Parameters:
classContext- the ClassContext
-
report
public void report()Description copied from interface:DetectorThis 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. -
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 methodmethod- the method
-