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

Interface IntegratedAnalysis<N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>>

Type Parameters:

N - graph node type.

E - graph edge type.

T - graph transformer type.

G - graph type.

A - assumption type.

All Known Implementing Classes:

CombinedIntegratedAnalysis, ConstantsAnalysis, CopyAnalysis, LivenessAnalysis, UnreachableAnalysis

public interface IntegratedAnalysis<N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>>

Integrated analysis combines analysis with transformation as described in Lerner et al. paper. See package documentation for references.

Method Summary

Modifier and Type	Method and Description
IntegratedFlowFunction<N,E,T,G,A>	getIntegratedFlowFunction() Gets analysis integrated flow function.
void	setInitialGraphAssumptions(G graph, AssumptionMap<E,A> assumptionMap) Gets assumptions for graph incoming & outgoing edges to start approximation from.

Method Detail

setInitialGraphAssumptions

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

Gets assumptions for graph incoming & outgoing edges to start approximation from.

getIntegratedFlowFunction

IntegratedFlowFunction<N,E,T,G,A> getIntegratedFlowFunction()

Gets analysis integrated flow function.