edu.umd.cs.findbugs.ba.vna

Class ValueNumberDataflow

Constructor Summary
	ValueNumberDataflow(CFG cfg, ValueNumberAnalysis analysis)

Method Summary
Map<ValueNumber,Integer>	getValueNumberToParamMap(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.

Constructor Detail

public ValueNumberDataflow(CFG cfg, ValueNumberAnalysis analysis)

public Map<ValueNumber,Integer> getValueNumberToParamMap(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

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