hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 18:25:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Add some more qldoc.

Browse Source
This commit is contained in:
Geoffrey White
2023-02-10 15:02:05 +00:00
parent 15b8aa1979
commit 11f022c69f
3 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
swift/ql/.generated.list
View File

@@ -371,7 +371,7 @@ ql/lib/codeql/swift/elements/type/WeakStorageTypeConstructor.qll d88b031ef44d6de
ql/lib/codeql/swift/elements.qll 82b69a48b7afffeb97cafd9fdc57af96b672e21879580a6cfc3bae2a49bc2c40 82b69a48b7afffeb97cafd9fdc57af96b672e21879580a6cfc3bae2a49bc2c40
ql/lib/codeql/swift/generated/AstNode.qll 02ca56d82801f942ae6265c6079d92ccafdf6b532f6bcebd98a04029ddf696e4 6216fda240e45bd4302fa0cf0f08f5f945418b144659264cdda84622b0420aa2
ql/lib/codeql/swift/generated/AvailabilityInfo.qll 996a5cfadf7ca049122a1d1a1a9eb680d6a625ce28ede5504b172eabe7640fd2 4fe6e0325ff021a576fcd004730115ffaa60a2d9020420c7d4a1baa498067b60
ql/lib/codeql/swift/generated/AvailabilitySpec.qll b7b1d14410927b80d11c80a507b6dfec72da01c403ee5db8ed2fe62efb821187 3aa96ba7cc7d8bf26a0c622130dcb79d24fcd346f9a3134afb08862c0fc18a64
ql/lib/codeql/swift/generated/AvailabilitySpec.qll fb1255f91bb5e41ad4e9c675a2efbc50d0fb366ea2de68ab7eebd177b0795309 144e0c2e7d6c62ecee43325f7f26dcf437881edf0b75cc1bc898c6c4b61fdeaf
ql/lib/codeql/swift/generated/Callable.qll 042b4f975f1e416c48b5bf26bee257549eec13fb262f11025375560f75a73582 0434788243bc54e48fec49e4cce93509b9a2333f2079dacb6ffc12c972853540
ql/lib/codeql/swift/generated/Comment.qll f58b49f6e68c21f87c51e2ff84c8a64b09286d733e86f70d67d3a98fe6260bd6 975bbb599a2a7adc35179f6ae06d9cbc56ea8a03b972ef2ee87604834bc6deb1
ql/lib/codeql/swift/generated/DbFile.qll a49b2a2cb2788cb49c861ebcd458b8daead7b15adb19c3a9f4db3bf39a0051fc a49b2a2cb2788cb49c861ebcd458b8daead7b15adb19c3a9f4db3bf39a0051fc

6
swift/ql/lib/codeql/swift/generated/AvailabilitySpec.qll
View File

@@ -4,5 +4,11 @@ private import codeql.swift.generated.Raw
import codeql.swift.elements.AstNode
module Generated {
/**
* An availability spec, that is, part of an `AvailabilityInfo` condition. For example `iOS 12` and `*` in:
* ```
* if #available(iOS 12, *)
* ```
*/
class AvailabilitySpec extends Synth::TAvailabilitySpec, AstNode { }
}

6
swift/schema.py
View File

@@ -812,6 +812,12 @@ class CaseLabelItem(AstNode):
guard: optional[Expr] | child
class AvailabilitySpec(AstNode):
"""
An availability spec, that is, part of an `AvailabilityInfo` condition. For example `iOS 12` and `*` in:
```
if #available(iOS 12, *)
```
"""
pass
class PlatformVersionAvailabilitySpec(AvailabilitySpec):