Package edu.umd.cs.findbugs.detect
Class FindBadCast2
- java.lang.Object
-
- edu.umd.cs.findbugs.detect.FindBadCast2
-
- All Implemented Interfaces:
Detector
,Priorities
public class FindBadCast2 extends java.lang.Object implements Detector
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.Set<java.lang.String>
abstractCollectionClasses
private BugReporter
bugReporter
private java.util.Set<java.lang.String>
concreteCollectionClasses
private static boolean
DEBUG
private java.util.Set<java.lang.String>
veryAbstractCollectionClasses
-
Fields inherited from interface edu.umd.cs.findbugs.Priorities
EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY
-
-
Constructor Summary
Constructors Constructor Description FindBadCast2(BugReporter bugReporter)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private void
analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method)
private java.util.Set<ValueNumber>
getParameterValueNumbers(ClassContext classContext, org.apache.bcel.classfile.Method method, CFG cfg)
boolean
prescreen(ClassContext classContext, org.apache.bcel.classfile.Method 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.
-
-
-
Field Detail
-
bugReporter
private final BugReporter bugReporter
-
concreteCollectionClasses
private final java.util.Set<java.lang.String> concreteCollectionClasses
-
abstractCollectionClasses
private final java.util.Set<java.lang.String> abstractCollectionClasses
-
veryAbstractCollectionClasses
private final java.util.Set<java.lang.String> veryAbstractCollectionClasses
-
DEBUG
private static final boolean DEBUG
-
-
Constructor Detail
-
FindBadCast2
public FindBadCast2(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 interfaceDetector
- Parameters:
classContext
- the ClassContext
-
prescreen
public boolean prescreen(ClassContext classContext, org.apache.bcel.classfile.Method method)
-
getParameterValueNumbers
private java.util.Set<ValueNumber> getParameterValueNumbers(ClassContext classContext, org.apache.bcel.classfile.Method method, CFG cfg) throws DataflowAnalysisException, CFGBuilderException
-
analyzeMethod
private void analyzeMethod(ClassContext classContext, org.apache.bcel.classfile.Method method) throws CFGBuilderException, DataflowAnalysisException
-
-