Class SwitchStatement

All Implemented Interfaces:
TypeConstants, TypeIds
Direct Known Subclasses:
SwitchExpression

public class SwitchStatement extends Expression
  • Field Details

  • Constructor Details

    • SwitchStatement

      public SwitchStatement()
  • Method Details

    • getFallThroughState

      protected int getFallThroughState(Statement stmt, BlockScope blockScope)
    • completeNormallyCheck

      protected void completeNormallyCheck(BlockScope blockScope)
    • needToCheckFlowInAbsenceOfDefaultBranch

      protected boolean needToCheckFlowInAbsenceOfDefaultBranch()
    • analyseCode

      public FlowInfo analyseCode(BlockScope currentScope, FlowContext flowContext, FlowInfo flowInfo)
      Overrides:
      analyseCode in class Expression
    • generateCodeForStringSwitch

      public void generateCodeForStringSwitch(BlockScope currentScope, CodeStream codeStream)
      Switch on String code generation This assumes that hashCode() specification for java.lang.String is API and is stable.
      Parameters:
      currentScope - org.aspectj.org.eclipse.jdt.internal.compiler.lookup.BlockScope
      codeStream - org.aspectj.org.eclipse.jdt.internal.compiler.codegen.CodeStream
      See Also:
      "http://download.oracle.com/javase/6/docs/api/java/lang/String.html"
    • generateCode

      public void generateCode(BlockScope currentScope, CodeStream codeStream)
      Switch code generation
      Overrides:
      generateCode in class Expression
      Parameters:
      currentScope - org.aspectj.org.eclipse.jdt.internal.compiler.lookup.BlockScope
      codeStream - org.aspectj.org.eclipse.jdt.internal.compiler.codegen.CodeStream
    • statementGenerateCode

      protected void statementGenerateCode(BlockScope currentScope, CodeStream codeStream, Statement statement)
    • generateCode

      public void generateCode(BlockScope currentScope, CodeStream codeStream, boolean valueRequired)
      Description copied from class: Expression
      Every expression is responsible for generating its implicit conversion when necessary.
      Overrides:
      generateCode in class Expression
      Parameters:
      currentScope - org.aspectj.org.eclipse.jdt.internal.compiler.lookup.BlockScope
      codeStream - org.aspectj.org.eclipse.jdt.internal.compiler.codegen.CodeStream
      valueRequired - boolean
    • printStatement

      public StringBuffer printStatement(int indent, StringBuffer output)
      Overrides:
      printStatement in class Expression
    • addSecretTryResultVariable

      protected void addSecretTryResultVariable()
    • resolve

      public void resolve(BlockScope upperScope)
      Overrides:
      resolve in class Expression
    • isEnhanced

      public boolean isEnhanced()
    • reportMissingEnumConstantCase

      protected void reportMissingEnumConstantCase(BlockScope upperScope, FieldBinding enumConstant)
    • ignoreMissingDefaultCase

      protected boolean ignoreMissingDefaultCase(CompilerOptions compilerOptions, boolean isEnumSwitch)
    • isTrulyExpression

      public boolean isTrulyExpression()
      Overrides:
      isTrulyExpression in class Expression
    • traverse

      public void traverse(ASTVisitor visitor, BlockScope blockScope)
      Description copied from class: Expression
      Traverse an expression in the context of a blockScope
      Overrides:
      traverse in class Expression
    • branchChainTo

      public void branchChainTo(BranchLabel label)
      Dispatch the call on its last statement.
      Overrides:
      branchChainTo in class Statement
    • 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
    • printExpression

      public StringBuffer printExpression(int indent, StringBuffer output)
      Specified by:
      printExpression in class Expression