com.google.gwt.dev.jjs.impl

Class ExpressionAnalyzer

java.lang.Object

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

com.google.gwt.dev.jjs.impl.ExpressionAnalyzer

public class ExpressionAnalyzer
extends JVisitor

Analyzes an expression and make a number of static analysis flags available based on the information available solely through the expression. TODO: make this even smarter when we have real null analysis.

Field Summary

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

LVALUE_CONTEXT, UNMODIFIABLE_CONTEXT

Constructor Summary

Constructors

Constructor and Description
ExpressionAnalyzer()

Method Summary

Modifier and Type	Method and Description
boolean	accessesField() Does this expression read or write fields within the scope of the expression?
boolean	accessesFieldNonFinal() Does this expression read or write non-final fields within the scope of the expression?
boolean	accessesLocal() Does this expression read or write locals within the scope of the expression?
boolean	accessesParameter() Does this expression read or write parameters within the scope of the expression?
boolean	canThrowException()
boolean	createsObject()
void	endVisit(JArrayLength x, Context ctx)
void	endVisit(JArrayRef x, Context ctx)
void	endVisit(JBinaryOperation x, Context ctx)
void	endVisit(JCastOperation x, Context ctx)
void	endVisit(JFieldRef x, Context ctx) NOTE: not called from JsniFieldRef.
void	endVisit(JLocalRef x, Context ctx)
void	endVisit(JMethodCall x, Context ctx) NOTE: not called from JsniMethodRef.
void	endVisit(JNewArray x, Context ctx)
void	endVisit(JNewInstance x, Context ctx)
void	endVisit(JParameterRef x, Context ctx)
void	endVisit(JPostfixOperation x, Context ctx)
void	endVisit(JPrefixOperation x, Context ctx)
boolean	hasAssignment() Does this expression make assignments to variables within the scope of the expression?
boolean	hasAssignmentToField() Does this expression make assignments to fields within the scope of the expression?
boolean	hasAssignmentToLocal() Does this expression make assignments to locals within the scope of the expression?
boolean	hasAssignmentToParameter() Does this expression make assignments to parameters within the scope of the expression?
protected boolean	isInConditional() Determined if the current expression conditionally executes, based on its parent expressions.
boolean	visit(JBinaryOperation x, Context ctx)
boolean	visit(JConditional x, Context ctx)

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

equals, finalize, getClass, hashCode, toString

Constructor Detail

ExpressionAnalyzer

public ExpressionAnalyzer()

Method Detail

accessesField

public boolean accessesField()

Does this expression read or write fields within the scope of the expression?

accessesFieldNonFinal

public boolean accessesFieldNonFinal()

Does this expression read or write non-final fields within the scope of the expression?

accessesLocal

public boolean accessesLocal()

Does this expression read or write locals within the scope of the expression?

accessesParameter

public boolean accessesParameter()

Does this expression read or write parameters within the scope of the expression?

canThrowException

public boolean canThrowException()

createsObject

public boolean createsObject()

endVisit

public void endVisit(JArrayLength x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JArrayRef x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JBinaryOperation x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JCastOperation x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JFieldRef x,
                     Context ctx)

Description copied from class: JVisitor

NOTE: not called from JsniFieldRef.

Overrides:

endVisit in class JVisitor

endVisit

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

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JNewInstance x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JParameterRef x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JPostfixOperation x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JPrefixOperation x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

hasAssignment

public boolean hasAssignment()

Does this expression make assignments to variables within the scope of the expression?

hasAssignmentToField

public boolean hasAssignmentToField()

Does this expression make assignments to fields within the scope of the expression?

hasAssignmentToLocal

public boolean hasAssignmentToLocal()

Does this expression make assignments to locals within the scope of the expression?

hasAssignmentToParameter

public boolean hasAssignmentToParameter()

Does this expression make assignments to parameters within the scope of the expression?

visit

public boolean visit(JBinaryOperation x,
                     Context ctx)

Overrides:

visit in class JVisitor

visit

public boolean visit(JConditional x,
                     Context ctx)

Overrides:

visit in class JVisitor

isInConditional

protected boolean isInConditional()

Determined if the current expression conditionally executes, based on its parent expressions.