cz.vutbr.fit.findbugs.atom.analysis
Class AtomDataflow

java.lang.Object
  extended by edu.umd.cs.findbugs.ba.Dataflow<AtomFact,AtomAnalysis>
      extended by cz.vutbr.fit.findbugs.atom.analysis.AtomDataflow

public class AtomDataflow
extends edu.umd.cs.findbugs.ba.Dataflow<AtomFact,AtomAnalysis>

Creating control flow analysis environment.

Author:
zdenek

Field Summary
 
Fields inherited from class edu.umd.cs.findbugs.ba.Dataflow
DEBUG
 
Constructor Summary
AtomDataflow(edu.umd.cs.findbugs.ba.CFG cfg, AtomAnalysis analysis)
           
 
Method Summary
 
Methods inherited from class edu.umd.cs.findbugs.ba.Dataflow
dumpDataflow, execute, getAnalysis, getCFG, getFactAfterLocation, getFactAtLocation, getFactOnEdge, getNumIterations, getResultFact, getStartFact
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AtomDataflow

public AtomDataflow(edu.umd.cs.findbugs.ba.CFG cfg,
                    AtomAnalysis analysis)