ForStatementContext
Functions
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
open fun findExposedPatternInParentContext(parent: Node, name: String): SymbolReference<out ResolvedValueDeclaration>
Link copied to clipboard
The following rules apply to a basic for statement: - A pattern variable is introduced by a basic for statement iff (i) it is introduced by the condition expression when false and (ii) the contained statement, S, does not contain a reachable break for which the basic for statement is the break target.
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
open fun solveConstructor(argumentsTypes: List<ResolvedType>): SymbolReference<ResolvedConstructorDeclaration>
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
open fun solveInBlock(name: String, typeSolver: TypeSolver, stmt: Statement): SymbolReference<out ResolvedValueDeclaration>
Link copied to clipboard
open fun solveInBlockAsValue(name: String, typeSolver: TypeSolver, stmt: Statement): Optional<Value>
Link copied to clipboard
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>
Link copied to clipboard
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.
Link copied to clipboard
open fun solveMethodInParentContext(name: String, argumentsTypes: List<ResolvedType>, staticOnly: Boolean, invocationContext: ResolvedReferenceTypeDeclaration): SymbolReference<ResolvedMethodDeclaration>
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
open fun solveWith(symbolDeclarator: SymbolDeclarator, name: String): SymbolReference<ResolvedValueDeclaration>
Static methods
Link copied to clipboard
Link copied to clipboard
open fun typePatternExprsDiscoveredInPattern(patternExpr: ComponentPatternExpr): List<TypePatternExpr>
When looking for a variable declaration in a pattern expression, there are 2 cases: 1.
Link copied to clipboard
Link copied to clipboard
The following rules apply to a basic for statement: - A pattern variable introduced by the condition expression when true is definitely matched at both the incrementation part and the contained statement.