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

Klasse Block

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.Block
Alle implementierten Schnittstellen:
TypeConstants, TypeIds
public class Block extends Statement

  • Felddetails

    • statements

      public Statement[] statements

    • explicitDeclarations

      public int explicitDeclarations

    • scope

      public BlockScope scope

  • Konstruktordetails

    • Block

      public Block(int explicitDeclarations)

  • Methodendetails

    • analyseCode

      public FlowInfo analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
      Angegeben von:
      analyseCode in Klasse Statement

    • generateCode

      public void generateCode(BlockScope currentScope, CodeStream codeStream)
      Code generation for a block
      Angegeben von:
      generateCode in Klasse Statement

    • isEmptyBlock

      public boolean isEmptyBlock()
      Setzt außer Kraft:
      isEmptyBlock in Klasse Statement

    • printBody

      public StringBuffer printBody(int indent, StringBuffer output)

    • printStatement

      public StringBuffer printStatement(int indent, StringBuffer output)
      Angegeben von:
      printStatement in Klasse Statement

    • resolve

      public void resolve(BlockScope upperScope)
      Angegeben von:
      resolve in Klasse Statement

    • resolveUsing

      public void resolveUsing(BlockScope givenScope)

    • traverse

      public void traverse(ASTVisitor visitor, BlockScope blockScope)
      Setzt außer Kraft:
      traverse in Klasse ASTNode

    • branchChainTo

      public void branchChainTo(BranchLabel label)
      Dispatch the call on its last statement.
      Setzt außer Kraft:
      branchChainTo in Klasse Statement

    • doesNotCompleteNormally

      public boolean doesNotCompleteNormally()
      Beschreibung aus Klasse kopiert: 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.)
      Setzt außer Kraft:
      doesNotCompleteNormally in Klasse Statement
      Siehe auch:

    • completesByContinue

      public boolean completesByContinue()
      Beschreibung aus Klasse kopiert: 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.
      Setzt außer Kraft:
      completesByContinue in Klasse Statement

    • canCompleteNormally

      public boolean canCompleteNormally()
      Beschreibung aus Klasse kopiert: 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.
      Setzt außer Kraft:
      canCompleteNormally in Klasse Statement

    • continueCompletes

      public boolean continueCompletes()
      Beschreibung aus Klasse kopiert: Statement
      The equivalent function of completesByContinue - implements both the rules concerning continue with and without a label.
      Setzt außer Kraft:
      continueCompletes in Klasse Statement