IfStatementContext
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 statement if (e) S: - A pattern variable is introduced by if (e) S iff (i) it is introduced by e when false and (ii) S cannot complete normally.
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
if() {
// Does not match here (doesn't need to, as stuff inside of the if() is likely in context..)
} else if() {
// Matches here
} else {
// Matches here
}
Content copied to clipboard
Link copied to clipboard
Link copied to clipboard
if() {
// Does not match here (doesn't need to, as stuff inside of the if() is likely in context..)
} else {
// Does not match here, as the else block is a field inside of an ifstmt as opposed to child
}
Content copied to clipboard
Link copied to clipboard
if() {
// Does not match here (doesn't need to, as stuff inside of the if() is likely in context..)
} else {
// Does not match here, as the else block is a field inside of an ifstmt as opposed to child
}
Content 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 statement if (e) S: - A pattern variable introduced by e when true is definitely matched at S.