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

java.lang.Object
  extended by cz.vutbr.fit.findbugs.atom.analysis.AtomDataflowEngine
All Implemented Interfaces:
edu.umd.cs.findbugs.classfile.IAnalysisEngine<edu.umd.cs.findbugs.classfile.MethodDescriptor,AtomDataflow>, edu.umd.cs.findbugs.classfile.IMethodAnalysisEngine<AtomDataflow>

public class AtomDataflowEngine
extends java.lang.Object
implements edu.umd.cs.findbugs.classfile.IMethodAnalysisEngine<AtomDataflow>

Implements important interface methods which are used for communication with the analysis.

Author:
zdenek

Constructor Summary
AtomDataflowEngine()
           
 
Method Summary
 AtomDataflow analyze(edu.umd.cs.findbugs.classfile.IAnalysisCache analysisCache, edu.umd.cs.findbugs.classfile.MethodDescriptor descriptor)
          Method which is called in order to get dataflow analysis results for a given method.
 boolean canRecompute()
          Returns information if the facts can be later recomputed.
 void registerWith(edu.umd.cs.findbugs.classfile.IAnalysisCache analysisCache)
          Registers the analysis to analysisCache.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

AtomDataflowEngine

public AtomDataflowEngine()
Method Detail

analyze

public AtomDataflow analyze(edu.umd.cs.findbugs.classfile.IAnalysisCache analysisCache,
                            edu.umd.cs.findbugs.classfile.MethodDescriptor descriptor)
                     throws edu.umd.cs.findbugs.classfile.CheckedAnalysisException
Method which is called in order to get dataflow analysis results for a given method. The analysisCache is used for storing facts.

Specified by:
analyze in interface edu.umd.cs.findbugs.classfile.IAnalysisEngine<edu.umd.cs.findbugs.classfile.MethodDescriptor,AtomDataflow>
Throws:
edu.umd.cs.findbugs.classfile.CheckedAnalysisException

registerWith

public void registerWith(edu.umd.cs.findbugs.classfile.IAnalysisCache analysisCache)
Registers the analysis to analysisCache.

Specified by:
registerWith in interface edu.umd.cs.findbugs.classfile.IAnalysisEngine<edu.umd.cs.findbugs.classfile.MethodDescriptor,AtomDataflow>

canRecompute

public boolean canRecompute()
Returns information if the facts can be later recomputed.

Returns:
Can be recomputed