From f3f244c3c17352713322cf48969382c64b925388 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 2395cfd5c2df..fb111c6e1c22 100644 --- a/swift/ql/.generated.list +++ b/swift/ql/.generated.list @@ -382,7 +382,7 @@ lib/codeql/swift/generated/OtherAvailabilitySpec.qll 0e26a203b26ff0581b7396b0c6d lib/codeql/swift/generated/ParentChild.qll 64d0ebc5244a9488d87fa3e4a93a77ad222a3b3963ec9b6687ca855c7279b141 63ec6bb73408eb526820c866f69751723e3e267580e0cc047b43ffdae0204aa8 lib/codeql/swift/generated/PlatformVersionAvailabilitySpec.qll f82d9ca416fe8bd59b5531b65b1c74c9f317b3297a6101544a11339a1cffce38 7f5c6d3309e66c134107afe55bae76dfc9a72cb7cdd6d4c3706b6b34cee09fa0 lib/codeql/swift/generated/PureSynthConstructors.qll 173c0dd59396a1de26fe870e3bc2766c46de689da2a4d8807cb62023bbce1a98 173c0dd59396a1de26fe870e3bc2766c46de689da2a4d8807cb62023bbce1a98 -lib/codeql/swift/generated/Raw.qll 551cd33d3d1ea95af24b39604181b701332ce57690ff6b07d840c849bfbe113d 7f612cd455b03dc12483c81f43f4bc26c67950ced643afcb0c92085d198c351b +lib/codeql/swift/generated/Raw.qll 0d58487c277332a59ab5f5d4028e8551dcd36ad1ee0ecdd04898e0083bc0377d 3f93bdd07e830ff6d10b236a0c66d4979a26e67b195d47ff01ac4b58f37e273c lib/codeql/swift/generated/Synth.qll 0e299d5d910589d82be11fc503640d425ea20478b8a5802347fbc575075dd53c dc87a4f03bb1ead4ef6676e6fd1b53b38b9ec6904b5113f24eb7a778f089490a lib/codeql/swift/generated/SynthConstructors.qll e6533af43a95a90e6e07add5720c83f436aa2a24c445080ba5e8cbc6417b973f e6533af43a95a90e6e07add5720c83f436aa2a24c445080ba5e8cbc6417b973f lib/codeql/swift/generated/UnknownFile.qll 0fcf9beb8de79440bcdfff4bb6ab3dd139bd273e6c32754e05e6a632651e85f6 0fcf9beb8de79440bcdfff4bb6ab3dd139bd273e6c32754e05e6a632651e85f6 @@ -534,7 +534,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 62a35bcb3b36..e6b213a29e8d 100644 --- a/swift/ql/lib/codeql/swift/generated/Raw.qll +++ b/swift/ql/lib/codeql/swift/generated/Raw.qll @@ -1566,6 +1566,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 a6e353556560..fb7da57a65c2 100644 --- a/swift/schema.py +++ b/swift/schema.py @@ -1228,4 +1228,7 @@ class AbiSafeConversionExpr(ImplicitConversionExpr): class SingleValueStmtExpr(Expr): + """ + An expression that may wrap a statement which produces a single value. + """ stmt: Stmt | child