From 2fb017c9b02760117019b91b993d33eacf6ff698 Mon Sep 17 00:00:00 2001 From: Alex Denisov Date: Wed, 20 Sep 2023 12:29:46 +0200 Subject: [PATCH] Swift: SingleValueStmtExpr add some docs --- swift/ql/.generated.list | 4 ++-- swift/ql/lib/codeql/swift/generated/Raw.qll | 1 + .../lib/codeql/swift/generated/expr/SingleValueStmtExpr.qll | 3 +++ swift/schema.py | 3 +++ 4 files changed, 9 insertions(+), 2 deletions(-) diff --git a/swift/ql/.generated.list b/swift/ql/.generated.list index af8928977224..50ecd5d74ef9 100644 --- a/swift/ql/.generated.list +++ b/swift/ql/.generated.list @@ -381,7 +381,7 @@ lib/codeql/swift/generated/OtherAvailabilitySpec.qll 0e26a203b26ff0581b7396b0c6d lib/codeql/swift/generated/ParentChild.qll 7c9bdbdeb438517269de6409c81ba0d8aa8d7da2e1a00cdaa325982144531562 0779ba44d6999683eccf603be5f5bccc7db3bcaf8fdbea626add37f8481eb14b lib/codeql/swift/generated/PlatformVersionAvailabilitySpec.qll f82d9ca416fe8bd59b5531b65b1c74c9f317b3297a6101544a11339a1cffce38 7f5c6d3309e66c134107afe55bae76dfc9a72cb7cdd6d4c3706b6b34cee09fa0 lib/codeql/swift/generated/PureSynthConstructors.qll 173c0dd59396a1de26fe870e3bc2766c46de689da2a4d8807cb62023bbce1a98 173c0dd59396a1de26fe870e3bc2766c46de689da2a4d8807cb62023bbce1a98 -lib/codeql/swift/generated/Raw.qll c8a8239c706663f0ba459ead3225ebb056d3195ab12238242d4c36bf3d5a91ef cd129bba1fb9dee274cf0d0d2d618704b4b69b30267891ee22df9db8f0e9e42f +lib/codeql/swift/generated/Raw.qll 4ca40f7a46d77fcc9c435f4d2a18209eb4e67518850f7de1be1646833a5512eb 7245ef236d9adfe4e87a2a5124b3295a57baa03bf51a283678f508a398a41eae lib/codeql/swift/generated/Synth.qll 0e299d5d910589d82be11fc503640d425ea20478b8a5802347fbc575075dd53c dc87a4f03bb1ead4ef6676e6fd1b53b38b9ec6904b5113f24eb7a778f089490a lib/codeql/swift/generated/SynthConstructors.qll e6533af43a95a90e6e07add5720c83f436aa2a24c445080ba5e8cbc6417b973f e6533af43a95a90e6e07add5720c83f436aa2a24c445080ba5e8cbc6417b973f lib/codeql/swift/generated/UnknownFile.qll 0fcf9beb8de79440bcdfff4bb6ab3dd139bd273e6c32754e05e6a632651e85f6 0fcf9beb8de79440bcdfff4bb6ab3dd139bd273e6c32754e05e6a632651e85f6 @@ -533,7 +533,7 @@ lib/codeql/swift/generated/expr/RebindSelfInInitializerExpr.qll 66d4cbf211cae63a lib/codeql/swift/generated/expr/RegexLiteralExpr.qll a11eb6f6ce7cebb35ab9ff51eae85f272980140814d7e6bded454069457a1312 bdb4bb65c9f4e187cf743ed13c0213bb7e55db9cc3adeae2169df5e32b003940 lib/codeql/swift/generated/expr/SelfApplyExpr.qll c0815a4d6d4f08bd0c7bc170fa817ebcb2328c937c8ef16391fb0da71aff17ae 0979f035e8d4b54e93f17163a4df3c2aa65f23d56c491fa72376887e3e5c10ac lib/codeql/swift/generated/expr/SequenceExpr.qll 62301b2e4c76de4820c6deef0ee95c8b328ed14ba8eac70aa10cc8fb0f3c5ace feb960c796ea517abc9587bd76f7ae9aabfd9a6b0984fe2d8380e803b002eede -lib/codeql/swift/generated/expr/SingleValueStmtExpr.qll 0aa30e7604922c4acbc19f56ecf41248f8f44248e2313fb57c5743ada3a1791b c36bcc93d091c5735c5c62da939a68e32be11a344496815342de57d94b506ee8 +lib/codeql/swift/generated/expr/SingleValueStmtExpr.qll 0284863f7b5a41281e2b2395ee5a6f6f5fccc684c3f6951a652a46f096a251ec f0efdc5ab9f939ce6e8152aeae2327bf6868e0f29ba5541eb42f7d2e1085b30c lib/codeql/swift/generated/expr/StringLiteralExpr.qll f420c5cd51a223b6f98177147967266e0094a5718ba2d57ae2d3acbb64bbb4b6 30d6dab2a93fd95e652a700902c4d106fecfce13880c2ece565de29f2504bedf lib/codeql/swift/generated/expr/StringToPointerExpr.qll ef69b570aa90697d438f5787a86797955b4b2f985960b5859a7bd13b9ecb9cd3 ef69b570aa90697d438f5787a86797955b4b2f985960b5859a7bd13b9ecb9cd3 lib/codeql/swift/generated/expr/SubscriptExpr.qll 8a2bf1f0ded1888546791e0e59b969267f0352223e2abeb38e91dfa2144a38ae 009566ef61689d14844730235b0e0c31ee01e95e2002cf7272cbabc97539dce9 diff --git a/swift/ql/lib/codeql/swift/generated/Raw.qll b/swift/ql/lib/codeql/swift/generated/Raw.qll index 410645971d8b..d5b087cf574a 100644 --- a/swift/ql/lib/codeql/swift/generated/Raw.qll +++ b/swift/ql/lib/codeql/swift/generated/Raw.qll @@ -1573,6 +1573,7 @@ module Raw { /** * INTERNAL: Do not use. + * An expression that may wrap a statement which produces a single value. */ class SingleValueStmtExpr extends @single_value_stmt_expr, Expr { override string toString() { result = "SingleValueStmtExpr" } diff --git a/swift/ql/lib/codeql/swift/generated/expr/SingleValueStmtExpr.qll b/swift/ql/lib/codeql/swift/generated/expr/SingleValueStmtExpr.qll index 72b298a17262..6e5814cc917d 100644 --- a/swift/ql/lib/codeql/swift/generated/expr/SingleValueStmtExpr.qll +++ b/swift/ql/lib/codeql/swift/generated/expr/SingleValueStmtExpr.qll @@ -5,6 +5,9 @@ import codeql.swift.elements.expr.Expr import codeql.swift.elements.stmt.Stmt module Generated { + /** + * An expression that may wrap a statement which produces a single value. + */ class SingleValueStmtExpr extends Synth::TSingleValueStmtExpr, Expr { override string getAPrimaryQlClass() { result = "SingleValueStmtExpr" } diff --git a/swift/schema.py b/swift/schema.py index a259fb95c229..3e3dff0cf132 100644 --- a/swift/schema.py +++ b/swift/schema.py @@ -1239,4 +1239,7 @@ class AbiSafeConversionExpr(ImplicitConversionExpr): class SingleValueStmtExpr(Expr): + """ + An expression that may wrap a statement which produces a single value. + """ stmt: Stmt | child