com.google.gwt.dev.jjs.impl

Class JavaAstVerifier

java.lang.Object

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

com.google.gwt.dev.jjs.impl.JavaAstVerifier

public class JavaAstVerifier
extends JVisitor

Verifies that all the references from AST nodes to AST nodes are reachable from the top of the AST.

The purpose fo this pass is to verify the consistency of the AST after a specific pass has run.

Field Summary

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

LVALUE_CONTEXT, UNMODIFIABLE_CONTEXT

Method Summary

Modifier and Type	Method and Description
static void	assertCorrectOverriddenOrder(JProgram program, JMethod method)
static void	assertCorrectOverridingOrder(JProgram program, JMethod method)
static void	assertProgramIsConsistent(JProgram program) Throws an assertion error if the AST for a program is not consistent.
void	endVisit(JClassType x, Context ctx)
void	endVisit(JField x, Context ctx)
void	endVisit(JFieldRef x, Context ctx) NOTE: not called from JsniFieldRef.
void	endVisit(JInterfaceType x, Context ctx)
void	endVisit(JMethodCall x, Context ctx) NOTE: not called from JsniMethodRef.
void	endVisit(JMethod x, Context ctx)
void	endVisit(JsniFieldRef x, Context ctx)
void	endVisit(JsniMethodRef x, Context ctx)
void	endVisit(JThisRef x, Context ctx)
boolean	visit(JMethod 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, 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

Methods inherited from class java.lang.Object

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

Method Detail

assertProgramIsConsistent

public static void assertProgramIsConsistent(JProgram program)

Throws an assertion error if the AST for a program is not consistent.

assertCorrectOverriddenOrder

public static void assertCorrectOverriddenOrder(JProgram program,
                                                JMethod method)

assertCorrectOverridingOrder

public static void assertCorrectOverridingOrder(JProgram program,
                                                JMethod method)

endVisit

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

Description copied from class: JVisitor

NOTE: not called from JsniFieldRef.

Overrides:

endVisit in class JVisitor

endVisit

public void endVisit(JInterfaceType x,
                     Context ctx)

Overrides:

endVisit in class JVisitor

visit

public boolean visit(JMethod x,
                     Context ctx)

Overrides:

visit 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(JThisRef 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