Package com.sun.tools.javac.comp

Class Flow.AbstractAssignAnalyzer<P extends Flow.AbstractAssignAnalyzer.AbstractAssignPendingExit>

java.lang.Object

com.sun.tools.javac.tree.JCTree.Visitor

com.sun.tools.javac.tree.TreeScanner

com.sun.tools.javac.comp.Flow.AbstractAssignAnalyzer<P>

Direct Known Subclasses:

Flow.AssignAnalyzer

Enclosing class:

Flow

public abstract static class Flow.AbstractAssignAnalyzer<P extends Flow.AbstractAssignAnalyzer.AbstractAssignPendingExit>
extends TreeScanner

This pass implements (i) definite assignment analysis, which ensures that each variable is assigned when used and (ii) definite unassignment analysis, which ensures that no final variable is assigned more than once. This visitor depends on the results of the liveliness analyzer. This pass is also used to mark effectively-final local variables/parameters.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Flow.AbstractAssignAnalyzer.AbstractAssignPendingExit

Field Summary

Fields

Modifier and Type	Field and Description
protected Bits	inits The set of definitely assigned variables.
protected Names	names
protected int	nextadr The next available variable sequence number.
protected int	returnadr The first variable sequence number in a block that can return.
protected JCTree.JCVariableDecl[]	vardecls A mapping from addresses to variable symbols.

Constructor Summary

Constructors

Constructor and Description
AbstractAssignAnalyzer(Bits inits, Symtab syms, Names names)

Method Summary

Modifier and Type	Method and Description
void	analyzeTree(Env<?> env) Perform definite assignment/unassignment analysis on a tree.
void	analyzeTree(Env<?> env, JCTree tree)
protected void	andSetInits(JCTree tree, Bits bits)
protected void	assignToInits(JCTree tree, Bits bits)
protected P	createNewPendingExit(JCTree tree, Bits inits, Bits uninits)
protected void	exclVarFromInits(JCTree tree, int adr)
protected void	initParam(JCTree.JCVariableDecl def)
protected void	markDead(JCTree tree)
protected void	merge(JCTree tree) Merge (intersect) inits/uninits from WhenTrue/WhenFalse sets.
protected void	orSetInits(JCTree tree, Bits bits)
void	scan(JCTree tree) Visitor method: Scan a single node.
protected boolean	trackable(Symbol.VarSymbol sym) Do we need to track init/uninit state of this symbol? I.e.
void	visitAnnotatedType(JCTree.JCAnnotatedType tree)
void	visitApply(JCTree.JCMethodInvocation tree)
void	visitAssert(JCTree.JCAssert tree)
void	visitAssign(JCTree.JCAssign tree)
void	visitAssignop(JCTree.JCAssignOp tree)
void	visitBinary(JCTree.JCBinary tree)
void	visitBlock(JCTree.JCBlock tree)
void	visitBreak(JCTree.JCBreak tree)
void	visitClassDef(JCTree.JCClassDecl tree)
void	visitConditional(JCTree.JCConditional tree)
void	visitContinue(JCTree.JCContinue tree)
void	visitDoLoop(JCTree.JCDoWhileLoop tree)
void	visitForeachLoop(JCTree.JCEnhancedForLoop tree)
void	visitForLoop(JCTree.JCForLoop tree)
void	visitIdent(JCTree.JCIdent tree)
void	visitIf(JCTree.JCIf tree)
void	visitLabelled(JCTree.JCLabeledStatement tree)
void	visitLambda(JCTree.JCLambda tree)
void	visitMethodDef(JCTree.JCMethodDecl tree)
void	visitNewArray(JCTree.JCNewArray tree)
void	visitNewClass(JCTree.JCNewClass tree)
void	visitReturn(JCTree.JCReturn tree)
void	visitSwitch(JCTree.JCSwitch tree)
void	visitThrow(JCTree.JCThrow tree)
void	visitTopLevel(JCTree.JCCompilationUnit tree)
void	visitTry(JCTree.JCTry tree)
void	visitUnary(JCTree.JCUnary tree)
void	visitVarDef(JCTree.JCVariableDecl tree)
void	visitWhileLoop(JCTree.JCWhileLoop tree)

Methods inherited from class com.sun.tools.javac.tree.TreeScanner

scan, visitAnnotation, visitCase, visitCatch, visitErroneous, visitExec, visitImport, visitIndexed, visitLetExpr, visitLiteral, visitModifiers, visitParens, visitReference, visitSelect, visitSkip, visitSynchronized, visitTree, visitTypeApply, visitTypeArray, visitTypeBoundKind, visitTypeCast, visitTypeIdent, visitTypeIntersection, visitTypeParameter, visitTypeTest, visitTypeUnion, visitWildcard

Methods inherited from class java.lang.Object

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

Field Detail

inits

protected final Bits inits

The set of definitely assigned variables.

vardecls

protected JCTree.JCVariableDecl[] vardecls

A mapping from addresses to variable symbols.

nextadr

protected int nextadr

The next available variable sequence number.

returnadr

protected int returnadr

The first variable sequence number in a block that can return.

names

protected Names names

Constructor Detail

