edu.umd.cs.findbugs.ba.vna

Class ValueNumberDataflow

public class ValueNumberDataflow extends AbstractDataflow<ValueNumberFrame,ValueNumberAnalysis>

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

ValueNumberDataflow

public ValueNumberDataflow(CFG cfg, ValueNumberAnalysis analysis)

Method Detail

getValueNumberToParamMap

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

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

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.