edu.umd.cs.findbugs.ba.vna
Class ValueNumberDataflow
java.lang.Object
edu.umd.cs.findbugs.ba.Dataflow<ValueNumberFrame,ValueNumberAnalysis>
edu.umd.cs.findbugs.ba.vna.ValueNumberDataflow
public class ValueNumberDataflow
- extends Dataflow<ValueNumberFrame,ValueNumberAnalysis>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ValueNumberDataflow
public ValueNumberDataflow(CFG cfg,
ValueNumberAnalysis analysis)
getFactAtLocation
public ValueNumberFrame getFactAtLocation(Location loc)
getFactAfterLocation
public ValueNumberFrame getFactAfterLocation(Location loc)
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 ValueNumberAnalysisisStatic
- true if the method is static, false if not
- Returns:
- the value number to parameter index map