Class Generated::ThenStmt

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. INTERNAL: Do not reference the Generated::ThenStmt class directly. Use the subclass ThenStmt, where the following predicates are available.

Import path

import codeql.swift.generated.stmt.ThenStmt

Direct supertypes

Indirect supertypes

Known direct subtypes

ThenStmt

Predicates

getAPrimaryQlClass	Gets the name of a primary CodeQL class to which this element belongs.
getImmediateResult	Gets the result of this then statement.
getResult	Gets the result of this then statement.

Inherited predicates

getEnclosingCallable	Gets the nearest `Callable` that contains this AST node, if any. This includes (auto)closures, functions, methods, (de)initializers, and accessors.	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
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
hasLocation	Holds if `getLocation()` exists.	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 `getResolveStep` transitively.	from Element
toString	Gets the string representation of this element.	from Element
toStringImpl	INTERNAL: Do not use.	from Element