jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver.javaparsermodel.contexts/WhileStatementContext

WhileStatementContext

open class WhileStatementContext : StatementContext<WhileStmt> (source)

Constructors

WhileStatementContext

constructor(wrappedNode: WhileStmt, typeSolver: TypeSolver)

Functions

open fun equals(o: Any): Boolean

Public methods

fieldDeclarationInScope

open fun fieldDeclarationInScope(name: String): Optional<ResolvedFieldDeclaration>

fieldsExposedToChild

open fun fieldsExposedToChild(child: Node): List<ResolvedFieldDeclaration>

findExposedPatternInParentContext

open fun findExposedPatternInParentContext(parent: Node, name: String): SymbolReference<out ResolvedValueDeclaration>

getIntroducedTypePatterns

open fun getIntroducedTypePatterns(): List<TypePatternExpr>

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.

abstract fun getParent(): Optional<Context>

fun getParent(): Optional<Context>

abstract fun <N : Node?> getWrappedNode(): N

open fun getWrappedNode(): N

open fun hashCode(): Int

localVariableDeclarationInScope

open fun localVariableDeclarationInScope(name: String): Optional<VariableDeclarator>

localVariablesExposedToChild

open fun localVariablesExposedToChild(child: Node): List<VariableDeclarator>

negatedTypePatternExprsExposedFromChildren

open fun negatedTypePatternExprsExposedFromChildren(): List<TypePatternExpr>

open fun negatedTypePatternExprsExposedFromChildren(): List<TypePatternExpr>

parameterDeclarationInScope

open fun parameterDeclarationInScope(name: String): Optional<Parameter>

parametersExposedToChild

open fun parametersExposedToChild(child: Node): List<Parameter>

solveConstructor

open fun solveConstructor(argumentsTypes: List<ResolvedType>): SymbolReference<ResolvedConstructorDeclaration>

solveGenericType

open fun solveGenericType(name: String): Optional<ResolvedType>

solveGenericTypeInParentContext

open fun solveGenericTypeInParentContext(name: String): Optional<ResolvedType>

open fun solveInBlock(name: String, typeSolver: TypeSolver, stmt: Statement): SymbolReference<out ResolvedValueDeclaration>

solveInBlockAsValue

open fun solveInBlockAsValue(name: String, typeSolver: TypeSolver, stmt: Statement): Optional<Value>

open fun solveMethod(name: String, argumentsTypes: List<ResolvedType>, staticOnly: Boolean, invocationContext: ResolvedReferenceTypeDeclaration): SymbolReference<ResolvedMethodDeclaration>

open fun solveMethod(name: String, argumentsTypes: List<ResolvedType>, staticOnly: Boolean, invocationContext: ResolvedReferenceTypeDeclaration): SymbolReference<ResolvedMethodDeclaration>

solveMethodAsUsage

abstract fun solveMethodAsUsage(name: String, argumentsTypes: List<ResolvedType>, invocationContext: ResolvedReferenceTypeDeclaration): Optional<MethodUsage>

open fun solveMethodAsUsage(name: String, argumentsTypes: List<ResolvedType>, invocationContext: ResolvedReferenceTypeDeclaration): Optional<MethodUsage>

Similar to solveMethod but we return a MethodUsage.

solveMethodInParentContext

open fun solveMethodInParentContext(name: String, argumentsTypes: List<ResolvedType>, staticOnly: Boolean, invocationContext: ResolvedReferenceTypeDeclaration): SymbolReference<ResolvedMethodDeclaration>

open fun solveSymbol(name: String): SymbolReference<out ResolvedValueDeclaration>

open fun solveSymbol(name: String): SymbolReference<out ResolvedValueDeclaration>

solveSymbolAsValue

open fun solveSymbolAsValue(name: String): Optional<Value>

open fun solveSymbolAsValue(name: String): Optional<Value>

solveSymbolAsValueInParentContext

open fun solveSymbolAsValueInParentContext(name: String): Optional<Value>

solveSymbolInParentContext

open fun solveSymbolInParentContext(name: String): SymbolReference<out ResolvedValueDeclaration>

open fun solveSymbolInParentContext(name: String): SymbolReference<out ResolvedValueDeclaration>

open fun solveType(name: String): SymbolReference<ResolvedTypeDeclaration>

solveTypeInParentContext

open fun solveTypeInParentContext(name: String): SymbolReference<ResolvedTypeDeclaration>

open fun solveWith(symbolDeclarator: SymbolDeclarator, name: String): SymbolReference<ResolvedValueDeclaration>

Static methods

typePatternExprInScope

open fun typePatternExprInScope(name: String): Optional<TypePatternExpr>

typePatternExprsDiscoveredInPattern

open fun typePatternExprsDiscoveredInPattern(patternExpr: ComponentPatternExpr): List<TypePatternExpr>

When looking for a variable declaration in a pattern expression, there are 2 cases: 1.

typePatternExprsExposedFromChildren

open fun typePatternExprsExposedFromChildren(): List<TypePatternExpr>

open fun typePatternExprsExposedFromChildren(): List<TypePatternExpr>

typePatternExprsExposedToChild

open fun typePatternExprsExposedToChild(child: Node): List<TypePatternExpr>

The following rules apply to a statement while (e) S: - A pattern variable introduced by e when true is definitely matched at S.