com.google.gwt.dev.jjs.impl

Class TypeTightener.TightenTypesVisitor

java.lang.Object

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

com.google.gwt.dev.jjs.ast.JModVisitor

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

Enclosing class:

TypeTightener

public class TypeTightener.TightenTypesVisitor
extends JModVisitor

Wherever possible, use the type flow information recorded by RecordVisitor to change the declared type of a field, local, parameter, or method to a more specific type. Also optimize dynamic casts and instanceof operations where possible.

Field Summary

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

LVALUE_CONTEXT, UNMODIFIABLE_CONTEXT

Constructor Summary

Constructors

Constructor and Description
TypeTightener.TightenTypesVisitor()

Method Summary

Methods

Modifier and Type	Method and Description
void	endVisit(JCastOperation x, Context ctx) Tries to determine a specific concrete type for the cast, then either removes the cast, or tightens the cast to a narrower type.
void	endVisit(JConditional x, Context ctx)
void	endVisit(JField x, Context ctx)
void	endVisit(JGwtCreate x, Context ctx)
void	endVisit(JInstanceOf x, Context ctx)
void	endVisit(JLocal x, Context ctx)
void	endVisit(JMethodCall x, Context ctx) Tighten the target method from the abstract base method to the final implementation.
void	endVisit(JMethod x, Context ctx) Tighten based on return types and overrides.
void	endVisit(JParameter x, Context ctx)
boolean	visit(JClassType x, Context ctx)
boolean	visit(JMethod x, Context ctx)
boolean	visit(JRunAsync x, Context ctx)

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

accept, accept, accept, acceptImmutable, acceptLvalue, acceptWithInsertRemove, acceptWithInsertRemoveImmutable, checkReplacement, didChange, getNumMods, madeChanges, traverse

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

accept, accept, accept, 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeTightener.TightenTypesVisitor

public TypeTightener.TightenTypesVisitor()

Method Detail

endVisit

public void endVisit(JCastOperation x,
            Context ctx)

Tries to determine a specific concrete type for the cast, then either removes the cast, or tightens the cast to a narrower type. If static analysis determines that a cast is not possible, swap in a cast to a null type. This will later be normalized into throwing an Exception.

Overrides:

endVisit in class JVisitor

See Also:

ImplementCastsAndTypeChecks

endVisit

public void endVisit(JConditional 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(JGwtCreate x,
            Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JInstanceOf x,
            Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JLocal x,
            Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JMethod x,
            Context ctx)

Tighten based on return types and overrides.

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JMethodCall x,
            Context ctx)

Tighten the target method from the abstract base method to the final implementation.

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JParameter x,
            Context ctx)

Overrides:

endVisit in class JVisitor

visit

public boolean visit(JRunAsync x,
            Context ctx)

Overrides:

visit in class JVisitor

visit

public boolean visit(JClassType x,
            Context ctx)

Overrides:

visit in class JVisitor

visit

public boolean visit(JMethod x,
            Context ctx)

Overrides:

visit in class JVisitor