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
-
Field Summary
Fields inherited from class com.github.javaparser.symbolsolver.javaparsermodel.contexts.AbstractJavaParserContext
typeSolver, wrappedNode
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionThe 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.3The 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 Details
-
WhileStatementContext
-
-
Method Details
-
typePatternExprsExposedToChild
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
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 classStatementContext<WhileStmt>
-