edu.umd.cs.findbugs.detect

Class NullDerefProperty

java.lang.Object

edu.umd.cs.findbugs.props.AbstractWarningProperty

edu.umd.cs.findbugs.detect.NullDerefProperty

All Implemented Interfaces:

WarningProperty

public class NullDerefProperty
extends AbstractWarningProperty

Warning properties for null pointer dereference and redundant null comparison warnings.

Author:

David Hovemeyer

Field Summary

Fields

Modifier and Type	Field and Description
static NullDerefProperty	ALWAYS_ON_EXCEPTION_PATH dereference always on exception path
static NullDerefProperty	CHECKED_VALUE Redundant null comparison is of a checked null value.
static NullDerefProperty	CLOSING_NULL
static NullDerefProperty	CREATED_DEAD_CODE Redundant nullcheck created dead code.
static NullDerefProperty	DEREFS_ARE_CLONED
static NullDerefProperty	DEREFS_ARE_INLINED_FINALLY_BLOCKS
static NullDerefProperty	DEREFS_IN_CATCH_BLOCKS
static NullDerefProperty	LONG_RANGE_NULL_SOURCE Redundant null comparison is of a checked null value.
static NullDerefProperty	WOULD_HAVE_BEEN_A_KABOOM Redundant nullcheck of previously dereferenced value.

Method Summary

Methods inherited from class edu.umd.cs.findbugs.props.AbstractWarningProperty

getName, getPriorityAdjustment

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

CHECKED_VALUE

public static final NullDerefProperty CHECKED_VALUE

Redundant null comparison is of a checked null value.

LONG_RANGE_NULL_SOURCE

public static final NullDerefProperty LONG_RANGE_NULL_SOURCE

Redundant null comparison is of a checked null value.

ALWAYS_ON_EXCEPTION_PATH

public static final NullDerefProperty ALWAYS_ON_EXCEPTION_PATH

dereference always on exception path

WOULD_HAVE_BEEN_A_KABOOM

public static final NullDerefProperty WOULD_HAVE_BEEN_A_KABOOM

Redundant nullcheck of previously dereferenced value.

CREATED_DEAD_CODE

public static final NullDerefProperty CREATED_DEAD_CODE

Redundant nullcheck created dead code.

DEREFS_ARE_CLONED

public static final NullDerefProperty DEREFS_ARE_CLONED

CLOSING_NULL

public static final NullDerefProperty CLOSING_NULL

DEREFS_ARE_INLINED_FINALLY_BLOCKS

public static final NullDerefProperty DEREFS_ARE_INLINED_FINALLY_BLOCKS

DEREFS_IN_CATCH_BLOCKS

public static final NullDerefProperty DEREFS_IN_CATCH_BLOCKS