@DefaultAnnotationForParameters(value=NonNull.class)

Package edu.umd.cs.findbugs.ba.npe

Interface Summary

IsNullValueAnalysisFeatures	Knobs for null value analysis.
NonNullContractCollector.SpecificationBuilder
NullDerefAndRedundantComparisonCollector	Callback interface for collecting null pointer derefs and redundant null comparisons.

Class Summary

IsNullConditionDecision	A control decision which resulted in information being gained about whether a particular value is null or non-null on the IFCMP_EDGE and FALL_THROUGH_EDGE branches.
IsNullValue	A class to abstractly represent values in stack slots, indicating whether thoses values can be null, non-null, null on some incoming path, or unknown.
IsNullValueAnalysis	A dataflow analysis to detect potential null pointer dereferences.
IsNullValueDataflow
IsNullValueFrame
IsNullValueFrameModelingVisitor
MayReturnNullPropertyDatabase	Deprecated.
NonNullContractCollector	Find the contract specified by @NonNull and @CheckForNull parameter annotations in the class hierarchy.
NonNullParamViolation
NonNullReturnValueAnnotationChecker	Deprecated.
NonNullSpecification
NullDerefAndRedundantComparisonFinder	A user-friendly front end for finding null pointer dereferences and redundant null comparisions.
ParameterNullnessProperty	Method property recording which parameters are (or should be) non-null, meaning that null values should be passed as their arguments.
ParameterNullnessPropertyDatabase	Method property database storing which method parameters might be unconditionally dereferenced.
RedundantBranch	An instruction recorded as a redundant reference comparison.
UnconditionalDerefAnalysis	Dataflow analysis to look for parameters dereferenced unconditionally.
UnconditionalDerefDataflow	Dataflow class for UnconditionalDerefAnalysis.
UnconditionalDerefSet
WillBeDereferencedAnalysis	Dataflow analysis to look for parameters dereferenced unconditionally.
WillBeDereferencedInfo