hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Swift: change doc of Immediate property getters

Browse Source
This commit is contained in:
Paolo Tranquilli
2022-10-20 10:39:37 +02:00
parent 6830c2f355
commit 7b181a2de0
114 changed files with 336 additions and 168 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
swift/codegen/templates/ql_class.mustache
View File

@@ -60,7 +60,8 @@ module Generated {
{{#type_is_class}}
/**
* {{>ql_property_doc}} *
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
{{type}} getImmediate{{singular}}({{#is_repeated}}int index{{/is_repeated}}) {
{{^ipa}}

9
swift/ql/lib/codeql/swift/generated/Callable.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the self parameter of this callable, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ParamDecl getImmediateSelfParam() {
result =
@@ -32,7 +33,8 @@ module Generated {
/**
* Gets the `index`th parameter of this callable (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ParamDecl getImmediateParam(int index) {
result =
@@ -59,7 +61,8 @@ module Generated {
/**
* Gets the body of this callable, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
BraceStmt getImmediateBody() {
result =

3
swift/ql/lib/codeql/swift/generated/Locatable.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the location associated with this element in the code, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Location getImmediateLocation() {
result =

3
swift/ql/lib/codeql/swift/generated/Location.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the file of this location.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
File getImmediateFile() {
result =

3
swift/ql/lib/codeql/swift/generated/decl/AbstractStorageDecl.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the `index`th accessor declaration of this abstract storage declaration (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
AccessorDecl getImmediateAccessorDecl(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/decl/Decl.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the module of this declaration.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ModuleDecl getImmediateModule() {
result =

3
swift/ql/lib/codeql/swift/generated/decl/EnumCaseDecl.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the `index`th element of this enum case declaration (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
EnumElementDecl getImmediateElement(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/decl/EnumElementDecl.qll
View File

@@ -18,7 +18,8 @@ module Generated {
/**
* Gets the `index`th parameter of this enum element declaration (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ParamDecl getImmediateParam(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/decl/ExtensionDecl.qll
View File

@@ -13,7 +13,8 @@ module Generated {
/**
* Gets the extended type declaration of this extension declaration.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
NominalTypeDecl getImmediateExtendedTypeDecl() {
result =

3
swift/ql/lib/codeql/swift/generated/decl/GenericContext.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the `index`th generic type parameter of this generic context (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
GenericTypeParamDecl getImmediateGenericTypeParam(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/decl/IfConfigDecl.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the `index`th active element of this if config declaration (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
AstNode getImmediateActiveElement(int index) {
result =

6
swift/ql/lib/codeql/swift/generated/decl/ImportDecl.qll
View File

@@ -14,7 +14,8 @@ module Generated {
/**
* Gets the imported module of this import declaration, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ModuleDecl getImmediateImportedModule() {
result =
@@ -36,7 +37,8 @@ module Generated {
/**
* Gets the `index`th declaration of this import declaration (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ValueDecl getImmediateDeclaration(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/decl/InfixOperatorDecl.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the precedence group of this infix operator declaration, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
PrecedenceGroupDecl getImmediatePrecedenceGroup() {
result =

3
swift/ql/lib/codeql/swift/generated/decl/IterableDeclContext.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the `index`th member of this iterable declaration context (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Decl getImmediateMember(int index) {
result =

6
swift/ql/lib/codeql/swift/generated/decl/ModuleDecl.qll
View File

@@ -18,7 +18,8 @@ module Generated {
/**
* Gets the `index`th imported module of this module declaration (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ModuleDecl getImmediateImportedModule(int index) {
result =
@@ -47,7 +48,8 @@ module Generated {
/**
* Gets the `index`th exported module of this module declaration (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ModuleDecl getImmediateExportedModule(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/decl/NominalTypeDecl.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the type of this nominal type declaration.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateType() {
result =

6
swift/ql/lib/codeql/swift/generated/decl/PatternBindingDecl.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the `index`th init of this pattern binding declaration (0-based), if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateInit(int index) {
result =
@@ -39,7 +40,8 @@ module Generated {
/**
* Gets the `index`th pattern of this pattern binding declaration (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediatePattern(int index) {
result =

6
swift/ql/lib/codeql/swift/generated/decl/SubscriptDecl.qll
View File

@@ -13,7 +13,8 @@ module Generated {
/**
* Gets the `index`th parameter of this subscript declaration (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ParamDecl getImmediateParam(int index) {
result =
@@ -40,7 +41,8 @@ module Generated {
/**
* Gets the element type of this subscript declaration.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateElementType() {
result =

3
swift/ql/lib/codeql/swift/generated/decl/TopLevelCodeDecl.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the body of this top level code declaration.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
BraceStmt getImmediateBody() {
result =

3
swift/ql/lib/codeql/swift/generated/decl/TypeDecl.qll
View File

@@ -14,7 +14,8 @@ module Generated {
/**
* Gets the `index`th base type of this type declaration (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateBaseType(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/decl/ValueDecl.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the interface type of this value declaration.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateInterfaceType() {
result =

12
swift/ql/lib/codeql/swift/generated/decl/VarDecl.qll
View File

@@ -16,7 +16,8 @@ module Generated {
/**
* Gets the type of this var declaration.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateType() {
result = Synth::convertTypeFromRaw(Synth::convertVarDeclToRaw(this).(Raw::VarDecl).getType())
@@ -30,7 +31,8 @@ module Generated {
/**
* Gets the attached property wrapper type of this var declaration, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateAttachedPropertyWrapperType() {
result =
@@ -54,7 +56,8 @@ module Generated {
/**
* Gets the parent pattern of this var declaration, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediateParentPattern() {
result =
@@ -76,7 +79,8 @@ module Generated {
/**
* Gets the parent initializer of this var declaration, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateParentInitializer() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/AnyTryExpr.qll
View File

@@ -8,7 +8,8 @@ module Generated {
/**
* Gets the sub expression of this any try expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

6
swift/ql/lib/codeql/swift/generated/expr/ApplyExpr.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the function being applied.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateFunction() {
result =
@@ -24,7 +25,8 @@ module Generated {
/**
* Gets the `index`th argument passed to the applied function (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Argument getImmediateArgument(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/expr/Argument.qll
View File

@@ -16,7 +16,8 @@ module Generated {
/**
* Gets the expression of this argument.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateExpr() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/ArrayExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the `index`th element of this array expression (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateElement(int index) {
result =

6
swift/ql/lib/codeql/swift/generated/expr/AssignExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the dest of this assign expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateDest() {
result =
@@ -25,7 +26,8 @@ module Generated {
/**
* Gets the source of this assign expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSource() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/BindOptionalExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the sub expression of this bind optional expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

6
swift/ql/lib/codeql/swift/generated/expr/CaptureListExpr.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the `index`th binding declaration of this capture list expression (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
PatternBindingDecl getImmediateBindingDecl(int index) {
result =
@@ -41,7 +42,8 @@ module Generated {
/**
* Gets the closure body of this capture list expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ClosureExpr getImmediateClosureBody() {
result =

6
swift/ql/lib/codeql/swift/generated/expr/DeclRefExpr.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the declaration of this declaration ref expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Decl getImmediateDecl() {
result =
@@ -27,7 +28,8 @@ module Generated {
/**
* Gets the `index`th replacement type of this declaration ref expression (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateReplacementType(int index) {
result =

6
swift/ql/lib/codeql/swift/generated/expr/DefaultArgumentExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the parameter declaration of this default argument expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ParamDecl getImmediateParamDecl() {
result =
@@ -36,7 +37,8 @@ module Generated {
/**
* Gets the caller side default of this default argument expression, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateCallerSideDefault() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/DictionaryExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the `index`th element of this dictionary expression (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateElement(int index) {
result =

6
swift/ql/lib/codeql/swift/generated/expr/DotSyntaxBaseIgnoredExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the qualifier of this dot syntax base ignored expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateQualifier() {
result =
@@ -27,7 +28,8 @@ module Generated {
/**
* Gets the sub expression of this dot syntax base ignored expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/DynamicTypeExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the base of this dynamic type expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateBase() {
result =

6
swift/ql/lib/codeql/swift/generated/expr/EnumIsCaseExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the sub expression of this enum is case expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =
@@ -28,7 +29,8 @@ module Generated {
/**
* Gets the element of this enum is case expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
EnumElementDecl getImmediateElement() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/ExplicitCastExpr.qll
View File

@@ -8,7 +8,8 @@ module Generated {
/**
* Gets the sub expression of this explicit cast expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/Expr.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the type of this expression, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateType() {
result = Synth::convertTypeFromRaw(Synth::convertExprToRaw(this).(Raw::Expr).getType())

3
swift/ql/lib/codeql/swift/generated/expr/ForceValueExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the sub expression of this force value expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/IdentityExpr.qll
View File

@@ -8,7 +8,8 @@ module Generated {
/**
* Gets the sub expression of this identity expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

9
swift/ql/lib/codeql/swift/generated/expr/IfExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the condition of this if expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateCondition() {
result =
@@ -25,7 +26,8 @@ module Generated {
/**
* Gets the then expression of this if expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateThenExpr() {
result =
@@ -40,7 +42,8 @@ module Generated {
/**
* Gets the else expression of this if expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateElseExpr() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/ImplicitConversionExpr.qll
View File

@@ -8,7 +8,8 @@ module Generated {
/**
* Gets the sub expression of this implicit conversion expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/InOutExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the sub expression of this in out expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

12
swift/ql/lib/codeql/swift/generated/expr/InterpolatedStringLiteralExpr.qll
View File

@@ -13,7 +13,8 @@ module Generated {
/**
* Gets the interpolation expression of this interpolated string literal expression, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
OpaqueValueExpr getImmediateInterpolationExpr() {
result =
@@ -37,7 +38,8 @@ module Generated {
/**
* Gets the interpolation count expression of this interpolated string literal expression, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateInterpolationCountExpr() {
result =
@@ -61,7 +63,8 @@ module Generated {
/**
* Gets the literal capacity expression of this interpolated string literal expression, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateLiteralCapacityExpr() {
result =
@@ -83,7 +86,8 @@ module Generated {
/**
* Gets the appending expression of this interpolated string literal expression, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
TapExpr getImmediateAppendingExpr() {
result =

6
swift/ql/lib/codeql/swift/generated/expr/KeyPathApplicationExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the base of this key path application expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateBase() {
result =
@@ -27,7 +28,8 @@ module Generated {
/**
* Gets the key path of this key path application expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateKeyPath() {
result =

6
swift/ql/lib/codeql/swift/generated/expr/KeyPathExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the root of this key path expression, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
TypeRepr getImmediateRoot() {
result =
@@ -33,7 +34,8 @@ module Generated {
/**
* Gets the parsed path of this key path expression, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateParsedPath() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/LazyInitializerExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the sub expression of this lazy initializer expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

6
swift/ql/lib/codeql/swift/generated/expr/LookupExpr.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the base of this lookup expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateBase() {
result =
@@ -24,7 +25,8 @@ module Generated {
/**
* Gets the member of this lookup expression, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Decl getImmediateMember() {
result =

9
swift/ql/lib/codeql/swift/generated/expr/MakeTemporarilyEscapableExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the escaping closure of this make temporarily escapable expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
OpaqueValueExpr getImmediateEscapingClosure() {
result =
@@ -28,7 +29,8 @@ module Generated {
/**
* Gets the nonescaping closure of this make temporarily escapable expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateNonescapingClosure() {
result =
@@ -45,7 +47,8 @@ module Generated {
/**
* Gets the sub expression of this make temporarily escapable expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

6
swift/ql/lib/codeql/swift/generated/expr/ObjCSelectorExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the sub expression of this obj c selector expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =
@@ -28,7 +29,8 @@ module Generated {
/**
* Gets the method of this obj c selector expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
AbstractFunctionDecl getImmediateMethod() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/OneWayExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the sub expression of this one way expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

9
swift/ql/lib/codeql/swift/generated/expr/OpenExistentialExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the sub expression of this open existential expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =
@@ -28,7 +29,8 @@ module Generated {
/**
* Gets the existential of this open existential expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateExistential() {
result =
@@ -45,7 +47,8 @@ module Generated {
/**
* Gets the opaque expression of this open existential expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
OpaqueValueExpr getImmediateOpaqueExpr() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/OptionalEvaluationExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the sub expression of this optional evaluation expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/OtherConstructorDeclRefExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the constructor declaration of this other constructor declaration ref expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ConstructorDecl getImmediateConstructorDecl() {
result =

6
swift/ql/lib/codeql/swift/generated/expr/RebindSelfInConstructorExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the sub expression of this rebind self in constructor expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =
@@ -28,7 +29,8 @@ module Generated {
/**
* Gets the self of this rebind self in constructor expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
VarDecl getImmediateSelf() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/SelfApplyExpr.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the base of this self apply expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateBase() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/SequenceExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the `index`th element of this sequence expression (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateElement(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/expr/SubscriptExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the `index`th argument of this subscript expression (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Argument getImmediateArgument(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/expr/SuperRefExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the self of this super ref expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
VarDecl getImmediateSelf() {
result =

9
swift/ql/lib/codeql/swift/generated/expr/TapExpr.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the sub expression of this tap expression, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =
@@ -32,7 +33,8 @@ module Generated {
/**
* Gets the body of this tap expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
BraceStmt getImmediateBody() {
result =
@@ -47,7 +49,8 @@ module Generated {
/**
* Gets the var of this tap expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
VarDecl getImmediateVar() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/TupleElementExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the sub expression of this tuple element expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/TupleExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the `index`th element of this tuple expression (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateElement(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/expr/TypeExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the type representation of this type expression, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
TypeRepr getImmediateTypeRepr() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/UnresolvedDotExpr.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the base of this unresolved dot expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateBase() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/UnresolvedPatternExpr.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the sub pattern of this unresolved pattern expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediateSubPattern() {
result =

3
swift/ql/lib/codeql/swift/generated/expr/VarargExpansionExpr.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the sub expression of this vararg expansion expression.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

3
swift/ql/lib/codeql/swift/generated/pattern/BindingPattern.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the sub pattern of this binding pattern.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediateSubPattern() {
result =

6
swift/ql/lib/codeql/swift/generated/pattern/EnumElementPattern.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the element of this enum element pattern.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
EnumElementDecl getImmediateElement() {
result =
@@ -28,7 +29,8 @@ module Generated {
/**
* Gets the sub pattern of this enum element pattern, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediateSubPattern() {
result =

3
swift/ql/lib/codeql/swift/generated/pattern/ExprPattern.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the sub expression of this expression pattern.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

6
swift/ql/lib/codeql/swift/generated/pattern/IsPattern.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the cast type representation of this is pattern, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
TypeRepr getImmediateCastTypeRepr() {
result =
@@ -33,7 +34,8 @@ module Generated {
/**
* Gets the sub pattern of this is pattern, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediateSubPattern() {
result =

3
swift/ql/lib/codeql/swift/generated/pattern/OptionalSomePattern.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the sub pattern of this optional some pattern.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediateSubPattern() {
result =

3
swift/ql/lib/codeql/swift/generated/pattern/ParenPattern.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the sub pattern of this paren pattern.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediateSubPattern() {
result =

3
swift/ql/lib/codeql/swift/generated/pattern/TuplePattern.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the `index`th element of this tuple pattern (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediateElement(int index) {
result =

6
swift/ql/lib/codeql/swift/generated/pattern/TypedPattern.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the sub pattern of this typed pattern.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediateSubPattern() {
result =
@@ -28,7 +29,8 @@ module Generated {
/**
* Gets the type representation of this typed pattern, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
TypeRepr getImmediateTypeRepr() {
result =

3
swift/ql/lib/codeql/swift/generated/stmt/BraceStmt.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the `index`th element of this brace statement (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
AstNode getImmediateElement(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/stmt/BreakStmt.qll
View File

@@ -22,7 +22,8 @@ module Generated {
/**
* Gets the target of this break statement, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Stmt getImmediateTarget() {
result =

6
swift/ql/lib/codeql/swift/generated/stmt/CaseLabelItem.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the pattern of this case label item.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediatePattern() {
result =
@@ -29,7 +30,8 @@ module Generated {
/**
* Gets the guard of this case label item, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateGuard() {
result =

9
swift/ql/lib/codeql/swift/generated/stmt/CaseStmt.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the body of this case statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Stmt getImmediateBody() {
result =
@@ -27,7 +28,8 @@ module Generated {
/**
* Gets the `index`th label of this case statement (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
CaseLabelItem getImmediateLabel(int index) {
result =
@@ -54,7 +56,8 @@ module Generated {
/**
* Gets the `index`th variable of this case statement (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
VarDecl getImmediateVariable(int index) {
result =

9
swift/ql/lib/codeql/swift/generated/stmt/ConditionElement.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the boolean of this condition element, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateBoolean() {
result =
@@ -34,7 +35,8 @@ module Generated {
/**
* Gets the pattern of this condition element, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediatePattern() {
result =
@@ -56,7 +58,8 @@ module Generated {
/**
* Gets the initializer of this condition element, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateInitializer() {
result =

3
swift/ql/lib/codeql/swift/generated/stmt/ContinueStmt.qll
View File

@@ -22,7 +22,8 @@ module Generated {
/**
* Gets the target of this continue statement, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Stmt getImmediateTarget() {
result =

3
swift/ql/lib/codeql/swift/generated/stmt/DeferStmt.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the body of this defer statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
BraceStmt getImmediateBody() {
result =

6
swift/ql/lib/codeql/swift/generated/stmt/DoCatchStmt.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the body of this do catch statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Stmt getImmediateBody() {
result =
@@ -27,7 +28,8 @@ module Generated {
/**
* Gets the `index`th catch of this do catch statement (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
CaseStmt getImmediateCatch(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/stmt/DoStmt.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the body of this do statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
BraceStmt getImmediateBody() {
result =

6
swift/ql/lib/codeql/swift/generated/stmt/FallthroughStmt.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the fallthrough source of this fallthrough statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
CaseStmt getImmediateFallthroughSource() {
result =
@@ -28,7 +29,8 @@ module Generated {
/**
* Gets the fallthrough dest of this fallthrough statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
CaseStmt getImmediateFallthroughDest() {
result =

12
swift/ql/lib/codeql/swift/generated/stmt/ForEachStmt.qll
View File

@@ -13,7 +13,8 @@ module Generated {
/**
* Gets the pattern of this for each statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Pattern getImmediatePattern() {
result =
@@ -30,7 +31,8 @@ module Generated {
/**
* Gets the sequence of this for each statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSequence() {
result =
@@ -47,7 +49,8 @@ module Generated {
/**
* Gets the where of this for each statement, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateWhere() {
result =
@@ -67,7 +70,8 @@ module Generated {
/**
* Gets the body of this for each statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
BraceStmt getImmediateBody() {
result =

3
swift/ql/lib/codeql/swift/generated/stmt/GuardStmt.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the body of this guard statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
BraceStmt getImmediateBody() {
result =

6
swift/ql/lib/codeql/swift/generated/stmt/IfStmt.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the then of this if statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Stmt getImmediateThen() {
result = Synth::convertStmtFromRaw(Synth::convertIfStmtToRaw(this).(Raw::IfStmt).getThen())
@@ -25,7 +26,8 @@ module Generated {
/**
* Gets the else of this if statement, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Stmt getImmediateElse() {
result = Synth::convertStmtFromRaw(Synth::convertIfStmtToRaw(this).(Raw::IfStmt).getElse())

3
swift/ql/lib/codeql/swift/generated/stmt/LabeledConditionalStmt.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the condition of this labeled conditional statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
StmtCondition getImmediateCondition() {
result =

6
swift/ql/lib/codeql/swift/generated/stmt/RepeatWhileStmt.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the condition of this repeat while statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateCondition() {
result =
@@ -29,7 +30,8 @@ module Generated {
/**
* Gets the body of this repeat while statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Stmt getImmediateBody() {
result =

3
swift/ql/lib/codeql/swift/generated/stmt/ReturnStmt.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the result of this return statement, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateResult() {
result =

3
swift/ql/lib/codeql/swift/generated/stmt/StmtCondition.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the `index`th element of this statement condition (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ConditionElement getImmediateElement(int index) {
result =

6
swift/ql/lib/codeql/swift/generated/stmt/SwitchStmt.qll
View File

@@ -12,7 +12,8 @@ module Generated {
/**
* Gets the expression of this switch statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateExpr() {
result =
@@ -27,7 +28,8 @@ module Generated {
/**
* Gets the `index`th case of this switch statement (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
CaseStmt getImmediateCase(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/stmt/ThrowStmt.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the sub expression of this throw statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateSubExpr() {
result =

3
swift/ql/lib/codeql/swift/generated/stmt/WhileStmt.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the body of this while statement.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Stmt getImmediateBody() {
result =

3
swift/ql/lib/codeql/swift/generated/stmt/YieldStmt.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the `index`th result of this yield statement (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Expr getImmediateResult(int index) {
result =

6
swift/ql/lib/codeql/swift/generated/type/AnyFunctionType.qll
View File

@@ -8,7 +8,8 @@ module Generated {
/**
* Gets the result of this any function type.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateResult() {
result =
@@ -25,7 +26,8 @@ module Generated {
/**
* Gets the `index`th parameter type of this any function type (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateParamType(int index) {
result =

6
swift/ql/lib/codeql/swift/generated/type/AnyGenericType.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the parent of this any generic type, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateParent() {
result =
@@ -31,7 +32,8 @@ module Generated {
/**
* Gets the declaration of this any generic type.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Decl getImmediateDeclaration() {
result =

9
swift/ql/lib/codeql/swift/generated/type/ArchetypeType.qll
View File

@@ -10,7 +10,8 @@ module Generated {
/**
* Gets the interface type of this archetype type.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateInterfaceType() {
result =
@@ -27,7 +28,8 @@ module Generated {
/**
* Gets the superclass of this archetype type, if it exists.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateSuperclass() {
result =
@@ -49,7 +51,8 @@ module Generated {
/**
* Gets the `index`th protocol of this archetype type (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
ProtocolDecl getImmediateProtocol(int index) {
result =

3
swift/ql/lib/codeql/swift/generated/type/BoundGenericType.qll
View File

@@ -9,7 +9,8 @@ module Generated {
/**
* Gets the `index`th argument type of this bound generic type (0-based).
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateArgType(int index) {
result =

6
swift/ql/lib/codeql/swift/generated/type/DependentMemberType.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the basetype of this dependent member type.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateBaseType() {
result =
@@ -28,7 +29,8 @@ module Generated {
/**
* Gets the associated type declaration of this dependent member type.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
AssociatedTypeDecl getImmediateAssociatedTypeDecl() {
result =

6
swift/ql/lib/codeql/swift/generated/type/DictionaryType.qll
View File

@@ -11,7 +11,8 @@ module Generated {
/**
* Gets the key type of this dictionary type.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateKeyType() {
result =
@@ -28,7 +29,8 @@ module Generated {
/**
* Gets the value type of this dictionary type.
*
* This includes nodes from the "hidden" AST.
* This includes nodes from the "hidden" AST. It can be overridden in subclasses to change the
* behaviour of both the `Immediate` and non-`Immediate` versions.
*/
Type getImmediateValueType() {
result =

Some files were not shown because too many files have changed in this diff Show More