Package org.glassfish.pfl.dynamic.codegen.impl

Class ASMSetupVisitor

java.lang.Object

org.glassfish.pfl.dynamic.codegen.impl.TreeWalker

org.glassfish.pfl.dynamic.codegen.impl.ASMSetupVisitor

All Implemented Interfaces:

Visitor

public class ASMSetupVisitor
extends TreeWalker

Visitor that can prepare an AST for bytecode generation, or verify that an AST has been correctly prepared.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ASMSetupVisitor.ErrorReport	Class used to represnt an AST verification error
static enum	ASMSetupVisitor.Mode
(package private) static class	ASMSetupVisitor.SlotAllocator
private static enum	ASMSetupVisitor.VariableContext	Defines the context in which a variable occurs.

Field Summary

Fields

Modifier and Type	Field	Description
private List<ASMSetupVisitor.ErrorReport>	errors
private ASMSetupVisitor.Mode	mode
private ASMSetupVisitor.SlotAllocator	slotAllocator
private ASMSetupVisitor.VariableContext	variableDefiningContext

Fields inherited from class org.glassfish.pfl.dynamic.codegen.impl.TreeWalker

context

Constructor Summary

Constructors

Constructor	Description
ASMSetupVisitor(TreeWalkerContext context)
ASMSetupVisitor(TreeWalkerContext context, ASMSetupVisitor.Mode mode)

Method Summary

Modifier and Type	Method	Description
private void	allocateLocalVariable(Variable param)
void	binaryOperatorExpressionBeforeRight(ExpressionFactory.BinaryOperatorExpression arg)
void	blockStatementBeforeBodyStatement(BlockStatement arg, Statement stmt)
void	classGeneratorBeforeConstructor(ClassGeneratorImpl arg)
boolean	classGeneratorBeforeFields(ClassGeneratorImpl arg)
void	classGeneratorBeforeInitializer(ClassGeneratorImpl arg)
void	classGeneratorBeforeMethod(ClassGeneratorImpl arg)
private void	compareEmitter(String nodeType, Node arg, EmitterFactory.Emitter expected, EmitterFactory.Emitter actual)
private void	defineLocalVariable(Variable arg)
boolean	definitionStatementBeforeExpr(DefinitionStatement arg)
private void	finishVariableDefinition(Variable param)
List<ASMSetupVisitor.ErrorReport>	getVerificationErrors()
private void	handleEmitter(Node arg, EmitterFactory.Emitter em)
private void	initializeEmitter(ExpressionFactory.ArrayIndexExpression arg)
private void	initializeEmitter(ExpressionFactory.NonStaticFieldAccessExpression arg)
private void	initializeEmitter(ExpressionFactory.StaticFieldAccessExpression arg)
private void	initializeVariableEmitter(Variable param)
void	methodGeneratorAfterArguments(MethodGenerator arg)
boolean	methodGeneratorBeforeArguments(MethodGenerator arg)
void	postBinaryOperatorExpression(ExpressionFactory.BinaryOperatorExpression arg)
void	postBlockStatement(BlockStatement arg)
void	postClassGenerator(ClassGeneratorImpl arg)
void	postMethodGenerator(MethodGenerator arg)
void	postTryStatement(TryStatement arg)
boolean	preArrayIndexExpression(ExpressionFactory.ArrayIndexExpression arg)
boolean	preAssignmentStatement(AssignmentStatement arg)
boolean	preBinaryOperatorExpression(ExpressionFactory.BinaryOperatorExpression arg)
boolean	preBlockStatement(BlockStatement arg)
boolean	preClassGenerator(ClassGeneratorImpl arg)
boolean	preDefinitionStatement(DefinitionStatement arg)
boolean	preMethodGenerator(MethodGenerator arg)
boolean	preNonStaticFieldAccessExpression(ExpressionFactory.NonStaticFieldAccessExpression arg)
private boolean	preparing()
boolean	preStaticFieldAccessExpression(ExpressionFactory.StaticFieldAccessExpression arg)
boolean	preTryStatement(TryStatement arg)
boolean	preVariable(Variable arg)
void	tryStatementBeforeBlock(TryStatement arg, Type type, Variable var, BlockStatement block)
boolean	tryStatementBeforeFinalPart(TryStatement arg)
private void	verificationError(Node node, String msg)

Methods inherited from class org.glassfish.pfl.dynamic.codegen.impl.TreeWalker

