Package com.sun.tools.javac.jvm

Class Gen

java.lang.Object

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

com.sun.tools.javac.jvm.Gen

public class Gen
extends JCTree.Visitor

This pass maps flat Java (i.e. without inner classes) to bytecodes.

This is NOT part of any supported API. If you write code that depends on this, you do so at your own risk. This code and its internal interfaces are subject to change or deletion without notice.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Gen.CodeSizeOverflow Thrown when the byte code size exceeds limit.

Field Summary

Fields

Modifier and Type	Field and Description
protected static Context.Key<Gen>	genKey

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Gen(Context context)

Method Summary

Modifier and Type	Method and Description
void	genArgs(List<JCTree.JCExpression> trees, List<Type> pts) Derived visitor method: generate code for a list of method arguments.
boolean	genClass(Env<AttrContext> env, JCTree.JCClassDecl cdef) Generate code for a class definition.
com.sun.tools.javac.jvm.Items.CondItem	genCond(JCTree _tree, boolean markBranches) Derived visitor method: generate code for a boolean expression in a control-flow context.
com.sun.tools.javac.jvm.Items.CondItem	genCond(JCTree tree, int crtFlags) Derived visitor method: check whether CharacterRangeTable should be emitted, if so, put a new entry into CRTable and call method to generate bytecode.
void	genDef(JCTree tree, Env<com.sun.tools.javac.jvm.Gen.GenContext> env) Visitor method: generate code for a definition, catching and reporting any completion failures.
com.sun.tools.javac.jvm.Items.Item	genExpr(JCTree tree, Type pt) Visitor method: generate code for an expression, catching and reporting any completion failures.
void	genStat(JCTree tree, Env<com.sun.tools.javac.jvm.Gen.GenContext> env) Derived visitor method: generate code for a statement.
void	genStat(JCTree tree, Env<com.sun.tools.javac.jvm.Gen.GenContext> env, int crtFlags) Derived visitor method: check whether CharacterRangeTable should be emitted, if so, put a new entry into CRTable and call method to generate bytecode.
void	genStats(List<? extends JCTree> trees, Env<com.sun.tools.javac.jvm.Gen.GenContext> env) Derived visitor method: generate code for a list of statements.
void	genStats(List<JCTree.JCStatement> trees, Env<com.sun.tools.javac.jvm.Gen.GenContext> env, int crtFlags) Derived visitor method: check whether CharacterRangeTable should be emitted, if so, put a new entry into CRTable and call method to generate bytecode.
static Gen	instance(Context context)
boolean	isInvokeDynamic(Symbol sym)
static int	one(int tc) The opcode that loads a one constant of a given type code.
void	visitApply(JCTree.JCMethodInvocation 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	visitConditional(JCTree.JCConditional tree)
void	visitContinue(JCTree.JCContinue tree)
void	visitDoLoop(JCTree.JCDoWhileLoop tree)
void	visitExec(JCTree.JCExpressionStatement tree)
void	visitForeachLoop(JCTree.JCEnhancedForLoop tree)
void	visitForLoop(JCTree.JCForLoop tree)
void	visitIdent(JCTree.JCIdent tree)
void	visitIf(JCTree.JCIf tree)
void	visitIndexed(JCTree.JCArrayAccess tree)
void	visitLabelled(JCTree.JCLabeledStatement tree)
void	visitLetExpr(JCTree.LetExpr tree)
void	visitLiteral(JCTree.JCLiteral tree)
void	visitMethodDef(JCTree.JCMethodDecl tree)
void	visitNewArray(JCTree.JCNewArray tree)
void	visitNewClass(JCTree.JCNewClass tree)
void	visitParens(JCTree.JCParens tree)
void	visitReturn(JCTree.JCReturn tree)
void	visitSelect(JCTree.JCFieldAccess tree)
void	visitSkip(JCTree.JCSkip tree)
void	visitSwitch(JCTree.JCSwitch tree)
void	visitSynchronized(JCTree.JCSynchronized tree)
void	visitThrow(JCTree.JCThrow tree)
void	visitTry(JCTree.JCTry tree)
void	visitTypeCast(JCTree.JCTypeCast tree)
void	visitTypeTest(JCTree.JCInstanceOf tree)
void	visitUnary(JCTree.JCUnary tree)
void	visitVarDef(JCTree.JCVariableDecl tree)
void	visitWhileLoop(JCTree.JCWhileLoop tree)
void	visitWildcard(JCTree.JCWildcard tree)
static int	zero(int tc) The opcode that loads a zero constant of a given type code.

Methods inherited from class com.sun.tools.javac.tree.JCTree.Visitor

visitAnnotatedType, visitAnnotation, visitAssert, visitCase, visitCatch, visitClassDef, visitErroneous, visitImport, visitLambda, visitModifiers, visitReference, visitTopLevel, visitTree, visitTypeApply, visitTypeArray, visitTypeBoundKind, visitTypeIdent, visitTypeIntersection, visitTypeParameter, visitTypeUnion

Methods inherited from class java.lang.Object

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

Field Detail

genKey

protected static final Context.Key<Gen> genKey

Constructor Detail

Gen

protected Gen(Context context)

Method Detail

instance

public static Gen instance(Context context)

zero

public static int zero(int tc)

The opcode that loads a zero constant of a given type code.

Parameters:

tc - The given type code (@see ByteCode).

one

public static int one(int tc)

The opcode that loads a one constant of a given type code.

Parameters:

tc - The given type code (@see ByteCode).

genDef

public void genDef(JCTree tree,
                   Env<com.sun.tools.javac.jvm.Gen.GenContext> env)

Visitor method: generate code for a definition, catching and reporting any completion failures.

Parameters:

tree - The definition to be visited.

env - The environment current at the definition.

genStat

public void genStat(JCTree tree,
                    Env<com.sun.tools.javac.jvm.Gen.GenContext> env,
                    int crtFlags)

Derived visitor method: check whether CharacterRangeTable should be emitted, if so, put a new entry into CRTable and call method to generate bytecode. If not, just call method to generate bytecode.

Parameters:

tree - The tree to be visited.

env - The environment to use.

crtFlags - The CharacterRangeTable flags indicating type of the entry.

See Also:

genStat(JCTree, Env)

genStat

public void genStat(JCTree tree,
                    Env<com.sun.tools.javac.jvm.Gen.GenContext> env)

Derived visitor method: generate code for a statement.

genStats

public void genStats(List<JCTree.JCStatement> trees,
                     Env<com.sun.tools.javac.jvm.Gen.GenContext> env,
                     int crtFlags)

Derived visitor method: check whether CharacterRangeTable should be emitted, if so, put a new entry into CRTable and call method to generate bytecode. If not, just call method to generate bytecode.

Parameters:

trees - The list of trees to be visited.

env - The environment to use.

crtFlags - The CharacterRangeTable flags indicating type of the entry.

See Also:

genStats(List, Env)

genStats

public void genStats(List<? extends JCTree> trees,
                     Env<com.sun.tools.javac.jvm.Gen.GenContext> env)

Derived visitor method: generate code for a list of statements.

genCond

public com.sun.tools.javac.jvm.Items.CondItem genCond(JCTree tree,
                                                      int crtFlags)

Derived visitor method: check whether CharacterRangeTable should be emitted, if so, put a new entry into CRTable and call method to generate bytecode. If not, just call method to generate bytecode.

Parameters:

tree - The tree to be visited.

crtFlags - The CharacterRangeTable flags indicating type of the entry.

See Also:

genCond(JCTree,boolean)

genCond

public com.sun.tools.javac.jvm.Items.CondItem genCond(JCTree _tree,
                                                      boolean markBranches)

Derived visitor method: generate code for a boolean expression in a control-flow context.

Parameters:

_tree - The expression to be visited.

markBranches - The flag to indicate that the condition is a flow controller so produced conditions should contain a proper tree to generate CharacterRangeTable branches for them.

genExpr

public com.sun.tools.javac.jvm.Items.Item genExpr(JCTree tree,
                                                  Type pt)

Visitor method: generate code for an expression, catching and reporting any completion failures.

Parameters:

tree - The expression to be visited.

pt - The expression's expected type (proto-type).

genArgs

public void genArgs(List<JCTree.JCExpression> trees,
                    List<Type> pts)

Derived visitor method: generate code for a list of method arguments.

Parameters:

trees - The argument expressions to be visited.

pts - The expression's expected types (i.e. the formal parameter types of the invoked method).

visitMethodDef

public void visitMethodDef(JCTree.JCMethodDecl tree)

Overrides:

visitMethodDef in class JCTree.Visitor

visitVarDef

public void visitVarDef(JCTree.JCVariableDecl tree)

Overrides:

visitVarDef in class JCTree.Visitor

visitSkip

public void visitSkip(JCTree.JCSkip tree)

Overrides:

visitSkip in class JCTree.Visitor

visitBlock

public void visitBlock(JCTree.JCBlock tree)

Overrides:

visitBlock in class JCTree.Visitor

visitDoLoop

public void visitDoLoop(JCTree.JCDoWhileLoop tree)

Overrides:

visitDoLoop in class JCTree.Visitor

visitWhileLoop

public void visitWhileLoop(JCTree.JCWhileLoop tree)

Overrides:

visitWhileLoop in class JCTree.Visitor

visitForLoop

public void visitForLoop(JCTree.JCForLoop tree)

Overrides:

visitForLoop in class JCTree.Visitor

visitForeachLoop

public void visitForeachLoop(JCTree.JCEnhancedForLoop tree)

Overrides:

visitForeachLoop in class JCTree.Visitor

visitLabelled

public void visitLabelled(JCTree.JCLabeledStatement tree)

Overrides:

visitLabelled in class JCTree.Visitor

visitSwitch

public void visitSwitch(JCTree.JCSwitch tree)

Overrides:

visitSwitch in class JCTree.Visitor

visitSynchronized

public void visitSynchronized(JCTree.JCSynchronized tree)

Overrides:

visitSynchronized in class JCTree.Visitor

visitTry

public void visitTry(JCTree.JCTry tree)

Overrides:

visitTry in class JCTree.Visitor

visitIf

public void visitIf(JCTree.JCIf tree)

Overrides:

visitIf in class JCTree.Visitor

visitExec

public void visitExec(JCTree.JCExpressionStatement tree)

Overrides:

visitExec in class JCTree.Visitor

visitBreak

public void visitBreak(JCTree.JCBreak tree)

Overrides:

visitBreak in class JCTree.Visitor

visitContinue

public void visitContinue(JCTree.JCContinue tree)

Overrides:

visitContinue in class JCTree.Visitor

visitReturn

public void visitReturn(JCTree.JCReturn tree)

Overrides:

visitReturn in class JCTree.Visitor

visitThrow

public void visitThrow(JCTree.JCThrow tree)

Overrides:

visitThrow in class JCTree.Visitor

visitApply

public void visitApply(JCTree.JCMethodInvocation tree)

Overrides:

visitApply in class JCTree.Visitor

visitConditional

public void visitConditional(JCTree.JCConditional tree)

Overrides:

visitConditional in class JCTree.Visitor

visitNewClass

public void visitNewClass(JCTree.JCNewClass tree)

Overrides:

visitNewClass in class JCTree.Visitor

visitNewArray

public void visitNewArray(JCTree.JCNewArray tree)

Overrides:

visitNewArray in class JCTree.Visitor

visitParens

public void visitParens(JCTree.JCParens tree)

Overrides:

visitParens in class JCTree.Visitor

visitAssign

public void visitAssign(JCTree.JCAssign tree)

Overrides:

visitAssign in class JCTree.Visitor

visitAssignop

public void visitAssignop(JCTree.JCAssignOp tree)

Overrides:

visitAssignop in class JCTree.Visitor

visitUnary

public void visitUnary(JCTree.JCUnary tree)

Overrides:

visitUnary in class JCTree.Visitor

visitBinary

public void visitBinary(JCTree.JCBinary tree)

Overrides:

visitBinary in class JCTree.Visitor

visitTypeCast

public void visitTypeCast(JCTree.JCTypeCast tree)

Overrides:

visitTypeCast in class JCTree.Visitor

visitWildcard

public void visitWildcard(JCTree.JCWildcard tree)

Overrides:

visitWildcard in class JCTree.Visitor

visitTypeTest

public void visitTypeTest(JCTree.JCInstanceOf tree)

Overrides:

visitTypeTest in class JCTree.Visitor

visitIndexed

public void visitIndexed(JCTree.JCArrayAccess tree)

Overrides:

visitIndexed in class JCTree.Visitor

visitIdent

public void visitIdent(JCTree.JCIdent tree)

Overrides:

visitIdent in class JCTree.Visitor

visitSelect

public void visitSelect(JCTree.JCFieldAccess tree)

Overrides:

visitSelect in class JCTree.Visitor

isInvokeDynamic

public boolean isInvokeDynamic(Symbol sym)

visitLiteral

public void visitLiteral(JCTree.JCLiteral tree)

Overrides:

visitLiteral in class JCTree.Visitor

visitLetExpr

public void visitLetExpr(JCTree.LetExpr tree)

Overrides:

visitLetExpr in class JCTree.Visitor

genClass

public boolean genClass(Env<AttrContext> env,
                        JCTree.JCClassDecl cdef)

Generate code for a class definition.

Parameters:

env - The attribution environment that belongs to the outermost class containing this class definition. We need this for resolving some additional symbols.

cdef - The tree representing the class definition.

Returns:

True if code is generated with no errors.