com.github.javaparser.symbolsolver.javaparsermodel.contexts

Class WhileStatementContext

java.lang.Object

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

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 com.github.javaparser.symbolsolver.javaparsermodel.contexts.AbstractJavaParserContext

typeSolver, wrappedNode

Constructor Summary

Constructors

Constructor and Description
WhileStatementContext(WhileStmt wrappedNode, TypeSolver typeSolver)

Method Summary

Modifier and Type	Method and 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 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(WhileStmt wrappedNode,
                             TypeSolver typeSolver)

Method Detail

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>