Package edu.umd.cs.findbugs.detect
Class FindUselessObjects.UselessValuesContext
java.lang.Object
edu.umd.cs.findbugs.detect.FindUselessObjects.UselessValuesContext
- Enclosing class:
FindUselessObjects
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) CFG
(package private) ClassContext
(package private) int
(package private) org.apache.bcel.generic.ConstantPoolGen
(package private) org.apache.bcel.classfile.Method
(package private) Map
<Integer, FindUselessObjects.ValueInfo> (package private) TypeAnalysis
(package private) ValueNumber
(package private) Map
<Integer, Set<FindUselessObjects.ValueInfo>> (package private) ValueNumberAnalysis
-
Constructor Summary
ConstructorsConstructorDescriptionUselessValuesContext
(ClassContext classContext, org.apache.bcel.classfile.Method method) -
Method Summary
Modifier and TypeMethodDescription(package private) void
(package private) boolean
escaped
(ValueNumber vn) (package private) Iterator
<FindUselessObjects.GenLocation> (package private) Set
<FindUselessObjects.ValueInfo> (package private) void
(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
(package private) boolean
(package private) boolean
setObjectOnly
(Set<FindUselessObjects.ValueInfo> vals, ValueNumber vn) (package private) boolean
-
Field Details
-
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
- Throws:
DataflowAnalysisException
-
enhanceViaMergeTree
void enhanceViaMergeTree() -
setEscape
-
setDerivedEscape
-
setUsed
-
setObjectOnly
-
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
-
getLiveVals
-
report
void report()
-