com.google.javascript.jscomp

Class CheckUnreachableCode

java.lang.Object

com.google.javascript.jscomp.CheckUnreachableCode

All Implemented Interfaces:

NodeTraversal.Callback, NodeTraversal.ScopedCallback

class CheckUnreachableCode
extends java.lang.Object
implements NodeTraversal.ScopedCallback

Use ControlFlowGraph and GraphReachability to inform user about unreachable code.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
private static class	CheckUnreachableCode.ReachablePredicate

Field Summary

Fields

Modifier and Type	Field and Description
private AbstractCompiler	compiler
(package private) static DiagnosticType	UNREACHABLE_CODE

Constructor Summary

Constructors

Constructor and Description
CheckUnreachableCode(AbstractCompiler compiler)

Method Summary

Modifier and Type	Method and Description
void	enterScope(NodeTraversal t) Called immediately after entering a new scope.
void	exitScope(NodeTraversal t) Called immediately before exiting a scope.
private void	initScope(ControlFlowGraph<Node> controlFlowGraph)
boolean	shouldTraverse(NodeTraversal t, Node n, Node parent) Visits a node in pre order (before visiting its children) and decides whether this node's children should be traversed.
void	visit(NodeTraversal t, Node n, Node parent) Visits a node in postorder (after its children have been visited).

Methods inherited from class java.lang.Object

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

Field Detail

UNREACHABLE_CODE

static final DiagnosticType UNREACHABLE_CODE

compiler

private final AbstractCompiler compiler

Constructor Detail

CheckUnreachableCode

CheckUnreachableCode(AbstractCompiler compiler)

Method Detail

enterScope

public void enterScope(NodeTraversal t)

Description copied from interface: NodeTraversal.ScopedCallback

Called immediately after entering a new scope. The new scope can be accessed through t.getScope()

Specified by:

enterScope in interface NodeTraversal.ScopedCallback

shouldTraverse

public boolean shouldTraverse(NodeTraversal t,
                              Node n,
                              Node parent)

Description copied from interface: NodeTraversal.Callback

Visits a node in pre order (before visiting its children) and decides whether this node's children should be traversed. If children are traversed, they will be visited by NodeTraversal.Callback.visit(NodeTraversal, Node, Node) in postorder.

Implementations can have side effects (e.g. modifying the parse tree).

Specified by:

shouldTraverse in interface NodeTraversal.Callback

Returns:

whether the children of this node should be visited

initScope

private void initScope(ControlFlowGraph<Node> controlFlowGraph)

exitScope

public void exitScope(NodeTraversal t)

Description copied from interface: NodeTraversal.ScopedCallback

Called immediately before exiting a scope. The ending scope can be accessed through t.getScope()

Specified by:

exitScope in interface NodeTraversal.ScopedCallback

visit

public void visit(NodeTraversal t,
                  Node n,
                  Node parent)

Description copied from interface: NodeTraversal.Callback

Visits a node in postorder (after its children have been visited). A node is visited only if all its parents should be traversed (NodeTraversal.Callback.shouldTraverse(NodeTraversal, Node, Node)).

Implementations can have side effects (e.g. modifying the parse tree).

Specified by:

visit in interface NodeTraversal.Callback