com.google.gwt.dev.jjs.impl

Class TypeTightener.RecordVisitor

java.lang.Object

com.google.gwt.dev.jjs.ast.JVisitor

com.google.gwt.dev.jjs.impl.TypeTightener.RecordVisitor

Enclosing class:

TypeTightener

public class TypeTightener.RecordVisitor
extends JVisitor

Record "type flow" information. Variables receive type flow via assignment. As a special case, Parameters also receive type flow based on the types of arguments used when calling the containing method (think of this as a kind of assignment). Method return types receive type flow from their contained return statements, plus the return type of any methods that override/implement them. Note that we only have to run this pass ONCE to record the relationships, because type tightening never changes any relationships, only the types of the things related. In my original implementation, I had naively mapped nodes onto sets of JReferenceType directly, which meant I had to rerun this visitor each time.

Field Summary

Fields inherited from class com.google.gwt.dev.jjs.ast.JVisitor

LVALUE_CONTEXT, UNMODIFIABLE_CONTEXT

Constructor Summary

Constructors

Constructor and Description
RecordVisitor()

Method Summary

Modifier and Type	Method and Description
void	endVisit(JBinaryOperation x, Context ctx)
void	endVisit(JClassType x, Context ctx)
void	endVisit(JDeclarationStatement x, Context ctx)
void	endVisit(JField x, Context ctx)
void	endVisit(JMethodCall x, Context ctx) NOTE: not called from JsniMethodRef.
void	endVisit(JMethod x, Context ctx)
void	endVisit(JReturnStatement x, Context ctx)
void	endVisit(JsniFieldRef x, Context ctx)
void	endVisit(JsniMethodRef x, Context ctx)
void	endVisit(JTryStatement x, Context ctx)
boolean	visit(JMethod x, Context ctx) Merge param call args across overriders/implementors.

Methods inherited from class com.google.gwt.dev.jjs.ast.JVisitor

accept, accept, accept, accept, accept, accept, acceptImmutable, acceptLvalue, acceptWithInsertRemove, acceptWithInsertRemoveImmutable, didChange, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, endVisit, translateException, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, toString

Constructor Detail

RecordVisitor

public RecordVisitor()

Method Detail

endVisit

public void endVisit(JBinaryOperation x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JClassType x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JDeclarationStatement x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JField x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JMethod x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JMethodCall x,
                     Context ctx)

Description copied from class: JVisitor

NOTE: not called from JsniMethodRef.

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JReturnStatement x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JsniFieldRef x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JsniMethodRef x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JTryStatement x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

visit

public boolean visit(JMethod x,
                     Context ctx)

Merge param call args across overriders/implementors. We can't tighten a param type in an overriding method if the declaring method is looser.

Overrides:

visit in class JVisitor