ptolemy.copernicus.kernel
Class FastForwardFlowAnalysis

java.lang.Object
  soot.toolkits.scalar.AbstractFlowAnalysis
      soot.toolkits.scalar.FlowAnalysis
          ptolemy.copernicus.kernel.FastForwardFlowAnalysis

Direct Known Subclasses:

TokenTypeAnalysis

public abstract class FastForwardFlowAnalysis
extends soot.toolkits.scalar.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

FastForwardFlowAnalysis(soot.toolkits.graph.DirectedGraph graph)
Construct the analysis from a DirectedGraph representation of a Body.

Method Summary

protected void	doAnalysis()
protected boolean	isForward()

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

FastForwardFlowAnalysis

public FastForwardFlowAnalysis(soot.toolkits.graph.DirectedGraph graph)

Construct the analysis from a DirectedGraph representation of a Body.

Method Detail

isForward

protected boolean isForward()

Specified by:

isForward in class soot.toolkits.scalar.AbstractFlowAnalysis

doAnalysis

protected void doAnalysis()

Specified by:

doAnalysis in class soot.toolkits.scalar.AbstractFlowAnalysis