FindBugs™ 1.3.8

edu.umd.cs.findbugs.ba.npe
Interface NullDerefAndRedundantComparisonCollector

All Known Implementing Classes:
FindNullDeref, NoiseNullDeref

public interface NullDerefAndRedundantComparisonCollector

Callback interface for collecting null pointer derefs and redundant null comparisons.

Author:
David Hovemeyer
See Also:
NullDerefAndRedundantComparisonFinder

Method Summary
 void foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet, java.util.Set<Location> derefLocationSet, java.util.SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)
          Subclasses should override this method to capture values assigned null (or that become null through a comparison and branch) that are guaranteed to reach a dereference (ignoring implicit exception paths).
 void foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)
          Subclasses should override this method to capture locations where a null pointer is dereferenced.
 void foundRedundantNullCheck(Location location, RedundantBranch redundantBranch)
          Subclasses should override this method to capture locations where a redundant null comparison is performed.
 

Method Detail

foundNullDeref

void foundNullDeref(Location location,
                    ValueNumber valueNumber,
                    IsNullValue refValue,
                    ValueNumberFrame vnaFrame)
Subclasses should override this method to capture locations where a null pointer is dereferenced.

Parameters:
location - the Location of the null dereference
valueNumber - the ValueNumber of the possibly-null value
refValue - the kind of possibly-null value dereferenced
vnaFrame - The ValueNumber Frame at the point where the dereference occurred

foundRedundantNullCheck

void foundRedundantNullCheck(Location location,
                             RedundantBranch redundantBranch)
Subclasses should override this method to capture locations where a redundant null comparison is performed.

Parameters:
location - the Location of the redundant null check
redundantBranch - the RedundantBranch

foundGuaranteedNullDeref

void foundGuaranteedNullDeref(java.util.Set<Location> assignedNullLocationSet,
                              java.util.Set<Location> derefLocationSet,
                              java.util.SortedSet<Location> doomedLocations,
                              ValueNumberDataflow vna,
                              ValueNumber refValue,
                              @CheckForNull
                              BugAnnotation variableAnnotation,
                              NullValueUnconditionalDeref deref,
                              boolean npeIfStatementCovered)
Subclasses should override this method to capture values assigned null (or that become null through a comparison and branch) that are guaranteed to reach a dereference (ignoring implicit exception paths).

Parameters:
assignedNullLocationSet - set of locations where the value becomes null
derefLocationSet - set of locations where dereferences occur
doomedLocations - locations at which the value is doomed
vna - ValueNumberDataflow
refValue - the null value
variableAnnotation - TODO
deref - TODO
npeIfStatementCovered - true if doom location is a statement

FindBugs™ 1.3.8

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.