arrayIndexExpressionBeforeExpr, assignmentStatementBeforeLeftSide, caseBranchBeforeBodyStatement, ifExpressionBeforeFalsePart, ifExpressionBeforeTruePart, ifStatementBeforeFalsePart, ifStatementBeforeTruePart, newArrExpressionAfterExpression, newArrExpressionAfterSize, newArrExpressionBeforeExpression, newObjExpressionBeforeArg, nonStaticCallExpressionBeforeArg, postArrayIndexExpression, postArrayLengthExpression, postAssignmentStatement, postBreakStatement, postCaseBranch, postCastExpression, postConstantExpression, postDefinitionStatement, postExpression, postFieldGenerator, postIfExpression, postIfStatement, postInstofExpression, postNewArrExpression, postNewObjExpression, postNode, postNonStaticCallExpression, postNonStaticFieldAccessExpression, postReturnStatement, postStatement, postStaticCallExpression, postStaticFieldAccessExpression, postSuperCallExpression, postSuperObjExpression, postSwitchStatement, postThisExpression, postThisObjExpression, postThrowStatement, postUnaryOperatorExpression, postVariable, postVoidExpression, postWhileStatement, preArrayLengthExpression, preBreakStatement, preCaseBranch, preCastExpression, preConstantExpression, preExpression, preFieldGenerator, preIfExpression, preIfStatement, preInstofExpression, preNewArrExpression, preNewObjExpression, preNode, preNonStaticCallExpression, preReturnStatement, preStatement, preStaticCallExpression, preSuperCallExpression, preSuperObjExpression, preSwitchStatement, preThisExpression, preThisObjExpression, preThrowStatement, preUnaryOperatorExpression, preVoidExpression, preWhileStatement, staticCallExpressionBeforeArg, superCallExpressionBeforeArg, superObjExpressionBeforeArg, switchStatementBeforeCaseBranches, switchStatementBeforeDefault, thisObjExpressionBeforeArg, visitArrayIndexExpression, visitArrayLengthExpression, visitAssignmentStatement, visitBinaryOperatorExpression, visitBlockStatement, visitBreakStatement, visitCaseBranch, visitCastExpression, visitClassGenerator, visitConstantExpression, visitDefinitionStatement, visitExpression, visitFieldGenerator, visitIfExpression, visitIfStatement, visitInstofExpression, visitMethodGenerator, visitNewArrExpression, visitNewObjExpression, visitNode, visitNonStaticCallExpression, visitNonStaticFieldAccessExpression, visitReturnStatement, visitStatement, visitStaticCallExpression, visitStaticFieldAccessExpression, visitSuperCallExpression, visitSuperObjExpression, visitSwitchStatement, visitThisExpression, visitThisObjExpression, visitThrowStatement, visitTryStatement, visitUnaryOperatorExpression, visitVariable, visitVoidExpression, visitWhileStatement, whileStatementBeforeBody

Methods inherited from class java.lang.Object

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

Field Details

variableDefiningContext

private ASMSetupVisitor.VariableContext variableDefiningContext

mode

private ASMSetupVisitor.Mode mode

slotAllocator

private ASMSetupVisitor.SlotAllocator slotAllocator

errors

private List<ASMSetupVisitor.ErrorReport> errors

Constructor Details

ASMSetupVisitor

public ASMSetupVisitor(TreeWalkerContext context)

ASMSetupVisitor

public ASMSetupVisitor(TreeWalkerContext context,
 ASMSetupVisitor.Mode mode)

Method Details

getVerificationErrors

public List<ASMSetupVisitor.ErrorReport> getVerificationErrors()

verificationError

private void verificationError(Node node,
 String msg)

preparing

private boolean preparing()

preClassGenerator

public boolean preClassGenerator(ClassGeneratorImpl arg)

Overrides:

preClassGenerator in class TreeWalker

preMethodGenerator

public boolean preMethodGenerator(MethodGenerator arg)

Overrides:

preMethodGenerator in class TreeWalker

methodGeneratorBeforeArguments

public boolean methodGeneratorBeforeArguments(MethodGenerator arg)

Overrides:

methodGeneratorBeforeArguments in class TreeWalker

methodGeneratorAfterArguments

public void methodGeneratorAfterArguments(MethodGenerator arg)

Overrides:

methodGeneratorAfterArguments in class TreeWalker

postMethodGenerator

public void postMethodGenerator(MethodGenerator arg)

Overrides:

postMethodGenerator in class TreeWalker

classGeneratorBeforeFields

public boolean classGeneratorBeforeFields(ClassGeneratorImpl arg)

Overrides:

classGeneratorBeforeFields in class TreeWalker

