soot.toolkits.scalar
Class ForwardBranchedFlowAnalysis

java.lang.Object
  extended bysoot.toolkits.scalar.AbstractFlowAnalysis
      extended bysoot.toolkits.scalar.BranchedFlowAnalysis
          extended bysoot.toolkits.scalar.ForwardBranchedFlowAnalysis
Direct Known Subclasses:
BranchedRefVarsAnalysis, CastCheckEliminator

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
unitToAfterBranchFlow, unitToAfterFallFlow
 
Fields inherited from class soot.toolkits.scalar.AbstractFlowAnalysis
filterUnitToBeforeFlow, graph, unitToBeforeFlow
 
Constructor Summary
ForwardBranchedFlowAnalysis(UnitGraph graph)
           
 
Method Summary
protected  void doAnalysis()
          Carries out the actual flow analysis.
protected  boolean isForward()
          Returns true if this analysis is forwards.
 
Methods inherited from class soot.toolkits.scalar.BranchedFlowAnalysis
flowThrough, getBranchFlowAfter, getFallFlowAfter, getFlowBefore
 
Methods inherited from class soot.toolkits.scalar.AbstractFlowAnalysis
copy, customizeInitialFlowGraph, entryInitialFlow, getFlowBefore, merge, merge, newInitialFlow, treatTrapHandlersAsEntries
 
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()
Description copied from class: AbstractFlowAnalysis
Returns true if this analysis is forwards.

Specified by:
isForward in class AbstractFlowAnalysis

doAnalysis

protected void doAnalysis()
Description copied from class: AbstractFlowAnalysis
Carries out the actual flow analysis. Typically called from a concrete FlowAnalysis's constructor.

Specified by:
doAnalysis in class AbstractFlowAnalysis