Package org.aspectj.org.eclipse.jdt.internal.compiler.ast

Class DoStatement

java.lang.Object
org.aspectj.org.eclipse.jdt.internal.compiler.ast.ASTNode
org.aspectj.org.eclipse.jdt.internal.compiler.ast.Statement
org.aspectj.org.eclipse.jdt.internal.compiler.ast.DoStatement
All Implemented Interfaces:
TypeConstants, TypeIds
public class DoStatement extends Statement

  • Field Details

  • Constructor Details

    • DoStatement

      public DoStatement​(Expression condition, Statement action, int sourceStart, int sourceEnd)

  • Method Details

    • analyseCode

      public FlowInfo analyseCode​(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
      Specified by:
      analyseCode in class Statement

    • generateCode

      public void generateCode​(BlockScope currentScope, CodeStream codeStream)
      Do statement code generation
      Specified by:
      generateCode in class Statement

    • printStatement

      public StringBuffer printStatement​(int indent, StringBuffer output)
      Specified by:
      printStatement in class Statement

    • resolve

      public void resolve​(BlockScope scope)
      Specified by:
      resolve in class Statement

    • traverse

      public void traverse​(ASTVisitor visitor, BlockScope scope)
      Overrides:
      traverse in class ASTNode

    • doesNotCompleteNormally

      public boolean doesNotCompleteNormally()
      Description copied from class: Statement
      Lambda shape analysis: *Assuming* this is reachable, analyze if this completes normally i.e control flow can reach the textually next statement. For blocks, we don't perform intra-reachability analysis. We assume the lambda body is free of intrinsic control flow errors (if such errors exist they will not be flagged by this analysis, but are guaranteed to surface later on.)
      Overrides:
      doesNotCompleteNormally in class Statement
      See Also:
      Block.doesNotCompleteNormally()

    • completesByContinue

      public boolean completesByContinue()
      Description copied from class: Statement
      Lambda shape analysis: *Assuming* this is reachable, analyze if this completes by continuing i.e control flow cannot reach the textually next statement. This is necessitated by the fact that continue claims to not complete normally. So this is necessary to discriminate between do { continue; } while (false); which completes normally and do { throw new Exception(); } while (false); which does not complete normally.
      Overrides:
      completesByContinue in class Statement

    • canCompleteNormally

      public boolean canCompleteNormally()
      Description copied from class: Statement
      Switch Expression analysis: *Assuming* this is reachable, analyze if this completes normally i.e control flow can reach the textually next statement, as per JLS 14 Sec 14.22 For blocks, we don't perform intra-reachability analysis. Note: delinking this from a similar (opposite) Statement.doesNotCompleteNormally() since that was coded for a specific purpose of Lambda Shape Analysis.
      Overrides:
      canCompleteNormally in class Statement

    • continueCompletes

      public boolean continueCompletes()
      Description copied from class: Statement
      The equivalent function of completesByContinue - implements both the rules concerning continue with and without a label.
      Overrides:
      continueCompletes in class Statement