ptolemy.copernicus.kernel

Class FastForwardFlowAnalysis

java.lang.Object

soot.toolkits.scalar.AbstractFlowAnalysis

soot.toolkits.scalar.FlowAnalysis

ptolemy.copernicus.kernel.FastForwardFlowAnalysis

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

Constructors

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

Method Summary

Modifier and Type	Method and Description
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