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

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.

Methods inherited from class java.lang.Object

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

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 interface Detector

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

Throws:

DataflowAnalysisException

CFGBuilderException

analyzeMethod

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

Throws:

CFGBuilderException

DataflowAnalysisException

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