AbstractAssignAnalyzer

public AbstractAssignAnalyzer(Bits inits,
                              Symtab syms,
                              Names names)

Method Detail

markDead

protected void markDead(JCTree tree)

trackable

protected boolean trackable(Symbol.VarSymbol sym)

Do we need to track init/uninit state of this symbol? I.e. is symbol either a local or a blank final variable?

exclVarFromInits

protected void exclVarFromInits(JCTree tree,
                                int adr)

assignToInits

protected void assignToInits(JCTree tree,
                             Bits bits)

andSetInits

protected void andSetInits(JCTree tree,
                           Bits bits)

orSetInits

protected void orSetInits(JCTree tree,
                          Bits bits)

merge

protected void merge(JCTree tree)

Merge (intersect) inits/uninits from WhenTrue/WhenFalse sets.

visitClassDef

public void visitClassDef(JCTree.JCClassDecl tree)

Overrides:

visitClassDef in class TreeScanner

visitMethodDef

public void visitMethodDef(JCTree.JCMethodDecl tree)

Overrides:

visitMethodDef in class TreeScanner

initParam

protected void initParam(JCTree.JCVariableDecl def)

visitVarDef

public void visitVarDef(JCTree.JCVariableDecl tree)

Overrides:

visitVarDef in class TreeScanner

visitBlock

public void visitBlock(JCTree.JCBlock tree)

Overrides:

visitBlock in class TreeScanner

visitDoLoop

public void visitDoLoop(JCTree.JCDoWhileLoop tree)

Overrides:

visitDoLoop in class TreeScanner

visitWhileLoop

public void visitWhileLoop(JCTree.JCWhileLoop tree)

Overrides:

visitWhileLoop in class TreeScanner

visitForLoop

public void visitForLoop(JCTree.JCForLoop tree)

Overrides:

visitForLoop in class TreeScanner

visitForeachLoop

public void visitForeachLoop(JCTree.JCEnhancedForLoop tree)

Overrides:

visitForeachLoop in class TreeScanner

visitLabelled

public void visitLabelled(JCTree.JCLabeledStatement tree)

Overrides:

visitLabelled in class TreeScanner

visitSwitch

public void visitSwitch(JCTree.JCSwitch tree)

Overrides:

visitSwitch in class TreeScanner

visitTry

public void visitTry(JCTree.JCTry tree)

Overrides:

visitTry in class TreeScanner

visitConditional

public void visitConditional(JCTree.JCConditional tree)

Overrides:

visitConditional in class TreeScanner

visitIf

public void visitIf(JCTree.JCIf tree)

Overrides:

visitIf in class TreeScanner

createNewPendingExit

protected P createNewPendingExit(JCTree tree,
                                 Bits inits,
                                 Bits uninits)

visitBreak

public void visitBreak(JCTree.JCBreak tree)

Overrides:

visitBreak in class TreeScanner

visitContinue

public void visitContinue(JCTree.JCContinue tree)

Overrides:

visitContinue in class TreeScanner

visitReturn

public void visitReturn(JCTree.JCReturn tree)

Overrides:

visitReturn in class TreeScanner

visitThrow

public void visitThrow(JCTree.JCThrow tree)

Overrides:

visitThrow in class TreeScanner

visitApply

public void visitApply(JCTree.JCMethodInvocation tree)

Overrides:

visitApply in class TreeScanner

visitNewClass

public void visitNewClass(JCTree.JCNewClass tree)

Overrides:

visitNewClass in class TreeScanner

visitLambda

public void visitLambda(JCTree.JCLambda tree)

Overrides:

visitLambda in class TreeScanner

visitNewArray

public void visitNewArray(JCTree.JCNewArray tree)

Overrides:

visitNewArray in class TreeScanner

visitAssert

public void visitAssert(JCTree.JCAssert tree)

Overrides:

visitAssert in class TreeScanner

visitAssign

public void visitAssign(JCTree.JCAssign tree)

Overrides:

visitAssign in class TreeScanner

visitAssignop

public void visitAssignop(JCTree.JCAssignOp tree)

Overrides:

visitAssignop in class TreeScanner

visitUnary

public void visitUnary(JCTree.JCUnary tree)

Overrides:

visitUnary in class TreeScanner

visitBinary

public void visitBinary(JCTree.JCBinary tree)

Overrides:

visitBinary in class TreeScanner

visitIdent

public void visitIdent(JCTree.JCIdent tree)

Overrides:

visitIdent in class TreeScanner

visitAnnotatedType

public void visitAnnotatedType(JCTree.JCAnnotatedType tree)

Overrides:

visitAnnotatedType in class TreeScanner

visitTopLevel

public void visitTopLevel(JCTree.JCCompilationUnit tree)

Overrides:

visitTopLevel in class TreeScanner

analyzeTree

public void analyzeTree(Env<?> env)

Perform definite assignment/unassignment analysis on a tree.

analyzeTree

public void analyzeTree(Env<?> env,
                        JCTree tree)

scan

public void scan(JCTree tree)

Description copied from class: TreeScanner

Visitor method: Scan a single node.

Overrides:

scan in class TreeScanner