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

public class DoStatementContext
extends StatementContext<DoStmt>

Field Summary

Fields inherited from class AbstractJavaParserContext

typeSolver, wrappedNode

Constructor Summary

Constructors

Constructor	Description
DoStatementContext(DoStmt wrappedNode, TypeSolver typeSolver)

Method Summary

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

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, typePatternExprsExposedToChild

Constructor Details

DoStatementContext

public DoStatementContext(DoStmt wrappedNode,
 TypeSolver typeSolver)

Method Details

getIntroducedTypePatterns

public List<TypePatternExpr> 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 class StatementContext<DoStmt>