com.google.gwt.dev.jjs.impl

Class UnifyAst

java.lang.Object

com.google.gwt.dev.jjs.impl.UnifyAst

public class UnifyAst
extends Object

Take independently-compiled types and merge them into a single AST. Works kind of like ControlFlowAnalyzer in terms of reachability, except that in some cases it's easier to be conservative and visit relatively more nodes than CFA would. Operates based on a work-queue to prevent recursion sickness. Must handle: - Type reference resolution - Field and method reference resolution - General code flow like ControlFlowAnalyzer - GWT.create(), GWT.runAsync(), Impl.getNameOf() - Stitch native methods into JsProgram - Class.desiredAssertionStatus, Class.isClassMetaDataEnabled, GWT.isClient, GWT.isProdMode, GWT.isScript.

Field Summary

Fields

Modifier and Type	Field and Description
static String	GWT_CREATE
static String	OLD_GWT_CREATE

Constructor Summary

Constructors

Constructor and Description
UnifyAst(TreeLogger logger, CompilerContext compilerContext, JProgram program, JsProgram jsProgram, RebindPermutationOracle rpo)

Method Summary

Modifier and Type	Method and Description
void	addRootTypes(Collection<String> sourceTypeNames)
void	buildEverything() Special AST construction, useful for tests.
void	exec() Translates and stitches (unifies) type ASTs into one connected graph. For normal monolithic compiles only types reachable from entry points are traversed.
JDeclaredType	findType(String typeName, com.google.gwt.dev.jjs.impl.UnifyAst.NameBasedTypeLocator nameBasedTypeLocator)
com.google.gwt.dev.jjs.impl.UnifyAst.NameBasedTypeLocator	getSourceNameBasedTypeLocator()

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, toString

Field Detail

GWT_CREATE

public static final String GWT_CREATE

See Also:

Constant Field Values

OLD_GWT_CREATE

public static final String OLD_GWT_CREATE

See Also:

Constant Field Values

Constructor Detail

UnifyAst

public UnifyAst(TreeLogger logger,
                CompilerContext compilerContext,
                JProgram program,
                JsProgram jsProgram,
                RebindPermutationOracle rpo)

Method Detail

addRootTypes

public void addRootTypes(Collection<String> sourceTypeNames)
                  throws UnableToCompleteException

Throws:

UnableToCompleteException

buildEverything

public void buildEverything()
                     throws UnableToCompleteException

Special AST construction, useful for tests. Everything is resolved, translated, and unified.

Throws:

UnableToCompleteException

exec

public void exec()
          throws UnableToCompleteException

Translates and stitches (unifies) type ASTs into one connected graph.
For normal monolithic compiles only types reachable from entry points are traversed. This speeds, saves memory trims unreferenced elements.
Library compiles traverse all types that were supplied as source in the compilation state and no elements are pruned.

Throws:

UnableToCompleteException

getSourceNameBasedTypeLocator

public com.google.gwt.dev.jjs.impl.UnifyAst.NameBasedTypeLocator getSourceNameBasedTypeLocator()

findType

public JDeclaredType findType(String typeName,
                              com.google.gwt.dev.jjs.impl.UnifyAst.NameBasedTypeLocator nameBasedTypeLocator)
                       throws UnableToCompleteException

Throws:

UnableToCompleteException