edu.umd.cs.findbugs.ba.vna

Class ValueNumberDataflow

java.lang.Object

edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>

edu.umd.cs.findbugs.ba.AbstractDataflow<ValueNumberFrame,ValueNumberAnalysis>

edu.umd.cs.findbugs.ba.vna.ValueNumberDataflow

public class ValueNumberDataflow
extends AbstractDataflow<ValueNumberFrame,ValueNumberAnalysis>

Field Summary

Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow

DEBUG

Constructor Summary

Constructors

Constructor and Description
ValueNumberDataflow(CFG cfg, ValueNumberAnalysis analysis)

Method Summary

Methods

Modifier and Type	Method and Description
String	getClassName(ValueNumber v)
Map<ValueNumber,Integer>	getValueNumberToParamMap(org.apache.bcel.classfile.Method method) Build map of value numbers to param indices.
Map<ValueNumber,Integer>	getValueNumberToParamMap(String methodSignature, boolean isStatic) Build map of value numbers to param indices.

Methods inherited from class edu.umd.cs.findbugs.ba.AbstractDataflow

getFactOnEdge

Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow

dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getNumIterations, getResultFact, getStartFact

Methods inherited from class java.lang.Object

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

Constructor Detail

ValueNumberDataflow

public ValueNumberDataflow(CFG cfg,
                   ValueNumberAnalysis analysis)

Method Detail

getValueNumberToParamMap

public Map<ValueNumber,Integer> getValueNumberToParamMap(org.apache.bcel.classfile.Method method)

Build map of value numbers to param indices. The first parameter has index 0, the second has index 1, etc.

Parameters:

method - the method analyzed by the ValueNumberAnalysis

Returns:

the value number to parameter index map

getValueNumberToParamMap

public Map<ValueNumber,Integer> getValueNumberToParamMap(String methodSignature,
                                                boolean isStatic)

Build map of value numbers to param indices. The first parameter has index 0, the second has index 1, etc.

Parameters:

methodSignature - signature of the method analyzed by the ValueNumberAnalysis

isStatic - true if the method is static, false if not

Returns:

the value number to parameter index map

getClassName

@CheckForNull
@DottedClassName
public String getClassName(ValueNumber v)