Package 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	Description
ValueNumberDataflow(CFG cfg, ValueNumberAnalysis analysis)

Method Summary

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

ValueNumberDataflow

public ValueNumberDataflow(CFG cfg,
 ValueNumberAnalysis analysis)

Method Details

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)