Unified/swift: new AST spec and Swift mappings#22016

Merged

asgerf merged 30 commits into

github:mainfrom

asgerf:commonast-rebased5

Jun 25, 2026

GitHub Advanced Security / CodeQL completed Jun 25, 2026 in 4s

5 configurations not found

Warning: Code scanning may not have found all the alerts introduced by this pull request, because 5 configurations present on refs/heads/main were not found:

Actions workflow (`csv-coverage-metrics.yml`)

❓ .github/workflows/csv-coverage-metrics.yml:publish-csharp
❓ .github/workflows/csv-coverage-metrics.yml:publish-java

Actions workflow (`codeql-analysis.yml`)

❓ .github/workflows/codeql-analysis.yml:CodeQL-Build/language:actions
❓ .github/workflows/codeql-analysis.yml:CodeQL-Build/language:csharp

Actions workflow (`cpp-swift-analysis.yml`)

❓ .github/workflows/cpp-swift-analysis.yml:CodeQL-Build

New alerts in code changed by this pull request

52 warnings

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 96 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 102 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions parameter

Check warning on line 134 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 156 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions element

Check warning on line 188 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 209 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 248 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions stmt

Check warning on line 302 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 310 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 340 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions base_type

Check warning on line 346 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 352 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 352 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions type_constraint

Check warning on line 357 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions type_parameter

Check warning on line 403 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 409 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions parameter

Check warning on line 461 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 463 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions element

Check warning on line 466 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 518 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 576 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier

Check warning on line 582 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions parameter

Check warning on line 588 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions type_constraint

Check warning on line 593 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions type_parameter

Check warning on line 597 in unified/ql/lib/codeql/unified/Ast.qll

Code scanning / CodeQL

Missing QLDoc for parameter Warning

The QLDoc has no documentation for i, but the QLDoc mentions modifier