ValueNumberDataflow (SpotBugs 4.1.4 API)

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

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.lang.String`	`getClassName(ValueNumber v)`
`java.util.Map<ValueNumber,java.lang.Integer>`	`getValueNumberToParamMap(java.lang.String methodSignature, boolean isStatic)`	Build map of value numbers to param indices.
`java.util.Map<ValueNumber,java.lang.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 Detail
  - ValueNumberDataflow
```
public ValueNumberDataflow(CFG cfg,
                           ValueNumberAnalysis analysis)
```
- Method Detail
  - getValueNumberToParamMap
```
public java.util.Map<ValueNumber,java.lang.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 java.util.Map<ValueNumber,java.lang.Integer> getValueNumberToParamMap(java.lang.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 java.lang.String getClassName(ValueNumber v)
```