public class TypeTightener.TightenTypesVisitor extends JChangeTrackingVisitor
LVALUE_CONTEXT, UNMODIFIABLE_CONTEXT
Constructor and Description |
---|
TightenTypesVisitor(OptimizerContext optimizerCtx) |
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(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(JParameter x,
Context ctx) |
void |
endVisit(JPermutationDependentValue x,
Context ctx) |
boolean |
enter(JMethod x,
Context ctx) |
void |
exit(JField x,
Context ctx) |
void |
exit(JMethod x,
Context ctx)
Tighten based on return types and overrides.
|
boolean |
visit(JClassType x,
Context ctx) |
boolean |
visit(JRunAsync x,
Context ctx) |
endVisit, endVisit, endVisit, endVisit, enter, enter, enter, exit, exit, fieldsWereRemoved, getCurrentField, getCurrentMethod, madeChanges, methodsWereRemoved, visit, visit, visit, visit, wasRemoved, wasRemoved
accept, accept, accept, acceptImmutable, acceptLvalue, acceptWithInsertRemove, acceptWithInsertRemoveImmutable, checkReplacement, didChange, getNumMods, traverse
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, 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
public TightenTypesVisitor(OptimizerContext optimizerCtx)
public void endVisit(JCastOperation x, Context ctx)
endVisit
in class JVisitor
ImplementCastsAndTypeChecks
public void endVisit(JConditional x, Context ctx)
public void exit(JField x, Context ctx)
exit
in class JChangeTrackingVisitor
public void endVisit(JInstanceOf x, Context ctx)
public void exit(JMethod x, Context ctx)
exit
in class JChangeTrackingVisitor
public void endVisit(JMethodCall x, Context ctx)
public void endVisit(JParameter x, Context ctx)
public void endVisit(JPermutationDependentValue x, Context ctx)
public boolean visit(JClassType x, Context ctx)
public boolean enter(JMethod x, Context ctx)
enter
in class JChangeTrackingVisitor
Copyright © 2018. All rights reserved.