classGeneratorBeforeInitializer

public void classGeneratorBeforeInitializer(ClassGeneratorImpl arg)

Overrides:

classGeneratorBeforeInitializer in class TreeWalker

classGeneratorBeforeMethod

public void classGeneratorBeforeMethod(ClassGeneratorImpl arg)

Overrides:

classGeneratorBeforeMethod in class TreeWalker

classGeneratorBeforeConstructor

public void classGeneratorBeforeConstructor(ClassGeneratorImpl arg)

Overrides:

classGeneratorBeforeConstructor in class TreeWalker

postClassGenerator

public void postClassGenerator(ClassGeneratorImpl arg)

Overrides:

postClassGenerator in class TreeWalker

preBlockStatement

public boolean preBlockStatement(BlockStatement arg)

Overrides:

preBlockStatement in class TreeWalker

blockStatementBeforeBodyStatement

public void blockStatementBeforeBodyStatement(BlockStatement arg,
 Statement stmt)

Overrides:

blockStatementBeforeBodyStatement in class TreeWalker

postBlockStatement

public void postBlockStatement(BlockStatement arg)

Overrides:

postBlockStatement in class TreeWalker

preDefinitionStatement

public boolean preDefinitionStatement(DefinitionStatement arg)

Overrides:

preDefinitionStatement in class TreeWalker

definitionStatementBeforeExpr

public boolean definitionStatementBeforeExpr(DefinitionStatement arg)

Overrides:

definitionStatementBeforeExpr in class TreeWalker

preTryStatement

public boolean preTryStatement(TryStatement arg)

Overrides:

preTryStatement in class TreeWalker

tryStatementBeforeBlock

public void tryStatementBeforeBlock(TryStatement arg,
 Type type,
 Variable var,
 BlockStatement block)

Overrides:

tryStatementBeforeBlock in class TreeWalker

tryStatementBeforeFinalPart

public boolean tryStatementBeforeFinalPart(TryStatement arg)

Overrides:

tryStatementBeforeFinalPart in class TreeWalker

postTryStatement

public void postTryStatement(TryStatement arg)

Overrides:

postTryStatement in class TreeWalker

preAssignmentStatement

public boolean preAssignmentStatement(AssignmentStatement arg)

Overrides:

preAssignmentStatement in class TreeWalker

preNonStaticFieldAccessExpression

public boolean preNonStaticFieldAccessExpression(ExpressionFactory.NonStaticFieldAccessExpression arg)

Overrides:

preNonStaticFieldAccessExpression in class TreeWalker

preStaticFieldAccessExpression

public boolean preStaticFieldAccessExpression(ExpressionFactory.StaticFieldAccessExpression arg)

Overrides:

preStaticFieldAccessExpression in class TreeWalker

preArrayIndexExpression

public boolean preArrayIndexExpression(ExpressionFactory.ArrayIndexExpression arg)

Overrides:

preArrayIndexExpression in class TreeWalker

initializeEmitter

private void initializeEmitter(ExpressionFactory.NonStaticFieldAccessExpression arg)

initializeEmitter

private void initializeEmitter(ExpressionFactory.StaticFieldAccessExpression arg)

initializeEmitter

private void initializeEmitter(ExpressionFactory.ArrayIndexExpression arg)

compareEmitter

private void compareEmitter(String nodeType,
 Node arg,
 EmitterFactory.Emitter expected,
 EmitterFactory.Emitter actual)

handleEmitter

private void handleEmitter(Node arg,
 EmitterFactory.Emitter em)

initializeVariableEmitter

private void initializeVariableEmitter(Variable param)

defineLocalVariable

private void defineLocalVariable(Variable arg)

allocateLocalVariable

private void allocateLocalVariable(Variable param)

finishVariableDefinition

private void finishVariableDefinition(Variable param)

preVariable

public boolean preVariable(Variable arg)

Overrides:

preVariable in class TreeWalker

preBinaryOperatorExpression

public boolean preBinaryOperatorExpression(ExpressionFactory.BinaryOperatorExpression arg)

Overrides:

preBinaryOperatorExpression in class TreeWalker

binaryOperatorExpressionBeforeRight

public void binaryOperatorExpressionBeforeRight(ExpressionFactory.BinaryOperatorExpression arg)

Overrides:

binaryOperatorExpressionBeforeRight in class TreeWalker

postBinaryOperatorExpression

public void postBinaryOperatorExpression(ExpressionFactory.BinaryOperatorExpression arg)

Overrides:

postBinaryOperatorExpression in class TreeWalker