Class DontIgnoreResultOfPutIfAbsent

java.lang.Object

edu.umd.cs.findbugs.detect.DontIgnoreResultOfPutIfAbsent

All Implemented Interfaces:

Detector, Priorities

public class DontIgnoreResultOfPutIfAbsent
extends Object
implements Detector

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final BugAccumulator	accumulator
(package private) final BugReporter	bugReporter
(package private) final ClassDescriptor	concurrentMapDescriptor
(package private) static final boolean	DEBUG
(package private) static final Set<String>	immutableClassNames

Fields inherited from interface Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
DontIgnoreResultOfPutIfAbsent(BugReporter bugReporter)

Method Summary

Modifier and Type	Method	Description
private void	analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private boolean	extendsConcurrentMap(String className)
private static int	getPriorityForBeingMutable(org.apache.bcel.generic.Type type)
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 Object

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

Field Details

bugReporter

final BugReporter bugReporter

accumulator

final BugAccumulator accumulator

concurrentMapDescriptor

final ClassDescriptor concurrentMapDescriptor

DEBUG

static final boolean DEBUG

See Also:

• Constant Field Values

immutableClassNames

@StaticConstant
static final Set<String> immutableClassNames

Constructor Details

DontIgnoreResultOfPutIfAbsent

public DontIgnoreResultOfPutIfAbsent(BugReporter bugReporter)

Method Details

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

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

getPriorityForBeingMutable

private static int getPriorityForBeingMutable(org.apache.bcel.generic.Type type)

analyzeMethod

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

Throws:

DataflowAnalysisException

CFGBuilderException

extendsConcurrentMap

private boolean extendsConcurrentMap(@DottedClassName
 String className)