DoStatementContext
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 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.
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