FindBugs™ 1.3.9

edu.umd.cs.findbugs.ba.vna
Class ValueNumberDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<Fact,AnalysisType>
      extended by edu.umd.cs.findbugs.ba.AbstractDataflow<ValueNumberFrame,ValueNumberAnalysis>
          extended by 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
ValueNumberDataflow(CFG cfg, ValueNumberAnalysis analysis)
           
 
Method Summary
 java.lang.String getClassName(ValueNumber v)
           
 java.util.Map<ValueNumber,java.lang.Integer> getValueNumberToParamMap(org.apache.bcel.classfile.Method method)
          Build map of value numbers to param indices.
 java.util.Map<ValueNumber,java.lang.Integer> getValueNumberToParamMap(java.lang.String methodSignature, boolean isStatic)
          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)

FindBugs™ 1.3.9

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