edu.umd.cs.findbugs.detect

Class DeadLocalStoreProperty

java.lang.Object

edu.umd.cs.findbugs.props.AbstractWarningProperty

edu.umd.cs.findbugs.detect.DeadLocalStoreProperty

All Implemented Interfaces:

WarningProperty

public class DeadLocalStoreProperty
extends AbstractWarningProperty

Warning property for FindDeadLocalStores.

Author:

David Hovemeyer

Field Summary

Fields

Modifier and Type	Field and Description
static DeadLocalStoreProperty	BASE_VALUE primitive or string
static DeadLocalStoreProperty	CACHING_VALUE Caching value
static DeadLocalStoreProperty	CLONED_STORE A store that seemed to have been cloned (an inlined finally block or JSR?
static DeadLocalStoreProperty	COPY_VALUE copy value
static DeadLocalStoreProperty	DEAD_INCREMENT The dead store is an increment.
static DeadLocalStoreProperty	DEAD_INCREMENT_IN_MAIN
static DeadLocalStoreProperty	DEAD_INCREMENT_IN_RETURN
static DeadLocalStoreProperty	DEAD_OBJECT_STORE Dead store is of a newly allocated object.
static DeadLocalStoreProperty	DEFENSIVE_CONSTANT_OPCODE Dead store is of a defense programming constant value.
static DeadLocalStoreProperty	DUP_THEN_STORE There is a dup immediately before the store; perhaps a ++ operation
static DeadLocalStoreProperty	EXCEPTION_HANDLER Dead store is likely to be the exception object in an exception handler.
static DeadLocalStoreProperty	IN_JSP_PAGE A store in a JSP page
static DeadLocalStoreProperty	IS_PARAMETER
static DeadLocalStoreProperty	KILLED_BY_SUBSEQUENT_STORE Store is killed by a subsequent store.
static DeadLocalStoreProperty	LOCAL_NAME Name of the local variable.
static DeadLocalStoreProperty	MANY_STORES many stores
static DeadLocalStoreProperty	METHOD_RESULT
static DeadLocalStoreProperty	NO_LOADS There are no loads of this local.
static DeadLocalStoreProperty	NOT_JAVA A store in non Java page
static DeadLocalStoreProperty	PARAM_DEAD_ON_ENTRY This local is a parameter which is dead on entry to the method.
static DeadLocalStoreProperty	SHADOWS_FIELD Variable shadows a fields with the same name
static DeadLocalStoreProperty	SINGLE_DEAD_INCREMENT The dead store is an increment: the only one in the method.
static DeadLocalStoreProperty	SINGLE_STORE There is only one store of this local.
static DeadLocalStoreProperty	STORE_OF_CONSTANT
static DeadLocalStoreProperty	STORE_OF_DATABASE_VALUE Store of database operation
static DeadLocalStoreProperty	STORE_OF_NULL
static DeadLocalStoreProperty	SYNTHETIC_NAME
static DeadLocalStoreProperty	TWO_STORES_MULTIPLE_LOADS Method contains two stores and multiple loads of this local.

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

IN_JSP_PAGE

public static final DeadLocalStoreProperty IN_JSP_PAGE

A store in a JSP page

NOT_JAVA

public static final DeadLocalStoreProperty NOT_JAVA

A store in non Java page

CLONED_STORE

public static final DeadLocalStoreProperty CLONED_STORE

A store that seemed to have been cloned (an inlined finally block or JSR?

KILLED_BY_SUBSEQUENT_STORE

public static final DeadLocalStoreProperty KILLED_BY_SUBSEQUENT_STORE

Store is killed by a subsequent store.

STORE_OF_DATABASE_VALUE

public static final DeadLocalStoreProperty STORE_OF_DATABASE_VALUE

Store of database operation

DEFENSIVE_CONSTANT_OPCODE

public static final DeadLocalStoreProperty DEFENSIVE_CONSTANT_OPCODE

Dead store is of a defense programming constant value.

EXCEPTION_HANDLER

public static final DeadLocalStoreProperty EXCEPTION_HANDLER

Dead store is likely to be the exception object in an exception handler.

DEAD_INCREMENT

public static final DeadLocalStoreProperty DEAD_INCREMENT

The dead store is an increment.

DEAD_INCREMENT_IN_RETURN

public static final DeadLocalStoreProperty DEAD_INCREMENT_IN_RETURN

DEAD_INCREMENT_IN_MAIN

public static final DeadLocalStoreProperty DEAD_INCREMENT_IN_MAIN

METHOD_RESULT

public static final DeadLocalStoreProperty METHOD_RESULT

SINGLE_DEAD_INCREMENT

public static final DeadLocalStoreProperty SINGLE_DEAD_INCREMENT

The dead store is an increment: the only one in the method.

DEAD_OBJECT_STORE

public static final DeadLocalStoreProperty DEAD_OBJECT_STORE

Dead store is of a newly allocated object.

TWO_STORES_MULTIPLE_LOADS

public static final DeadLocalStoreProperty TWO_STORES_MULTIPLE_LOADS

Method contains two stores and multiple loads of this local.

SINGLE_STORE

public static final DeadLocalStoreProperty SINGLE_STORE

There is only one store of this local. (Maybe it's final?)

DUP_THEN_STORE

public static final DeadLocalStoreProperty DUP_THEN_STORE

There is a dup immediately before the store; perhaps a ++ operation

NO_LOADS

public static final DeadLocalStoreProperty NO_LOADS

There are no loads of this local. (Maybe it's final?).

SHADOWS_FIELD

public static final DeadLocalStoreProperty SHADOWS_FIELD

Variable shadows a fields with the same name

SYNTHETIC_NAME

public static final DeadLocalStoreProperty SYNTHETIC_NAME

PARAM_DEAD_ON_ENTRY

public static final DeadLocalStoreProperty PARAM_DEAD_ON_ENTRY

This local is a parameter which is dead on entry to the method.

LOCAL_NAME

public static final DeadLocalStoreProperty LOCAL_NAME

Name of the local variable.

CACHING_VALUE

public static final DeadLocalStoreProperty CACHING_VALUE

Caching value

COPY_VALUE

public static final DeadLocalStoreProperty COPY_VALUE

copy value

BASE_VALUE

public static final DeadLocalStoreProperty BASE_VALUE

primitive or string

MANY_STORES

public static final DeadLocalStoreProperty MANY_STORES

many stores

STORE_OF_NULL

public static final DeadLocalStoreProperty STORE_OF_NULL

STORE_OF_CONSTANT

public static final DeadLocalStoreProperty STORE_OF_CONSTANT

IS_PARAMETER

public static final DeadLocalStoreProperty IS_PARAMETER