A statement implicitly wrapping values to be used in branches of if/switch expressions. For example in:
let rank = switch value {
case 0..<0x80: 1
case 0x80..<0x0800: 2
default: 3
}
the literal expressions 1, 2 and 3 are wrapped in ThenStmt.
Import path
import codeql.swift.elements.stmt.internal.ThenStmtImplDirect supertypes
Indirect supertypes
Inherited predicates
| getAPrimaryQlClass | Gets the name of a primary CodeQL class to which this element belongs. | from ThenStmt |
| getEnclosingCallable | Gets the nearest | from AstNode |
| getEnclosingDecl | Gets the nearest declaration that contains this AST node, if any. | from AstNode |
| getEnclosingFunction | Gets the nearest function definition that contains this AST node, if any. This includes functions, methods, (de)initializers, and accessors, but not closures. | from AstNode |
| getFile | Gets the primary file where this element occurs. | from Locatable |
| getFullyUnresolved | from Element | |
| getImmediateResult | Gets the result of this then statement. | from ThenStmt |
| getLocation | Gets the location associated with this element in the code, if it exists. | from Locatable |
| getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from Element |
| getResolveStep | Gets the most immediate element that should substitute this element in the explicit AST, if any. Classes can override this to indicate this node should be in the “hidden” AST, mostly reserved for conversions and syntactic sugar nodes like parentheses. | from Element |
| getResult | Gets the result of this then statement. | from ThenStmt |
| hasLocation | Holds if | from Locatable |
| isUnknown | Holds if this element is unknown. | from Element |
| resolve | Gets the element that should substitute this element in the explicit AST, applying | from Element |
| toString | Gets the string representation of this element. | from Element |