soot.toolkits.scalar
Class ForwardBranchedFlowAnalysis

java.lang.Object
  |
  +--soot.toolkits.scalar.BranchedFlowAnalysis
        |
        +--soot.toolkits.scalar.ForwardBranchedFlowAnalysis
Direct Known Subclasses:
BranchedRefVarsAnalysis

public abstract class ForwardBranchedFlowAnalysis
extends BranchedFlowAnalysis

Abstract class providing an engine for branched forward flow analysis.


Field Summary
 
Fields inherited from class soot.toolkits.scalar.BranchedFlowAnalysis
graph, unitToAfterBranchFlow, unitToAfterFallFlow, unitToBeforeFlow
 
Constructor Summary
ForwardBranchedFlowAnalysis(UnitGraph graph)
           
 
Method Summary
protected  void doAnalysis()
           
protected  boolean isForward()
           
 
Methods inherited from class soot.toolkits.scalar.BranchedFlowAnalysis
copy, customizeInitialFlowGraph, entryInitialFlow, flowThrough, getBranchFlowAfter, getFallFlowAfter, getFlowBefore, merge, newInitialFlow
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ForwardBranchedFlowAnalysis

public ForwardBranchedFlowAnalysis(UnitGraph graph)
Method Detail

isForward

protected boolean isForward()
Specified by:
isForward in class BranchedFlowAnalysis

doAnalysis

protected void doAnalysis()
Specified by:
doAnalysis in class BranchedFlowAnalysis