Class FindUselessObjects.UselessValuesContext

java.lang.Object

edu.umd.cs.findbugs.detect.FindUselessObjects.UselessValuesContext

Enclosing class:

FindUselessObjects

private class FindUselessObjects.UselessValuesContext
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
(package private) CFG	cfg
(package private) ClassContext	classContext
(package private) int	count
(package private) org.apache.bcel.generic.ConstantPoolGen	cpg
(package private) org.apache.bcel.classfile.Method	method
(package private) Map<Integer, FindUselessObjects.ValueInfo>	observedValues
(package private) TypeAnalysis	ta
(package private) ValueNumber	thisValue
(package private) Map<Integer, Set<FindUselessObjects.ValueInfo>>	values
(package private) ValueNumberAnalysis	vna

Constructor Summary

Constructors

Constructor	Description
UselessValuesContext(ClassContext classContext, org.apache.bcel.classfile.Method method)

Method Summary

Modifier and Type	Method	Description
(package private) void	enhanceViaMergeTree()
(package private) boolean	escaped(ValueNumber vn)
(package private) Iterator<FindUselessObjects.GenLocation>	genIterator()
(package private) Set<FindUselessObjects.ValueInfo>	getLiveVals(ValueNumber vn)
(package private) void	initObservedValues()
(package private) boolean	isEmpty()
(package private) boolean	propagateToReturnValue(Set<FindUselessObjects.ValueInfo> vals, ValueNumber vn, FindUselessObjects.GenLocation location, MethodDescriptor m)
(package private) boolean	propagateValues(Set<FindUselessObjects.ValueInfo> vals, ValueNumber origNumber, ValueNumber vn)
(package private) void	report()
(package private) boolean	setDerivedEscape(Set<FindUselessObjects.ValueInfo> vals, ValueNumber vn)
(package private) boolean	setEscape(Set<FindUselessObjects.ValueInfo> vals)
(package private) boolean	setObjectOnly(Set<FindUselessObjects.ValueInfo> vals, ValueNumber vn)
(package private) boolean	setUsed(Set<FindUselessObjects.ValueInfo> vals)

Methods inherited from class Object

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

Field Details

vna

ValueNumberAnalysis vna

ta

TypeAnalysis ta

cfg

CFG cfg

count

int count

observedValues

Map<Integer, FindUselessObjects.ValueInfo> observedValues

cpg

org.apache.bcel.generic.ConstantPoolGen cpg

values

Map<Integer, Set<FindUselessObjects.ValueInfo>> values

thisValue

ValueNumber thisValue

classContext

ClassContext classContext

method

org.apache.bcel.classfile.Method method

Constructor Details

UselessValuesContext

UselessValuesContext(ClassContext classContext,
 org.apache.bcel.classfile.Method method)
              throws CheckedAnalysisException

Throws:

CheckedAnalysisException

Method Details

initObservedValues

void initObservedValues()
                 throws DataflowAnalysisException

Throws:

DataflowAnalysisException

enhanceViaMergeTree

void enhanceViaMergeTree()

setEscape

boolean setEscape(Set<FindUselessObjects.ValueInfo> vals)

setDerivedEscape

boolean setDerivedEscape(Set<FindUselessObjects.ValueInfo> vals,
 ValueNumber vn)

setUsed

boolean setUsed(Set<FindUselessObjects.ValueInfo> vals)

setObjectOnly

boolean setObjectOnly(Set<FindUselessObjects.ValueInfo> vals,
 ValueNumber vn)

propagateValues

boolean propagateValues(Set<FindUselessObjects.ValueInfo> vals,
 ValueNumber origNumber,
 ValueNumber vn)

propagateToReturnValue

boolean propagateToReturnValue(Set<FindUselessObjects.ValueInfo> vals,
 ValueNumber vn,
 FindUselessObjects.GenLocation location,
 MethodDescriptor m)
                        throws DataflowAnalysisException

Throws:

DataflowAnalysisException

isEmpty

boolean isEmpty()

genIterator

Iterator<FindUselessObjects.GenLocation> genIterator()

escaped

boolean escaped(ValueNumber vn)

getLiveVals

Set<FindUselessObjects.ValueInfo> getLiveVals(ValueNumber vn)

report

void report()