Class TrainFieldStoreTypes

java.lang.Object

edu.umd.cs.findbugs.detect.TrainFieldStoreTypes

All Implemented Interfaces:

Detector, Priorities, TrainingDetector

public class TrainFieldStoreTypes
extends Object
implements Detector, TrainingDetector

Build a database of reference types stored into fields. This can be used in the future to improve the precision of type analysis when values are loaded from fields.

Field Summary

Fields

Modifier and Type	Field	Description
private final BugReporter	bugReporter
private final FieldStoreTypeDatabase	database

Fields inherited from interface Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
TrainFieldStoreTypes(BugReporter bugReporter)

Method Summary

Modifier and Type	Method	Description
private void	analyzeMethod(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 Object

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

Field Details

bugReporter

private final BugReporter bugReporter

database

private final FieldStoreTypeDatabase database

Constructor Details

TrainFieldStoreTypes

public TrainFieldStoreTypes(BugReporter bugReporter)

Method Details

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

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