Class DoStatementContext
java.lang.Object
com.github.javaparser.symbolsolver.javaparsermodel.contexts.AbstractJavaParserContext<DoStmt>
com.github.javaparser.symbolsolver.javaparsermodel.contexts.StatementContext<DoStmt>
com.github.javaparser.symbolsolver.javaparsermodel.contexts.DoStatementContext
- 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 rule applies to a statement do S while (e): - A pattern variable is introduced by do S while (e) iff (i) it is introduced by e when false and (ii) S does not contain a reachable break statement for which the do statement is the break target.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, typePatternExprsExposedToChild
-
Constructor Details
-
DoStatementContext
-
-
Method Details
-
getIntroducedTypePatterns
The following rule applies to a statement do S while (e): - A pattern variable is introduced by do S while (e) iff (i) it is introduced by e when false and (ii) S does not contain a reachable break statement for which the do statement is the break target. https://docs.oracle.com/javase/specs/jls/se21/html/jls-6.html#jls-6.3.2.4- Overrides:
getIntroducedTypePatterns
in classStatementContext<DoStmt>
-