|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface NullDerefAndRedundantComparisonCollector
Callback interface for collecting null pointer derefs and redundant null comparisons.
NullDerefAndRedundantComparisonFinder
Method Summary | |
---|---|
void |
foundNullDeref(Location location,
ValueNumber valueNumber,
IsNullValue refValue)
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 comparision is performed. |
Method Detail |
---|
void foundNullDeref(Location location, ValueNumber valueNumber, IsNullValue refValue)
location
- the Location of the null dereferencevalueNumber
- the ValueNumber of the possibly-null valuerefValue
- the kind of possibly-null value dereferencedvoid foundRedundantNullCheck(Location location, RedundantBranch redundantBranch)
location
- the Location of the redundant null checkredundantBranch
- the RedundantBranch
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |