Swift: make PoundDiagnostics::getKind internal

This commit is contained in:
Paolo Tranquilli
2023-11-24 06:56:12 +01:00
parent 0b57ecf0c7
commit cc6da2829c
3 changed files with 3 additions and 2 deletions

View File

@@ -439,7 +439,7 @@ lib/codeql/swift/generated/decl/OperatorDecl.qll 76901a6aa7bf34c925b93e1466e3601
lib/codeql/swift/generated/decl/ParamDecl.qll 9774c4aea3fa140c90a00018c6991947b0ac7b7d847d4319f1ceac5b8ab0b5ac 971d3f63ab70975812cbf80f03a63516bfff113a15f53c720bd1834c82e49ca4
lib/codeql/swift/generated/decl/PatternBindingDecl.qll ef627fd2f8a19f587b5690ea4d608f6ca6aca6be78ecd930f0b150df6c6c9a92 456c823ee71d7c81dd887fbe5b77f64a1a53d2a84e6266ed18aadca62a4bbbcb
lib/codeql/swift/generated/decl/PostfixOperatorDecl.qll f6a26b6b6632c9eaefc5d0ee9aeb99ddd56fed792afff9037114d92c3a42bb23 f6a26b6b6632c9eaefc5d0ee9aeb99ddd56fed792afff9037114d92c3a42bb23
lib/codeql/swift/generated/decl/PoundDiagnosticDecl.qll 975d88abaed11eefa434d266960c45ac83e040a790c8fed14c2703c2e256850d a6dedac1a7b085d512b96bb40805a70910de4e2293e60d1f765b1e512ed838a5
lib/codeql/swift/generated/decl/PoundDiagnosticDecl.qll 6e1ef7f47d1fb7817a472724f025fc498366dfed7a31692dee66d60bd5dbacc1 9fcd2ed7afe5ede92a50d17036c1ffb14dcb5491bccac3e7218c5919f7c12efb
lib/codeql/swift/generated/decl/PrecedenceGroupDecl.qll 40adef005cbe080485867888bf4b71c10e67fa5a3c843d4d3d79f4dd13c76605 40adef005cbe080485867888bf4b71c10e67fa5a3c843d4d3d79f4dd13c76605
lib/codeql/swift/generated/decl/PrefixOperatorDecl.qll 853f3a15d5bbe629e5fc7cbb2b9ad2946af74771e00369ba97b66370827033cb 853f3a15d5bbe629e5fc7cbb2b9ad2946af74771e00369ba97b66370827033cb
lib/codeql/swift/generated/decl/ProtocolDecl.qll 2de9a6b5b2fab8a3bb517ad2cf424ca9f3d29f7bd15b7c8861c0caea7d28baf7 2de9a6b5b2fab8a3bb517ad2cf424ca9f3d29f7bd15b7c8861c0caea7d28baf7

View File

@@ -26,6 +26,7 @@ module Generated {
* Gets the kind of this pound diagnostic declaration.
*
* This is 1 for `#error` and 2 for `#warning`.
* INTERNAL: Do not use.
*/
int getKind() {
result = Synth::convertPoundDiagnosticDeclToRaw(this).(Raw::PoundDiagnosticDecl).getKind()

View File

@@ -143,7 +143,7 @@ class PatternBindingDecl(Decl):
class PoundDiagnosticDecl(Decl):
""" A diagnostic directive, which is either `#error` or `#warning`."""
kind: int | desc("""This is 1 for `#error` and 2 for `#warning`.""")
kind: int | desc("""This is 1 for `#error` and 2 for `#warning`.""") | ql.internal
message: "StringLiteralExpr" | child
class PrecedenceGroupDecl(Decl):