Class WhileStatementContext

java.lang.Object

com.github.javaparser.symbolsolver.javaparsermodel.contexts.AbstractJavaParserContext<WhileStmt>

com.github.javaparser.symbolsolver.javaparsermodel.contexts.StatementContext<WhileStmt>

com.github.javaparser.symbolsolver.javaparsermodel.contexts.WhileStatementContext

All Implemented Interfaces:

Context

public class WhileStatementContext
extends StatementContext<WhileStmt>

Field Summary

Fields inherited from class AbstractJavaParserContext

typeSolver, wrappedNode

Constructor Summary

Constructors

Constructor	Description
WhileStatementContext(WhileStmt wrappedNode, TypeSolver typeSolver)

Method Summary

Modifier and Type	Method	Description
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
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.

Methods inherited from class StatementContext

solveInBlock, solveInBlockAsValue, solveMethod, solveSymbol, solveSymbolAsValue, solveWithAsValue

Methods inherited from class AbstractJavaParserContext

equals, findExposedPatternInParentContext, findTypeDeclarations, getParent, getScope, getWrappedNode, hashCode, negatedTypePatternExprsExposedFromChildren, solveMethodAsUsage, solveSymbolInParentContext, solveWith, typePatternExprsDiscoveredInPattern, typePatternExprsExposedFromChildren

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface Context

fieldDeclarationInScope, fieldsExposedToChild, localVariableDeclarationInScope, localVariablesExposedToChild, parameterDeclarationInScope, parametersExposedToChild, solveConstructor, solveGenericType, solveGenericTypeInParentContext, solveMethodInParentContext, solveSymbolAsValueInParentContext, solveType, solveType, solveTypeInParentContext, solveTypeInParentContext, typePatternExprInScope

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>