Field Detail

• protected final WriterController controller

  The controller coordinating all bytecode writers for the current class.

Constructor Detail

• public StatementWriter(WriterController controller)

  Creates a statement writer backed by the given controller.

  Parameters:

  controller - the writer controller for the current compilation

Method Detail

• protected final BytecodeVariable defineLoopIndexVariable(ForStatement statement)

• public void writeAssert(AssertStatement statement)

  Generates bytecode for an assert statement.

  Parameters:

  statement - the assert statement to compile

• public void writeBlockStatement(BlockStatement block)

  Generates bytecode for a block statement by visiting each contained statement. Pushes the block's variable scope, emits the statements, and pops afterward. Named labels on the block create a breakable region so that break label within the block jumps to the end of it.

  Parameters:

  block - the block statement to compile

• public void writeBreak(BreakStatement statement)

  Generates bytecode for a break statement, applying any intervening finally blocks before the jump.

  Parameters:

  statement - the break statement to compile

• public void writeContinue(ContinueStatement statement)

  Generates bytecode for a continue statement, applying any intervening finally blocks before the jump.

  Parameters:

  statement - the continue statement to compile

• public void writeDoWhileLoop(DoWhileStatement statement)

  Generates bytecode for a do-while loop.

  Parameters:

  statement - the do-while statement to compile

• public void writeExpressionStatement(ExpressionStatement statement)

  Generates bytecode for an expression statement. Evaluates the expression and discards any value left on the operand stack. Marks method-call and binary expressions so that unused return values are elided rather than boxed.

  Parameters:

  statement - the expression statement to compile

• protected void writeForInLoop(ForStatement statement)

  Generates bytecode for a for-in loop by calling iterator() on the collection expression and delegating loop control to writeForInLoopControlAndBlock.

  Parameters:

  statement - the for-in statement to compile

• protected void writeForInLoopControlAndBlock(ForStatement statement)

  Emits the loop-control structure and body for a for-in loop. Assumes the iterator object is already on the operand stack. Declares loop variables, emits the hasNext/next check-and-advance, generates the loop body, and handles index-variable increment when present.

  Parameters:

  statement - the for-in statement whose control and body should be emitted

• protected void writeForLoopWithClosureList(ForStatement statement)

  Generates bytecode for a C-style for(init; cond; incr) loop. The collection expression is a ClosureListExpression whose middle element is the boolean condition, lower elements are initializers, and upper elements are incrementors.

  Parameters:

  statement - the for statement with a ClosureListExpression collection

• public void writeForStatement(ForStatement statement)

  Generates bytecode for a for statement. Delegates to writeForLoopWithClosureList for C-style loops (using a ClosureListExpression), or to writeForInLoop for for-in loops.

  Parameters:

  statement - the for statement to compile

• public void writeIfElse(IfStatement statement)

  Generates bytecode for an if/else statement.

  Parameters:

  statement - the if statement to compile

• protected void writeIteratorHasNext(org.objectweb.asm.MethodVisitor mv)

  Emits the Iterator.hasNext call via the given visitor. Overrideable so subclasses can substitute a specialized or inlined variant.

  Parameters:

  mv - the method visitor to write to

• protected void writeIteratorNext(org.objectweb.asm.MethodVisitor mv)

  Emits the Iterator.next call via the given visitor. Overrideable so subclasses can substitute a specialized or inlined variant.

  Parameters:

  mv - the method visitor to write to

• protected final void writeLoopBackEdge(org.objectweb.asm.Label continueLabel, boolean bodyMayReachContinue)

• public void writeReturn(ReturnStatement statement)

  Generates bytecode for a return statement. For void methods emits RETURN after applying any finally blocks. For value-returning methods evaluates the expression, casts it to the declared return type, and emits the appropriate typed return instruction.

  Parameters:

  statement - the return statement to compile

• protected void writeStatementLabel(Statement statement)

  Emits bytecode labels for any statement labels attached to statement. Called before emitting the body of every statement so that named labels (break foo / continue foo) resolve correctly.

  Parameters:

  statement - the statement whose labels should be emitted

• public void writeSwitch(SwitchStatement statement)

  Generates bytecode for a switch statement. Each case expression is compared using Groovy's isCase operator, so non-integer switch expressions are supported.

  Parameters:

  statement - the switch statement to compile

• public void writeSynchronized(SynchronizedStatement statement)

  Generates bytecode for a synchronized statement. Stores the monitor object in a local variable, emits MONITORENTER/MONITOREXIT guards, and registers a catch-all exception handler that exits the monitor before rethrowing.

  Parameters:

  statement - the synchronized statement to compile

• public void writeThrow(ThrowStatement statement)

  Generates bytecode for a throw statement. Casts the expression to Throwable and emits ATHROW.

  Parameters:

  statement - the throw statement to compile

• public void writeTryCatchFinally(TryCatchStatement statement)

  Generates bytecode for a try/catch/finally statement. Handles exception table registration, finally-block inlining at every exit path, and a catch-all rethrow for exceptions not handled by any catch clause.

  Parameters:

  statement - the try/catch/finally statement to compile

• public void writeWhileLoop(WhileStatement statement)

  Generates bytecode for a while loop.

  Parameters:

  statement - the while statement to compile