зеркало из https://github.com/github/codeql.git
Swift: add more doc strings to generated things
This commit is contained in:
Родитель
c6bc1a3f3a
Коммит
10afa4381a
|
@ -1,4 +1,11 @@
|
|||
// generated by {{generator}}
|
||||
/**
|
||||
* This module provides the generated definition of `{{name}}`.
|
||||
{{#ql_internal}}
|
||||
* INTERNAL: Do not use.
|
||||
{{/ql_internal}}
|
||||
*/
|
||||
|
||||
private import {{import_prefix}}.Synth
|
||||
private import {{import_prefix}}.Raw
|
||||
{{#imports}}
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by {{generator}}
|
||||
/**
|
||||
* This module exports all modules providing `Element` subclasses.
|
||||
*/
|
||||
|
||||
{{#imports}}
|
||||
import {{.}}
|
||||
{{/imports}}
|
||||
|
|
|
@ -1,4 +1,7 @@
|
|||
// generated by {{generator}}
|
||||
/**
|
||||
* This module provides the generated parent/child relationship.
|
||||
*/
|
||||
|
||||
{{#imports}}
|
||||
import {{.}}
|
||||
|
|
|
@ -1,4 +1,10 @@
|
|||
// generated by {{generator}}, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `{{name}}`.
|
||||
{{#ql_internal}}
|
||||
* INTERNAL: Do not use.
|
||||
{{/ql_internal}}
|
||||
*/
|
||||
private import {{base_import}}
|
||||
{{#has_synth_accessors}}
|
||||
private import {{import_prefix}}.Raw
|
||||
|
|
|
@ -1,4 +1,9 @@
|
|||
// generated by {{generator}}, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `{{cls.name}}` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
private import {{import_prefix}}.Raw
|
||||
{{#cls}}
|
||||
{{#is_db}}
|
||||
|
@ -7,6 +12,10 @@ private import {{import_prefix}}.PureSynthConstructors
|
|||
{{/has_subtracted_synth_types}}
|
||||
{{/is_db}}
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `{{name}}` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate construct{{name}}({{#params}}{{^first}}, {{/first}}{{type}} {{param}}{{/params}}) {
|
||||
{{#is_db}}
|
||||
{{#subtracted_synth_types}}{{^first}} and {{/first}}not construct{{name}}(id){{/subtracted_synth_types}}
|
||||
|
|
Разница между файлами не показана из-за своего большого размера
Загрузить разницу
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py
|
||||
/**
|
||||
* This module exports all modules providing `Element` subclasses.
|
||||
*/
|
||||
|
||||
import codeql.swift.elements.AstNode
|
||||
import codeql.swift.elements.AvailabilityInfo
|
||||
import codeql.swift.elements.AvailabilitySpec
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `AvailabilityInfo` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `AvailabilityInfo` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructAvailabilityInfo(Raw::AvailabilityInfo id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `AvailabilitySpec`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.AvailabilitySpec
|
||||
|
||||
class AvailabilitySpec extends Generated::AvailabilitySpec { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `Comment` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `Comment` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructComment(Raw::Comment id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `DbFile`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.DbFile
|
||||
|
||||
class DbFile extends Generated::DbFile { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `DbFile` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `DbFile` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructDbFile(Raw::DbFile id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `DbLocation`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.DbLocation
|
||||
|
||||
class DbLocation extends Generated::DbLocation { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `DbLocation` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `DbLocation` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructDbLocation(Raw::DbLocation id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `Diagnostics` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `Diagnostics` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructDiagnostics(Raw::Diagnostics id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `ErrorElement`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.ErrorElement
|
||||
|
||||
class ErrorElement extends Generated::ErrorElement { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `KeyPathComponent` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `KeyPathComponent` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructKeyPathComponent(Raw::KeyPathComponent id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `OtherAvailabilitySpec` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `OtherAvailabilitySpec` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructOtherAvailabilitySpec(Raw::OtherAvailabilitySpec id) { any() }
|
||||
|
|
|
@ -1,6 +1,16 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `PlatformVersionAvailabilitySpec` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `PlatformVersionAvailabilitySpec` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructPlatformVersionAvailabilitySpec(Raw::PlatformVersionAvailabilitySpec id) {
|
||||
any()
|
||||
}
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `UnspecifiedElement` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `UnspecifiedElement` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructUnspecifiedElement(Raw::UnspecifiedElement id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `AbstractStorageDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.AbstractStorageDecl
|
||||
|
||||
class AbstractStorageDecl extends Generated::AbstractStorageDecl { }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `AbstractTypeParamDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.AbstractTypeParamDecl
|
||||
|
||||
class AbstractTypeParamDecl extends Generated::AbstractTypeParamDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `Accessor` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `Accessor` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructAccessor(Raw::Accessor id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `AccessorOrNamedFunction`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.AccessorOrNamedFunction
|
||||
|
||||
class AccessorOrNamedFunction extends Generated::AccessorOrNamedFunction { }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `AssociatedTypeDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.AssociatedTypeDecl
|
||||
|
||||
class AssociatedTypeDecl extends Generated::AssociatedTypeDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `AssociatedTypeDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `AssociatedTypeDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructAssociatedTypeDecl(Raw::AssociatedTypeDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `CapturedDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `CapturedDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructCapturedDecl(Raw::CapturedDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `ClassDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.ClassDecl
|
||||
|
||||
class ClassDecl extends Generated::ClassDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `ClassDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `ClassDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructClassDecl(Raw::ClassDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `ConcreteVarDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.ConcreteVarDecl
|
||||
|
||||
class ConcreteVarDecl extends Generated::ConcreteVarDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `ConcreteVarDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `ConcreteVarDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructConcreteVarDecl(Raw::ConcreteVarDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `Deinitializer` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `Deinitializer` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructDeinitializer(Raw::Deinitializer id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `EnumCaseDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `EnumCaseDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructEnumCaseDecl(Raw::EnumCaseDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `EnumDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `EnumDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructEnumDecl(Raw::EnumDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `EnumElementDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `EnumElementDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructEnumElementDecl(Raw::EnumElementDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `ExtensionDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `ExtensionDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructExtensionDecl(Raw::ExtensionDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `GenericContext`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.GenericContext
|
||||
|
||||
class GenericContext extends Generated::GenericContext { }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `GenericTypeDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.GenericTypeDecl
|
||||
|
||||
class GenericTypeDecl extends Generated::GenericTypeDecl { }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `GenericTypeParamDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.GenericTypeParamDecl
|
||||
|
||||
class GenericTypeParamDecl extends Generated::GenericTypeParamDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `GenericTypeParamDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `GenericTypeParamDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructGenericTypeParamDecl(Raw::GenericTypeParamDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `IfConfigDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `IfConfigDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructIfConfigDecl(Raw::IfConfigDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `ImportDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `ImportDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructImportDecl(Raw::ImportDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `InfixOperatorDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.InfixOperatorDecl
|
||||
|
||||
class InfixOperatorDecl extends Generated::InfixOperatorDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `InfixOperatorDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `InfixOperatorDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructInfixOperatorDecl(Raw::InfixOperatorDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `Initializer` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `Initializer` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructInitializer(Raw::Initializer id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `MissingMemberDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `MissingMemberDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructMissingMemberDecl(Raw::MissingMemberDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `ModuleDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.ModuleDecl
|
||||
|
||||
class ModuleDecl extends Generated::ModuleDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `ModuleDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `ModuleDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructModuleDecl(Raw::ModuleDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `NamedFunction`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.NamedFunction
|
||||
|
||||
class NamedFunction extends Generated::NamedFunction { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `NamedFunction` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `NamedFunction` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructNamedFunction(Raw::NamedFunction id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `OpaqueTypeDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.OpaqueTypeDecl
|
||||
|
||||
class OpaqueTypeDecl extends Generated::OpaqueTypeDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `OpaqueTypeDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `OpaqueTypeDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructOpaqueTypeDecl(Raw::OpaqueTypeDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `ParamDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `ParamDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructParamDecl(Raw::ParamDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `PatternBindingDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `PatternBindingDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructPatternBindingDecl(Raw::PatternBindingDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `PostfixOperatorDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.PostfixOperatorDecl
|
||||
|
||||
class PostfixOperatorDecl extends Generated::PostfixOperatorDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `PostfixOperatorDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `PostfixOperatorDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructPostfixOperatorDecl(Raw::PostfixOperatorDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `PoundDiagnosticDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `PoundDiagnosticDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructPoundDiagnosticDecl(Raw::PoundDiagnosticDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `PrecedenceGroupDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `PrecedenceGroupDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructPrecedenceGroupDecl(Raw::PrecedenceGroupDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `PrefixOperatorDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.PrefixOperatorDecl
|
||||
|
||||
class PrefixOperatorDecl extends Generated::PrefixOperatorDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `PrefixOperatorDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `PrefixOperatorDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructPrefixOperatorDecl(Raw::PrefixOperatorDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `ProtocolDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.ProtocolDecl
|
||||
|
||||
class ProtocolDecl extends Generated::ProtocolDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `ProtocolDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `ProtocolDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructProtocolDecl(Raw::ProtocolDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `StructDecl`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.decl.StructDecl
|
||||
|
||||
class StructDecl extends Generated::StructDecl { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `StructDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `StructDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructStructDecl(Raw::StructDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `SubscriptDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `SubscriptDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructSubscriptDecl(Raw::SubscriptDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `TopLevelCodeDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `TopLevelCodeDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructTopLevelCodeDecl(Raw::TopLevelCodeDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `TypeAliasDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `TypeAliasDecl` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructTypeAliasDecl(Raw::TypeAliasDecl id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `AbiSafeConversionExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.AbiSafeConversionExpr
|
||||
|
||||
class AbiSafeConversionExpr extends Generated::AbiSafeConversionExpr { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `AbiSafeConversionExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `AbiSafeConversionExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructAbiSafeConversionExpr(Raw::AbiSafeConversionExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `AnyHashableErasureExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.AnyHashableErasureExpr
|
||||
|
||||
class AnyHashableErasureExpr extends Generated::AnyHashableErasureExpr { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `AnyHashableErasureExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `AnyHashableErasureExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructAnyHashableErasureExpr(Raw::AnyHashableErasureExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `AnyTryExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.AnyTryExpr
|
||||
|
||||
class AnyTryExpr extends Generated::AnyTryExpr { }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `AppliedPropertyWrapperExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.AppliedPropertyWrapperExpr
|
||||
|
||||
class AppliedPropertyWrapperExpr extends Generated::AppliedPropertyWrapperExpr { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `AppliedPropertyWrapperExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `AppliedPropertyWrapperExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructAppliedPropertyWrapperExpr(Raw::AppliedPropertyWrapperExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `ArchetypeToSuperExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.ArchetypeToSuperExpr
|
||||
|
||||
class ArchetypeToSuperExpr extends Generated::ArchetypeToSuperExpr { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `ArchetypeToSuperExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `ArchetypeToSuperExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructArchetypeToSuperExpr(Raw::ArchetypeToSuperExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `ArrayExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `ArrayExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructArrayExpr(Raw::ArrayExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `ArrayToPointerExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.ArrayToPointerExpr
|
||||
|
||||
class ArrayToPointerExpr extends Generated::ArrayToPointerExpr { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `ArrayToPointerExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `ArrayToPointerExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructArrayToPointerExpr(Raw::ArrayToPointerExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `AssignExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `AssignExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructAssignExpr(Raw::AssignExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `AutoClosureExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `AutoClosureExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructAutoClosureExpr(Raw::AutoClosureExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `AwaitExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `AwaitExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructAwaitExpr(Raw::AwaitExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `BinaryExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `BinaryExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructBinaryExpr(Raw::BinaryExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `BindOptionalExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `BindOptionalExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructBindOptionalExpr(Raw::BindOptionalExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `BooleanLiteralExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `BooleanLiteralExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructBooleanLiteralExpr(Raw::BooleanLiteralExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `BridgeFromObjCExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.BridgeFromObjCExpr
|
||||
|
||||
class BridgeFromObjCExpr extends Generated::BridgeFromObjCExpr { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `BridgeFromObjCExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `BridgeFromObjCExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructBridgeFromObjCExpr(Raw::BridgeFromObjCExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `BridgeToObjCExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.BridgeToObjCExpr
|
||||
|
||||
class BridgeToObjCExpr extends Generated::BridgeToObjCExpr { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `BridgeToObjCExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `BridgeToObjCExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructBridgeToObjCExpr(Raw::BridgeToObjCExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `BuiltinLiteralExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.BuiltinLiteralExpr
|
||||
|
||||
class BuiltinLiteralExpr extends Generated::BuiltinLiteralExpr { }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `CallExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.CallExpr
|
||||
|
||||
class CallExpr extends Generated::CallExpr { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `CallExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `CallExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructCallExpr(Raw::CallExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `CaptureListExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `CaptureListExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructCaptureListExpr(Raw::CaptureListExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `CheckedCastExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.CheckedCastExpr
|
||||
|
||||
class CheckedCastExpr extends Generated::CheckedCastExpr { }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `ClassMetatypeToObjectExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.ClassMetatypeToObjectExpr
|
||||
|
||||
class ClassMetatypeToObjectExpr extends Generated::ClassMetatypeToObjectExpr { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `ClassMetatypeToObjectExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `ClassMetatypeToObjectExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructClassMetatypeToObjectExpr(Raw::ClassMetatypeToObjectExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `CoerceExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.CoerceExpr
|
||||
|
||||
class CoerceExpr extends Generated::CoerceExpr { }
|
||||
|
|
|
@ -1,4 +1,14 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module defines the hook used internally to tweak the characteristic predicate of
|
||||
* `CoerceExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.Raw
|
||||
|
||||
/**
|
||||
* The characteristic predicate of `CoerceExpr` synthesized instances.
|
||||
* INTERNAL: Do not use.
|
||||
*/
|
||||
predicate constructCoerceExpr(Raw::CoerceExpr id) { any() }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `CollectionExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.CollectionExpr
|
||||
|
||||
class CollectionExpr extends Generated::CollectionExpr { }
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
|
||||
/**
|
||||
* This module provides a hand-modifiable wrapper around the generated class `CollectionUpcastConversionExpr`.
|
||||
*/
|
||||
|
||||
private import codeql.swift.generated.expr.CollectionUpcastConversionExpr
|
||||
|
||||
class CollectionUpcastConversionExpr extends Generated::CollectionUpcastConversionExpr { }
|
||||
|
|
Некоторые файлы не были показаны из-за слишком большого количества измененных файлов Показать больше
Загрузка…
Ссылка в новой задаче