edu.umd.cs.findbugs.ba.constant
Class ConstantDataflow

java.lang.Object
  edu.umd.cs.findbugs.ba.Dataflow<ConstantFrame,ConstantAnalysis>
      edu.umd.cs.findbugs.ba.constant.ConstantDataflow

public class ConstantDataflow
extends Dataflow<ConstantFrame,ConstantAnalysis>

Dataflow class for ConstantAnalysis.

Author:

David Hovemeyer

See Also:

Dataflow, ConstantAnalysis

Constructor Summary

ConstantDataflow(CFG cfg, ConstantAnalysis analysis)

Method Summary

ConstantFrame	getFactAfterLocation(Location location)
ConstantFrame	getFactAtLocation(Location location)

Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow

execute, getAnalysis, getCFG, getNumIterations, getResultFact, getStartFact

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstantDataflow

public ConstantDataflow(CFG cfg,
                        ConstantAnalysis analysis)

Method Detail

getFactAtLocation

public ConstantFrame getFactAtLocation(Location location)
                                throws DataflowAnalysisException

Throws:

DataflowAnalysisException

getFactAfterLocation

public ConstantFrame getFactAfterLocation(Location location)
                                   throws DataflowAnalysisException

Throws:

DataflowAnalysisException