ForStatementContext

Constructors

Link copied to clipboard
constructor(wrappedNode: ForStmt, typeSolver: TypeSolver)

Functions

Link copied to clipboard
open fun equals(o: Any): Boolean
Public methods
Link copied to clipboard
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
abstract fun <N : Node?> getWrappedNode(): N
open fun getWrappedNode(): N
Link copied to clipboard
open fun hashCode(): Int
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
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
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Static methods
Link copied to clipboard
Link copied to clipboard
When looking for a variable declaration in a pattern expression, there are 2 cases: 1.
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.