edu.umd.cs.findbugs.ba.vna
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.
|
Parameters: method the method analyzed by the ValueNumberAnalysis
Returns: the value number to parameter index map
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