All Implemented Interfaces:
Context

public class WhileStatementContext extends StatementContext<WhileStmt>
  • Constructor Details

    • WhileStatementContext

      public WhileStatementContext(WhileStmt wrappedNode, TypeSolver typeSolver)
  • Method Details

    • typePatternExprsExposedToChild

      public List<TypePatternExpr> typePatternExprsExposedToChild(Node child)
      The following rules apply to a statement while (e) S: - A pattern variable introduced by e when true is definitely matched at S. https://docs.oracle.com/javase/specs/jls/se22/html/jls-6.html#jls-6.3.2.3
    • getIntroducedTypePatterns

      public List<TypePatternExpr> getIntroducedTypePatterns()
      The following rules apply to a statement while (e) S: - A pattern variable is introduced by while (e) S iff (i) it is introduced by e when false and (ii) S does not contain a reachable break statement for which the while statement is the break target https://docs.oracle.com/javase/specs/jls/se21/html/jls-6.html#jls-6.3.2.3
      Overrides:
      getIntroducedTypePatterns in class StatementContext<WhileStmt>