Uses of Class
edu.umd.cs.findbugs.ba.npe.NullValueUnconditionalDeref

Packages that use NullValueUnconditionalDeref

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

Uses of NullValueUnconditionalDeref in edu.umd.cs.findbugs.ba.npe

Methods in edu.umd.cs.findbugs.ba.npe with parameters of type NullValueUnconditionalDeref

Modifier and Type

Method and Description

void

NullDerefAndRedundantComparisonCollector.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).

Method parameters in edu.umd.cs.findbugs.ba.npe with type arguments of type NullValueUnconditionalDeref

Modifier and Type	Method and Description
void	NullDerefAndRedundantComparisonFinder.checkEdges(CFG cfg, java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugEdgeLocationMap)
void	NullDerefAndRedundantComparisonFinder.reportBugs(java.util.Map<ValueNumber,NullValueUnconditionalDeref> nullValueGuaranteedDerefMap, java.util.HashSet<ValueNumber> npeIfStatementCovered, java.util.Map<ValueNumber,java.util.SortedSet<Location>> bugLocationMap, java.util.Map<ValueNumber,java.util.Set<Location>> nullValueAssignmentMap)

Uses of NullValueUnconditionalDeref in edu.umd.cs.findbugs.detect

Methods in edu.umd.cs.findbugs.detect with parameters of type NullValueUnconditionalDeref

Modifier and Type	Method and Description
void	NoiseNullDeref.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)
void	FindNullDeref.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)