|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.vutbr.fit.findbugs.atom.analysis.AtomDataflowEngine
public class AtomDataflowEngine
Implements important interface methods which are used for communication with the analysis.
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 |
---|
public AtomDataflowEngine()
Method Detail |
---|
public AtomDataflow analyze(edu.umd.cs.findbugs.classfile.IAnalysisCache analysisCache, edu.umd.cs.findbugs.classfile.MethodDescriptor descriptor) throws edu.umd.cs.findbugs.classfile.CheckedAnalysisException
analyze
in interface edu.umd.cs.findbugs.classfile.IAnalysisEngine<edu.umd.cs.findbugs.classfile.MethodDescriptor,AtomDataflow>
edu.umd.cs.findbugs.classfile.CheckedAnalysisException
public void registerWith(edu.umd.cs.findbugs.classfile.IAnalysisCache analysisCache)
registerWith
in interface edu.umd.cs.findbugs.classfile.IAnalysisEngine<edu.umd.cs.findbugs.classfile.MethodDescriptor,AtomDataflow>
public boolean canRecompute()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |