WhileStatementContext (com.github.javaparser:javaparser-symbol-solver-core 3.27.1 API)

java.lang.Object
- com.github.javaparser.symbolsolver.javaparsermodel.contexts.AbstractJavaParserContext<N>
- - com.github.javaparser.symbolsolver.javaparsermodel.contexts.StatementContext<com.github.javaparser.ast.stmt.WhileStmt>
  - - com.github.javaparser.symbolsolver.javaparsermodel.contexts.WhileStatementContext

All Implemented Interfaces:: com.github.javaparser.resolution.Context

public class WhileStatementContext
extends StatementContext<com.github.javaparser.ast.stmt.WhileStmt>

Field Summary
- Fields inherited from class com.github.javaparser.symbolsolver.javaparsermodel.contexts.AbstractJavaParserContext
  typeSolver, wrappedNode

Constructor Summary

Constructors
Constructor	Description
`WhileStatementContext(com.github.javaparser.ast.stmt.WhileStmt wrappedNode, com.github.javaparser.resolution.TypeSolver typeSolver)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`List<com.github.javaparser.ast.expr.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
`List<com.github.javaparser.ast.expr.TypePatternExpr>`	`typePatternExprsExposedToChild(com.github.javaparser.ast.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.

Methods inherited from class com.github.javaparser.symbolsolver.javaparsermodel.contexts.StatementContext
solveInBlock, solveInBlockAsValue, solveMethod, solveSymbol, solveSymbolAsValue, solveWithAsValue

Methods inherited from class com.github.javaparser.symbolsolver.javaparsermodel.contexts.AbstractJavaParserContext
equals, findExposedPatternInParentContext, findTypeDeclarations, getParent, getScope, getWrappedNode, hashCode, negatedTypePatternExprsExposedFromChildren, solveMethodAsUsage, solveSymbolInParentContext, solveWith, typePatternExprsDiscoveredInPattern, typePatternExprsExposedFromChildren

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.github.javaparser.resolution.Context
fieldDeclarationInScope, fieldsExposedToChild, localVariableDeclarationInScope, localVariablesExposedToChild, parameterDeclarationInScope, parametersExposedToChild, solveConstructor, solveGenericType, solveGenericTypeInParentContext, solveMethodInParentContext, solveSymbolAsValueInParentContext, solveType, solveType, solveTypeInParentContext, solveTypeInParentContext, typePatternExprInScope

- Constructor Detail
  - WhileStatementContext
```
public WhileStatementContext(com.github.javaparser.ast.stmt.WhileStmt wrappedNode,
                             com.github.javaparser.resolution.TypeSolver typeSolver)
```
- Method Detail
  - typePatternExprsExposedToChild
```
public List<com.github.javaparser.ast.expr.TypePatternExpr> typePatternExprsExposedToChild(com.github.javaparser.ast.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<com.github.javaparser.ast.expr.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<com.github.javaparser.ast.stmt.WhileStmt>