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

Class AnalysisSolver<N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>>

java.lang.Object

com.google.gwt.dev.jjs.impl.gflow.AnalysisSolver<N,E,T,G,A>

Type Parameters:

N - graph node type.

E - graph edge type.

T - graph transformer type.

G - graph type.

A - assumption type.

public class AnalysisSolver<N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>>
extends Object

A solver to solve all kinds of analyses defined in the package. Uses iterative worklist algorithm. Solver might be forward or backwards working. Both directions will always produce a valid fixed point, which depends on direction. As a rule, forward analysis benefits from forward direction, backwards - from the opposite.

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	debug

Method Summary

Modifier and Type	Method and Description
static <N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>> Map<E,A>	solve(G g, Analysis<N,E,G,A> analysis, boolean forward) Solve a non-integrated analysis.
static <N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>> boolean	solveIntegrated(G g, IntegratedAnalysis<N,E,T,G,A> analysis, boolean forward) Solve a integrated analysis.

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, toString

Field Detail

debug

public static boolean debug

Method Detail

solve

public static <N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>> Map<E,A> solve(G g,
                                                                                    Analysis<N,E,G,A> analysis,
                                                                                    boolean forward)

Solve a non-integrated analysis.

Type Parameters:

N - graph node type.

E - graph edge type.

T - graph transformer type.

G - graph type.

A - assumption type.

solveIntegrated

public static <N,E,T,G extends Graph<N,E,T>,A extends Assumption<A>> boolean solveIntegrated(G g,
                                                                                             IntegratedAnalysis<N,E,T,G,A> analysis,
                                                                                             boolean forward)

Solve a integrated analysis.

Type Parameters:

N - graph node type.

E - graph edge type.

T - graph transformer type.

G - graph type.

A - assumption type.