com.google.gwt.dev.jjs.impl.gflow

Interface Analysis<N,E,G extends Graph<N,E,?>,A extends Assumption<A>>

Type Parameters:

N - graph node type.

E - edge type.

G - graph type.

A - assumption type.

All Known Implementing Classes:

ConstantsAnalysis, CopyAnalysis, LivenessAnalysis

public interface Analysis<N,E,G extends Graph<N,E,?>,A extends Assumption<A>>

A simple, non-transforming flow analysis.

Method Summary

Modifier and Type	Method and Description
FlowFunction<N,E,G,A>	getFlowFunction() Gets analysis flow function.
void	setInitialGraphAssumptions(G graph, AssumptionMap<E,A> assumptionMap) Gets assumptions for graph to start approximation from.

Method Detail

getFlowFunction

FlowFunction<N,E,G,A> getFlowFunction()

Gets analysis flow function.

setInitialGraphAssumptions

void setInitialGraphAssumptions(G graph,
                                AssumptionMap<E,A> assumptionMap)

Gets assumptions for graph to start approximation from.