dk.brics.xact.analysis.dataflow
Class DataflowAnalyzer<ElementType>

java.lang.Object
  dk.brics.xact.analysis.dataflow.DataflowAnalyzer<ElementType>

public class DataflowAnalyzer<ElementType>
extends Object

Performs a dataflow analysis on a flow graph, given an AnalysisInterface instance.

Constructor Summary

DataflowAnalyzer(FlowGraph graph, AnalysisInterface<ElementType> lat)
Constructs a DataflowAnalyzer for analyzing the given flow graph.

Method Summary

ElementType	getFlowIn(Statement s) Returns the lattice element for the flow into the given statement.
ElementType	getFlowOut(Statement s) Returns the lattice element for the flow out of the given statement.
void	run() Computes the least fixed point iteratively.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DataflowAnalyzer

public DataflowAnalyzer(FlowGraph graph,
                        AnalysisInterface<ElementType> lat)

Constructs a DataflowAnalyzer for analyzing the given flow graph.

Method Detail

getFlowIn

public ElementType getFlowIn(Statement s)

Returns the lattice element for the flow into the given statement.

getFlowOut

public ElementType getFlowOut(Statement s)

Returns the lattice element for the flow out of the given statement.

run

public void run()

Computes the least fixed point iteratively.