soot.toolkits.scalar
Class ForwardFlowAnalysis

java.lang.Object
  extended bysoot.toolkits.scalar.AbstractFlowAnalysis
      extended bysoot.toolkits.scalar.FlowAnalysis
          extended bysoot.toolkits.scalar.ForwardFlowAnalysis
Direct Known Subclasses:
ClinitElimAnalysis, DelayabilityAnalysis, DominatorAnalysis, FastAvailableExpressionsAnalysis, InitAnalysis, ParityAnalysis, PurityIntraproceduralAnalysis, SlowAvailableExpressionsAnalysis, UpSafetyAnalysis

public abstract class ForwardFlowAnalysis
extends FlowAnalysis

Abstract class that provides the fixed point iteration functionality required by all ForwardFlowAnalyses.


Field Summary
 
Fields inherited from class soot.toolkits.scalar.FlowAnalysis
filterUnitToAfterFlow, unitToAfterFlow
 
Fields inherited from class soot.toolkits.scalar.AbstractFlowAnalysis
filterUnitToBeforeFlow, graph, unitToBeforeFlow
 
Constructor Summary
ForwardFlowAnalysis(DirectedGraph graph)
          Construct the analysis from a DirectedGraph representation of a Body.
 
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.FlowAnalysis
flowThrough, getFlowAfter
 
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

ForwardFlowAnalysis

public ForwardFlowAnalysis(DirectedGraph graph)
Construct the analysis from a DirectedGraph representation of a Body.

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