| edu.umd.cs.findbugs.ba.npe.NullDerefAndRedundantComparisonCollector
All known Subclasses: edu.umd.cs.findbugs.detect.FindNullDeref,
Method Summary | |
public void | foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, 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). | public void | foundNullDeref(ClassContext classContext, Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame) Subclasses should override this method to capture locations where
a null pointer is dereferenced. | public void | foundRedundantNullCheck(Location location, RedundantBranch redundantBranch) Subclasses should override this method to capture locations where
a redundant null comparision is performed. |
foundGuaranteedNullDeref | public void foundGuaranteedNullDeref(Set<Location> assignedNullLocationSet, Set<Location> derefLocationSet, SortedSet<Location> doomedLocations, ValueNumberDataflow vna, ValueNumber refValue, BugAnnotation variableAnnotation, NullValueUnconditionalDeref deref, boolean npeIfStatementCovered)(Code) | | 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 Parameters: derefLocationSet - set of locations where dereferences occur Parameters: doomedLocations - locations at which the value is doomed Parameters: vna - ValueNumberDataflow Parameters: refValue - the null value Parameters: variableAnnotation - TODO Parameters: deref - TODO Parameters: npeIfStatementCovered - true if doom location is a statement |
foundNullDeref | public void foundNullDeref(ClassContext classContext, Location location, ValueNumber valueNumber, IsNullValue refValue, ValueNumberFrame vnaFrame)(Code) | | Subclasses should override this method to capture locations where
a null pointer is dereferenced.
Parameters: classContext - TODO Parameters: location - the Location of the null dereference Parameters: valueNumber - the ValueNumber of the possibly-null value Parameters: refValue - the kind of possibly-null value dereferenced Parameters: vnaFrame - The ValueNumber Frame at the point where the dereference occurred |
foundRedundantNullCheck | public void foundRedundantNullCheck(Location location, RedundantBranch redundantBranch)(Code) | | Subclasses should override this method to capture locations where
a redundant null comparision is performed.
Parameters: location - the Location of the redundant null check Parameters: redundantBranch - the RedundantBranch |
|
|