@ParametersAreNonnullByDefault @DefaultAnnotationForParameters(value=NonNull.class)

Package edu.umd.cs.findbugs.ba.vna

Interface Summary

Interface	Description
ValueNumberAnalysisFeatures	Global flags controlling ValueNumberAnalysis.

Class Summary

Class	Description
AvailableLoad	An AvailableLoad indicates a field and (optionally) object reference for which a value is available.
LoadedFieldSet	Object which stores which fields are loaded and stored by the instructions in a method (including through inner-class access methods), and also which fields are loaded/stored by the overall method.
LoadedFieldSet.LoadStoreCount	Count number of times a field is loaded and/or stored in the method.
MergeTree	Data structure to keep track of which input ValueNumbers were combined to produce which other output ValueNumbers.
ValueNumber	A "value number" is a value produced somewhere in a methods.
ValueNumberAnalysis	A dataflow analysis to track the production and flow of values in the Java stack frame.
ValueNumberCache	A cache mapping instructions and input values to the output values they produce.
ValueNumberCache.Entry	An entry in the cache.
ValueNumberDataflow
ValueNumberFactory	Factory for ValueNumbers.
ValueNumberFrame	A dataflow value representing a Java stack frame with value number information.
ValueNumberFrameModelingVisitor	Visitor which models the effects of bytecode instructions on value numbers of values in the operand stack frames.
ValueNumberSourceInfo	Helper methods to find out information about the source of the value represented by a given ValueNumber.