com.github.javaparser.symbolsolver.javaparsermodel.contexts

Class DoStatementContext

java.lang.Object

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

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

typeSolver, wrappedNode

Constructor Summary

Constructors

Constructor and Description
DoStatementContext(DoStmt wrappedNode, TypeSolver typeSolver)

Method Summary

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

DoStatementContext

public DoStatementContext(DoStmt wrappedNode,
                          TypeSolver typeSolver)

Method Detail

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>