Class Raw::ThenStmt

INTERNAL: Do not use. 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.generated.Raw

getResult	Gets the result of this then statement.
toString

getLocation	Gets the location associated with this element in the code, if it exists.	from Locatable
isUnknown	Holds if this element is unknown.	from Element