hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Swift: Update generated files

Browse Source
This commit is contained in:
Jeroen Ketema
2025-09-16 14:58:03 +02:00
parent 22dddb0216
commit e79c0b0405
17 changed files with 96 additions and 94 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
swift/ql/.generated.list generated
View File

@@ -555,6 +555,7 @@ lib/codeql/swift/elements/type/DynamicSelfType.qll c7eecfd41722f2fadc7de0783a8e7
lib/codeql/swift/elements/type/ElementArchetypeType.qll aa920ff09b80d5a4ff5fae22a975ba5debceef3f8953e536e06aba486edbebba 390a084f6b08c232d93ea1a590d1ca73585faa44ba4eb90b7c51e3ecf24cb4c7
lib/codeql/swift/elements/type/EnumType.qll f6d0174ba79d36d7c1b9d5dc0ede4400a40e7f427e1198721c1774c768ad3927 07f3390dbd2c4040d9fff8df2bde8c3611cb1e72a9d8e663331a96dded353a0a
lib/codeql/swift/elements/type/ErrorType.qll 4867f96662daa7e667e92fa939889e4ba54d6e139088a640a5472a9c2169e193 b41bebd9ef623d318e39610b5c193648c9b1d36d68770abce995492f0f507415
lib/codeql/swift/elements/type/ExistentialArchetypeType.qll 79e9d421457aee301bdfeb289240419e11dd5c9e3b5656f742b57cedc2de0ae0 0df3e401c0ec4d8e5ffae7bf879a8006a7e538dd76cf3cbe3a8650d5facde5ec
lib/codeql/swift/elements/type/ExistentialMetatypeType.qll 08c5cfc4deaf241861a800a0293a90beba953a5176dc9ec16e73aeb11ffeb6e0 6ecafdd2412b0060ad6b040587ae1e6e66597f2e20e452de4e66f3444376e527
lib/codeql/swift/elements/type/ExistentialType.qll a334e666928a0c50c9ae2f4b7cc891466254954a755c10a19b2b82b8544902ab 57c7ebf1263a8ec399fbdaa1b7eee2e81f633cd020032e2f575ab9d7fe7f4b97
lib/codeql/swift/elements/type/FunctionType.qll 1a64eb24e8baa74ef2a8e4451f97442aa6f86dd8160eb1f7c4fcd62342ef9ec5 3549451d8443215a5342e3c1b1e3910e71c217a382e42c8916c9435525c49940
@@ -569,7 +570,6 @@ lib/codeql/swift/elements/type/ModuleType.qll b37f2a919271463a1317e2933d078d3c72
lib/codeql/swift/elements/type/NominalOrBoundGenericNominalType.qll d41c27edffe38a8dd0e5fc17e0f9b355e7ecfdc80765fa36f4f00545af47d5c9 83a2f9ff32fec675f011683f64969ce42e2cf2301f48611ecc056242b0116bef
lib/codeql/swift/elements/type/NominalType.qll 5071658ee2aad7f9008248bc632873695150d95ed6260eecbc5c7c0394823bb9 e7664bde6757e207191348d031c27dda9b614628ff7b85e897d9942907f24ea2
lib/codeql/swift/elements/type/OpaqueTypeArchetypeType.qll ba746e5ee3e9723cd279b94b4608f10670a26a80d1db5e721eaaacd049160772 7fecafbdf1b1a60200dad6bbcef099470e1f2d34638bb6be6580f11f47e63fa4
lib/codeql/swift/elements/type/OpenedArchetypeType.qll e902fc1f2ca854a5601dbe6d3e1c1178729f3a38f739335c85355cd3823f79bb 2b16f97a51adad24dcd2c27b1bbedde9e6794920afaec38cd6bf6a769daee15b
lib/codeql/swift/elements/type/OptionalType.qll 55fff926b9bbe5b2c3ca0963750f71809425578f3fe08de86fe7f25f5729eb53 5aa94f386dd3b251e7ea739c26d3c3fca8f98409627be24765b124d97e70bfa8
lib/codeql/swift/elements/type/PackArchetypeType.qll 74a688b176c41a2caed819dccda6f450d9b171f5ab65480073866a217d3c6b39 a5dda9d35b8024665765bc773d071b396837ca49b827ed3d8200cb8a1bdff87c
lib/codeql/swift/elements/type/PackElementType.qll 696ce6efe66eae0554e9919e13cb8e5dcb6c8c218bcb6b8abbcb4bc3f9cbcff8 9fb68c75c11573fcd0fd1048ed1eeec8d5974fafa66e69d8515181c72d5d1230
@@ -650,6 +650,8 @@ lib/codeql/swift/elements/type/internal/EnumTypeConstructor.qll 42082a8131a1d23a
lib/codeql/swift/elements/type/internal/EnumTypeImpl.qll e1882e9bf4a5758d931066d21af82b10de241593fc632844db4220dfa1b40051 7903e471170bad4ac51971c614c3d5aec81453630f9d74792a6a782f76aa6491
lib/codeql/swift/elements/type/internal/ErrorTypeConstructor.qll b9c8b309ccc948b5956355b3d3398c1e52317b3c0dfbef0683b2dc62fe2e5054 e30fd9785602b50081917e82b03776bd98774fe45ff35734497cc0816f284cd4
lib/codeql/swift/elements/type/internal/ErrorTypeImpl.qll c04c074586ee94c721c8ee4c75f2213098a004a69df08d5585d9b3c2a52ae44c 1fcd9cdadbddfd1f89d9cb0962fd767ccf920b26975a9557c4d758933ebd27b3
lib/codeql/swift/elements/type/internal/ExistentialArchetypeTypeConstructor.qll 135a26bed100d6aae55925fbff1769cb61069488d8b7a19462429d0ebba9d0bb bcff385e197dbff3855f492b6c1d25bd5db2eb6a7cb66ccce80309e9c8f403bb
lib/codeql/swift/elements/type/internal/ExistentialArchetypeTypeImpl.qll 7c78ae15e6428b8ed103d2d28f719eff388a21615bf68b777a83e22c62aa70aa ab76d66eda10dc4af67eab6ba0757f2f452b75354f9f5d788fe3671d8dc7724f
lib/codeql/swift/elements/type/internal/ExistentialMetatypeTypeConstructor.qll 4055299dc6cf43e7a12f325913fd84b58761dcbfc14aaa27dd494eae1c282a99 c28e1ef4c8da26eaca30726bf3a81547bf3996cdfdf4b35cfc062d574e791d86
lib/codeql/swift/elements/type/internal/ExistentialMetatypeTypeImpl.qll 5aeaabe063cd7d9950a46fa4821f8d950c7583a4652f7e2741d81e19281aa873 c5ad2564888f6c10ac2478d72c5a436cec111824781b992adb9bddc723f13faf
lib/codeql/swift/elements/type/internal/ExistentialTypeConstructor.qll 65aeccb1d9b403e4efee678c7af1e8bb1359f6ffed7a2e75945330a19276b25e b2da77005c4cc9dc8dad8864b222de781863f93996b0128346a0464a7cacdd8b
@@ -673,8 +675,6 @@ lib/codeql/swift/elements/type/internal/ModuleTypeImpl.qll d13df337e9b7873c3db9c
lib/codeql/swift/elements/type/internal/NominalOrBoundGenericNominalTypeImpl.qll 6da77c694a1d7e3e3ab889b9fa5bbc0c5940b7ce3e2ea1170f78566589b8275d 5ba1224ee1a942e5d5453effe5434d5b3d7dd5e68979e7c1ea3bab7ff3030484
lib/codeql/swift/elements/type/internal/OpaqueTypeArchetypeTypeConstructor.qll f33bf566ae7881e6b4c5327602bfd4275bd5344d0f9fb764ebe02b9673ab29ed 88ad64e4c114f34a952701fff67386d43982dacd2845eead408230447d3c0506
lib/codeql/swift/elements/type/internal/OpaqueTypeArchetypeTypeImpl.qll 402568a45ebe986f2086c765649414b218a262e103ed19d73de3754cc84327d8 b7ef0cbfdd74083403ace6e0d8e6b0502fba1267d04a16c7465fa8b5dbce4138
lib/codeql/swift/elements/type/internal/OpenedArchetypeTypeConstructor.qll 729a7f0545d9aa3449e92f60f1ff780188135c861cdd119a678569d27684f4c0 e6f51320aec9202d97695228b684cd35ed5f26cdc8576621ad74ca0a5f707fc6
lib/codeql/swift/elements/type/internal/OpenedArchetypeTypeImpl.qll c8d7f2493f1fd23f2e5c1707ff5209e7345e939b8e9a499f8df28dd4fca77bd2 616ac345e28f858cd1f3571662cda187e2368cf19af6456675dcdac9eb30b714
lib/codeql/swift/elements/type/internal/OptionalTypeConstructor.qll 648493a385d8a95b665fff776f52e23ecdc2a4baa355328fbb218a1510ff807f 4249552ad87c3e474e32c89e6bf6302d7de5d15980c550f97ec8576a5801770b
lib/codeql/swift/elements/type/internal/OptionalTypeImpl.qll ac452e2c2883cd9aa7e460032a6f920e10c34a7e04a306b0c6b7a9c637f5b9d1 2513c2da982ed0a11687b5d3938de9e029742ecc1b6942b28e443aafe951f7e6
lib/codeql/swift/elements/type/internal/PackArchetypeTypeConstructor.qll 11ceeb4d0d337cde182804dc1b56f24ae624b74b55f62979c166172b53497a11 b46528bc0673a80a3d5ce29c358105b876967b73ae4a5596e6d7cf82e2292144
@@ -716,7 +716,7 @@ lib/codeql/swift/elements/type/internal/UnresolvedTypeImpl.qll ee1499dd568753898
lib/codeql/swift/elements/type/internal/VariadicSequenceTypeConstructor.qll fc74a5a2a2effa28ef24509b20ee4373d97cf6e8c71840121bb031c6adedf584 c9b2effc1d01c13c5e6a74a111122fa79a2f6554dda3cb016d68ba397e566ec4
lib/codeql/swift/elements/type/internal/WeakStorageTypeConstructor.qll 5fdce3716aba6318522174a2c455a63480970222ae81c732fb19c6dd3ae2d271 60ea79d6943e129deba0deccb566cf9d73f78398b0f7f0212674d91287d6b2ae
lib/codeql/swift/elements/type/internal/WeakStorageTypeImpl.qll 74f79b458f3204ec2519bd654de21bc4fb6b76816bd8ca01990fe897563a1383 34e1810f74cecda5b580ed050438ae1d914b97a36b8f4e2de1c25254c0cac633
lib/codeql/swift/elements.qll 2c093130866888903f5a97cc41072ad94c795d296fca6492d6db481b1ca39d94 2c093130866888903f5a97cc41072ad94c795d296fca6492d6db481b1ca39d94
lib/codeql/swift/elements.qll a3ab2329ee38bd9afe1e790bd5803ee694505c8f4ad2393b0bf60123c0a22073 a3ab2329ee38bd9afe1e790bd5803ee694505c8f4ad2393b0bf60123c0a22073
lib/codeql/swift/generated/AstNode.qll 6fb80e9b230a1e3ae8193af40744f253d5cc81dc4239156924e5ab606c491efc e5c28418e9a38bde08f323a3986a199620189fc4a8a4dc8f670610a5d3d65b99
lib/codeql/swift/generated/AvailabilityInfo.qll e3a5274c43e72ff124b6988fd8be0c83a41b89337e11104150dd0ca7f51d8a11 889563791ca8d9758dbbccf64a0731c4bdbf721cad32bc6cd723f1072b6aa1de
lib/codeql/swift/generated/AvailabilitySpec.qll bc64d5c690c4d18800f0a48cc76a6a9ee4f832041343666da2d8df2aae04ed7e d03bf874293ac0ab09c025f75c0f392473d47bebe3223143adcc13882a366119
@@ -733,12 +733,12 @@ lib/codeql/swift/generated/Locatable.qll 1d37fa20de71c0b9986bfd7a7c0cb82ab7bf3fd
lib/codeql/swift/generated/Location.qll 5e20316c3e480ddfe632b7e88e016c19f10a67df1f6ae9c8f128755a6907d6f5 5a0af2d070bcb2ed53d6d0282bf9c60dc64c2dce89c21fdd485e9c7893c1c8fa
lib/codeql/swift/generated/MacroRole.qll facf907e75490d69cd401c491215e4719324d751f40ea46c86ccf24cf3663c1f 969d8d4b44e3f1a9c193a152a4d83a303e56d2dbb871fc920c47a33f699cf018
lib/codeql/swift/generated/OtherAvailabilitySpec.qll d9feaa2a71acff3184ca389045b0a49d09156210df0e034923d715b432ad594b 046737621a8bcf69bf805afb0cff476bd15259f12f0d77fce3206dd01b31518f
lib/codeql/swift/generated/ParentChild.qll 86a6c9ba4c79d72bf7a0786274f6fba49e6f37cf82de0451a6dad0d319224ebd f7b99ceb052a23d7c25d1615d1453d421b5ddddcec60b7d8d6f956d0d3fd7a2d
lib/codeql/swift/generated/ParentChild.qll 6b458321a55aaca9f8ca7c88b036a84c0313db75d4e5d721b9f18e0f10852256 be30f676ae498b8240042ed62a9781a1bf8cc999040d4bcbe9098af0fa5b571e
lib/codeql/swift/generated/PlatformVersionAvailabilitySpec.qll dc17b49a90a18a8f7607adf2433bc8f0c194fa3e803aa3822f809d4d4fbd6793 be48ea9f8ae17354c8508aaed24337a9e57ce01f288fece3dcecd99776cabcec
lib/codeql/swift/generated/PureSynthConstructors.qll bc31a6c4d142fa3fbdcae69d5ba6f1cec00eb9ad92b46c8d7b91ebfa7ef6c1f4 bc31a6c4d142fa3fbdcae69d5ba6f1cec00eb9ad92b46c8d7b91ebfa7ef6c1f4
lib/codeql/swift/generated/Raw.qll 96d5f8778f25cd396b5cc56c38dce597c5a9a5c2b1e9ed8b9a4d2eca89e49323 d65072b5c508dad1dd813e19f7431087d8bfc0e5d85aa3d19beffbcbbec585ec
lib/codeql/swift/generated/Synth.qll 2b0f1a8911c1981ff50b78331bdd1f3f6023ad87a4ae3a92088901f493bb62c0 bc94ca1d86033e04b0999da84b61955ea1d8f4ac2379be527802512a42a16964
lib/codeql/swift/generated/SynthConstructors.qll d30b83f9d8d310414bb1261af386b70502df48159d06579bb2610e18ef546c3d d30b83f9d8d310414bb1261af386b70502df48159d06579bb2610e18ef546c3d
lib/codeql/swift/generated/Raw.qll c1efe67c8c2004d2f5bc036868dff166da77984663171f1a5a5a29e7747e8d71 c3d50dd2389d8b1117a6a8ddd4f59781b59b0f618352ff8877a784b03b3376ad
lib/codeql/swift/generated/Synth.qll a5bc201d9ed53a64ad2e29a20192cc22456d3096c3af1b71cb023152545c2efe 2cc9f90e58f23a70f44e9187a0c7d4eac743944ca78042fccd258d7d1c89d432
lib/codeql/swift/generated/SynthConstructors.qll 09b5e8736a1aa900ff465868275e090516f4fd9ec50c64e24d4106566f5a52cd 09b5e8736a1aa900ff465868275e090516f4fd9ec50c64e24d4106566f5a52cd
lib/codeql/swift/generated/UnknownFile.qll 247ddf2ebb49ce5ed4bf7bf91a969ddff37de6c78d43d8affccaf7eb586e06f2 452b29f0465ef45e978ef8b647b75e5a2a1e53f2a568fc003bc8f52f73b3fa4d
lib/codeql/swift/generated/UnknownLocation.qll d871000b4f53ffca4f67ea23ca5626e5dcce125d62a4d4b9969e08cc974af6fc b05971d7774e60790362fb810fb7086314f40a2de747b8cb1bc823ec6494a4dd
lib/codeql/swift/generated/UnspecifiedElement.qll d9ad4ba1ffff90cc465e8ba0dea8c4e8ba67dce5529b53b63ab6dc8e13c85e67 025218e1fee8ee382b63ad38009dfec73dc604d2ba80b9ad956c7c96eeed7022
@@ -991,6 +991,7 @@ lib/codeql/swift/generated/type/DynamicSelfType.qll 999b59b887b6d550645832bb12ab
lib/codeql/swift/generated/type/ElementArchetypeType.qll a3cc0d5c0feb8bc446c19f97d311da3a964af6a1d4275496bb506c6094cb6f55 5f8f73bd2b524c3ffd0eaedba90c348d8743add15d1004b4da3a6ffbf6ec3919
lib/codeql/swift/generated/type/EnumType.qll 258be7d8b1a17ba0c7253b12603c607a2f241b274b329c9124a8158128e77a47 11ac74f5da5dbb5d80efd86c0ffd127f673233fe0e25da68cf691fa2839baab6
lib/codeql/swift/generated/type/ErrorType.qll d6d3b9457d40d762f9441daf434062a0b2133dc9ef3aa221a655269c5522dcc5 c0c06692f37132098f5306f8c061d71140692a23a5e2a376350aae99854119eb
lib/codeql/swift/generated/type/ExistentialArchetypeType.qll 54bc16dcf5da69fb444493738ffda37e0e7d85102a6fc5de39329b12e6d5aa70 d56e7bdd2853911dc38387be408dbc1b4430eb4b9284496545e2052f325315e4
lib/codeql/swift/generated/type/ExistentialMetatypeType.qll 7d497d364ba6d9416bd2fdb561332d7038a36cc3d887a08638b389c74de59159 29dde0610dc53b2c14fd1d6ec4014ffb9979195e8e8487b32a982317609f3476
lib/codeql/swift/generated/type/ExistentialType.qll dc6e1afb4134e6bb5c63fb86ace78b695224a7bee1fb813799bfb36521e2dabd ef33867f67867021739ae021c6ed763e397f1f299145ff3076980c9dfcbe7a12
lib/codeql/swift/generated/type/FunctionType.qll 739192b77787905a66d9c9970dc077c3fb458afc038b3b8d8f12f965b2cad1ad 4952c360a7277972bdadbdb9d8dc475153d0c6de50f7b8e7de4c7259abf2541b
@@ -1005,7 +1006,6 @@ lib/codeql/swift/generated/type/ModuleType.qll e4d7d1e1b0854b56e86b2e6d73b06c5e4
lib/codeql/swift/generated/type/NominalOrBoundGenericNominalType.qll 992bc2e47d0659b8c92a8907614e3d940310befd35767d8a19c70c2db034e36b bba0cf99f299271c893e482881f586e298a35ad48c59ba1a07d216fd5f731a99
lib/codeql/swift/generated/type/NominalType.qll a1d4865e7c4cc8362c16ed728429851660c84c5d30622c43502f046aa5adf507 337d377662ba3a5232124c80ee008a0d1c56635c1bd59a35cbe82fbb54c0a6cc
lib/codeql/swift/generated/type/OpaqueTypeArchetypeType.qll 64b1f4b6c76b89e3b11eb3f811f8f1664685980db605721b28a2d503a1c9e972 6acfc69f609e1a0873a2a4d5ad5665c1012a0e89eb3459be35d3a48ef5a304f4
lib/codeql/swift/generated/type/OpenedArchetypeType.qll 74dcbbf286185787526552c624c740de59cb55b774640492797b58532bb1fb1d 298f136e82ab66af6894db33881fd8a2ddefaa99b3cb522b0f342b6fd3f6ec48
lib/codeql/swift/generated/type/OptionalType.qll f708e44e676d72274bcb823028aec6122875443de309e2c4e0ca04a18cb4a741 3c2a350fbd32b3297161ca14e050c7d75d3d5606be8adab59a4f53d514794e9d
lib/codeql/swift/generated/type/PackArchetypeType.qll cc561152cbf2eae8482a82997fe1725dccd172ee93d091df47d620f5c7cca2fe 278bf4d686f9b977882f98de695ac41575ba589d7838ad077dcb04ba1f95598e
lib/codeql/swift/generated/type/PackElementType.qll 997dae178f56757eb1e0c2ea6496dcaf9886e37d7b6b92bd849807beac630b9f 924e898526b3bf758f339e384025dc87fb64e0b0ce8526d63cbe7170d7e6ec73
@@ -1188,6 +1188,7 @@ test/extractor-tests/generated/type/DependentMemberType/MISSING_SOURCE.txt 35fb3
test/extractor-tests/generated/type/DictionaryType/MISSING_SOURCE.txt 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d
test/extractor-tests/generated/type/DynamicSelfType/DynamicSelfType.ql 62da270e23b080f8ceb9ec5c130f84ccd779c43cf30c88db526ef061269c5ce9 390cb48fd7873210f5f5b4e8f275347348336a1e8161c72d3fafa5f7fee90f93
test/extractor-tests/generated/type/EnumType/MISSING_SOURCE.txt 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d
test/extractor-tests/generated/type/ExistentialArchetypeType/ExistentialArchetypeType.ql b2f71d888599d3df876dd65dfb4e2e0314f6f1354945b8d467fbe04430d155f8 7e35aec4e133bb76d1fbd87a715014b81b39021ee3f66f49e25292c1388628a0
test/extractor-tests/generated/type/ExistentialMetatypeType/MISSING_SOURCE.txt 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d
test/extractor-tests/generated/type/ExistentialType/ExistentialType.ql 7e09bbea166a4f269ecef1113229e98dfd7ea68ea5d4025af492fcce48698420 a4d00ff4100138020af51e8264d1d243156e52ab417bb150d33e9e1cc8cb0a69
test/extractor-tests/generated/type/FunctionType/MISSING_SOURCE.txt 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d
@@ -1199,7 +1200,6 @@ test/extractor-tests/generated/type/LValueType/MISSING_SOURCE.txt 35fb32ea539315
test/extractor-tests/generated/type/MetatypeType/MISSING_SOURCE.txt 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d
test/extractor-tests/generated/type/ModuleType/ModuleType.ql 7d78142dc82b06e454b9875a47890d5c2364e51f6e496640d6c4d20327f535b7 cecd45f6a4b0f137cdd7e694259044016ab01da6a42e73c3a361b4d00b594133
test/extractor-tests/generated/type/OpaqueTypeArchetypeType/OpaqueTypeArchetypeType.ql 86bc4823c19da17cbcebe3a4634eccff0a96cbebd174d8d4b1610e3fda3f8bdb 82179cb6e188a3a271428de4631c2a6fa4cec2e65a628fb56c2cbcff8a6a13d3
test/extractor-tests/generated/type/OpenedArchetypeType/OpenedArchetypeType.ql fdbbc1cffb209097480596d3be405188d045758da03a7980511d56874690b9c4 9ba8ffc028988a21cd751d25f0c363c3c37dfc0a13629379c8ca94b6b066bb7d
test/extractor-tests/generated/type/OptionalType/MISSING_SOURCE.txt 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d 35fb32ea5393152eb7a875b20b4e3e4b8c7a997a8959c32417140d57a16a052d
test/extractor-tests/generated/type/PackType/ElementArchetypeType.ql d4d695dcd0e723cdc9f196d828e22a3650ac751f0488e257f3bc2e2afbc343ec ff20bf849e18621b6193699bf58b3d6d127c29113dc996100bc18938fdf4658c
test/extractor-tests/generated/type/PackType/PackArchetypeType.ql 56e7f72a2d6f03e394a5e7103e337aee06b8e1fa9198d8f6123c44c4e33d5b57 e7259313ade883242bffb8e812da64c77108b55acbf39d7b8cda47251ee5f5d3

10
swift/ql/.gitattributes generated vendored
View File

@@ -557,6 +557,7 @@
/lib/codeql/swift/elements/type/ElementArchetypeType.qll linguist-generated
/lib/codeql/swift/elements/type/EnumType.qll linguist-generated
/lib/codeql/swift/elements/type/ErrorType.qll linguist-generated
/lib/codeql/swift/elements/type/ExistentialArchetypeType.qll linguist-generated
/lib/codeql/swift/elements/type/ExistentialMetatypeType.qll linguist-generated
/lib/codeql/swift/elements/type/ExistentialType.qll linguist-generated
/lib/codeql/swift/elements/type/FunctionType.qll linguist-generated
@@ -571,7 +572,6 @@
/lib/codeql/swift/elements/type/NominalOrBoundGenericNominalType.qll linguist-generated
/lib/codeql/swift/elements/type/NominalType.qll linguist-generated
/lib/codeql/swift/elements/type/OpaqueTypeArchetypeType.qll linguist-generated
/lib/codeql/swift/elements/type/OpenedArchetypeType.qll linguist-generated
/lib/codeql/swift/elements/type/OptionalType.qll linguist-generated
/lib/codeql/swift/elements/type/PackArchetypeType.qll linguist-generated
/lib/codeql/swift/elements/type/PackElementType.qll linguist-generated
@@ -652,6 +652,8 @@
/lib/codeql/swift/elements/type/internal/EnumTypeImpl.qll linguist-generated
/lib/codeql/swift/elements/type/internal/ErrorTypeConstructor.qll linguist-generated
/lib/codeql/swift/elements/type/internal/ErrorTypeImpl.qll linguist-generated
/lib/codeql/swift/elements/type/internal/ExistentialArchetypeTypeConstructor.qll linguist-generated
/lib/codeql/swift/elements/type/internal/ExistentialArchetypeTypeImpl.qll linguist-generated
/lib/codeql/swift/elements/type/internal/ExistentialMetatypeTypeConstructor.qll linguist-generated
/lib/codeql/swift/elements/type/internal/ExistentialMetatypeTypeImpl.qll linguist-generated
/lib/codeql/swift/elements/type/internal/ExistentialTypeConstructor.qll linguist-generated
@@ -675,8 +677,6 @@
/lib/codeql/swift/elements/type/internal/NominalOrBoundGenericNominalTypeImpl.qll linguist-generated
/lib/codeql/swift/elements/type/internal/OpaqueTypeArchetypeTypeConstructor.qll linguist-generated
/lib/codeql/swift/elements/type/internal/OpaqueTypeArchetypeTypeImpl.qll linguist-generated
/lib/codeql/swift/elements/type/internal/OpenedArchetypeTypeConstructor.qll linguist-generated
/lib/codeql/swift/elements/type/internal/OpenedArchetypeTypeImpl.qll linguist-generated
/lib/codeql/swift/elements/type/internal/OptionalTypeConstructor.qll linguist-generated
/lib/codeql/swift/elements/type/internal/OptionalTypeImpl.qll linguist-generated
/lib/codeql/swift/elements/type/internal/PackArchetypeTypeConstructor.qll linguist-generated
@@ -993,6 +993,7 @@
/lib/codeql/swift/generated/type/ElementArchetypeType.qll linguist-generated
/lib/codeql/swift/generated/type/EnumType.qll linguist-generated
/lib/codeql/swift/generated/type/ErrorType.qll linguist-generated
/lib/codeql/swift/generated/type/ExistentialArchetypeType.qll linguist-generated
/lib/codeql/swift/generated/type/ExistentialMetatypeType.qll linguist-generated
/lib/codeql/swift/generated/type/ExistentialType.qll linguist-generated
/lib/codeql/swift/generated/type/FunctionType.qll linguist-generated
@@ -1007,7 +1008,6 @@
/lib/codeql/swift/generated/type/NominalOrBoundGenericNominalType.qll linguist-generated
/lib/codeql/swift/generated/type/NominalType.qll linguist-generated
/lib/codeql/swift/generated/type/OpaqueTypeArchetypeType.qll linguist-generated
/lib/codeql/swift/generated/type/OpenedArchetypeType.qll linguist-generated
/lib/codeql/swift/generated/type/OptionalType.qll linguist-generated
/lib/codeql/swift/generated/type/PackArchetypeType.qll linguist-generated
/lib/codeql/swift/generated/type/PackElementType.qll linguist-generated
@@ -1190,6 +1190,7 @@
/test/extractor-tests/generated/type/DictionaryType/MISSING_SOURCE.txt linguist-generated
/test/extractor-tests/generated/type/DynamicSelfType/DynamicSelfType.ql linguist-generated
/test/extractor-tests/generated/type/EnumType/MISSING_SOURCE.txt linguist-generated
/test/extractor-tests/generated/type/ExistentialArchetypeType/ExistentialArchetypeType.ql linguist-generated
/test/extractor-tests/generated/type/ExistentialMetatypeType/MISSING_SOURCE.txt linguist-generated
/test/extractor-tests/generated/type/ExistentialType/ExistentialType.ql linguist-generated
/test/extractor-tests/generated/type/FunctionType/MISSING_SOURCE.txt linguist-generated
@@ -1201,7 +1202,6 @@
/test/extractor-tests/generated/type/MetatypeType/MISSING_SOURCE.txt linguist-generated
/test/extractor-tests/generated/type/ModuleType/ModuleType.ql linguist-generated
/test/extractor-tests/generated/type/OpaqueTypeArchetypeType/OpaqueTypeArchetypeType.ql linguist-generated
/test/extractor-tests/generated/type/OpenedArchetypeType/OpenedArchetypeType.ql linguist-generated
/test/extractor-tests/generated/type/OptionalType/MISSING_SOURCE.txt linguist-generated
/test/extractor-tests/generated/type/PackType/ElementArchetypeType.ql linguist-generated
/test/extractor-tests/generated/type/PackType/PackArchetypeType.ql linguist-generated

2
swift/ql/lib/codeql/swift/elements.qll generated
View File

@@ -268,6 +268,7 @@ import codeql.swift.elements.type.DynamicSelfType
import codeql.swift.elements.type.ElementArchetypeType
import codeql.swift.elements.type.EnumType
import codeql.swift.elements.type.ErrorType
import codeql.swift.elements.type.ExistentialArchetypeType
import codeql.swift.elements.type.ExistentialMetatypeType
import codeql.swift.elements.type.ExistentialType
import codeql.swift.elements.type.FunctionType
@@ -282,7 +283,6 @@ import codeql.swift.elements.type.ModuleType
import codeql.swift.elements.type.NominalOrBoundGenericNominalType
import codeql.swift.elements.type.NominalType
import codeql.swift.elements.type.OpaqueTypeArchetypeType
import codeql.swift.elements.type.OpenedArchetypeType
import codeql.swift.elements.type.OptionalType
import codeql.swift.elements.type.PackArchetypeType
import codeql.swift.elements.type.PackElementType

9
swift/ql/lib/codeql/swift/elements/type/ExistentialArchetypeType.qll generated Normal file
View File

@@ -0,0 +1,9 @@
// generated by codegen/codegen.py, do not edit
/**
* This module provides the public class `ExistentialArchetypeType`.
*/
private import internal.ExistentialArchetypeTypeImpl
import codeql.swift.elements.type.LocalArchetypeType
final class ExistentialArchetypeType = Impl::ExistentialArchetypeType;

9
swift/ql/lib/codeql/swift/elements/type/OpenedArchetypeType.qll
View File

@@ -1,9 +0,0 @@
// generated by codegen/codegen.py, do not edit
/**
* This module provides the public class `OpenedArchetypeType`.
*/
private import internal.OpenedArchetypeTypeImpl
import codeql.swift.elements.type.LocalArchetypeType
final class OpenedArchetypeType = Impl::OpenedArchetypeType;

6
swift/ql/lib/codeql/swift/elements/type/internal/OpenedArchetypeTypeConstructor.qll → swift/ql/lib/codeql/swift/elements/type/internal/ExistentialArchetypeTypeConstructor.qll generated
View File

@@ -1,14 +1,14 @@
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
/**
* This module defines the hook used internally to tweak the characteristic predicate of
* `OpenedArchetypeType` synthesized instances.
* `ExistentialArchetypeType` synthesized instances.
* INTERNAL: Do not use.
*/
private import codeql.swift.generated.Raw
/**
* The characteristic predicate of `OpenedArchetypeType` synthesized instances.
* The characteristic predicate of `ExistentialArchetypeType` synthesized instances.
* INTERNAL: Do not use.
*/
predicate constructOpenedArchetypeType(Raw::OpenedArchetypeType id) { any() }
predicate constructExistentialArchetypeType(Raw::ExistentialArchetypeType id) { any() }

8
swift/ql/lib/codeql/swift/elements/type/internal/OpenedArchetypeTypeImpl.qll → swift/ql/lib/codeql/swift/elements/type/internal/ExistentialArchetypeTypeImpl.qll generated
View File

@@ -1,16 +1,16 @@
// generated by codegen/codegen.py, remove this comment if you wish to edit this file
/**
* This module provides a hand-modifiable wrapper around the generated class `OpenedArchetypeType`.
* This module provides a hand-modifiable wrapper around the generated class `ExistentialArchetypeType`.
*
* INTERNAL: Do not use.
*/
private import codeql.swift.generated.type.OpenedArchetypeType
private import codeql.swift.generated.type.ExistentialArchetypeType
/**
* INTERNAL: This module contains the customizable definition of `OpenedArchetypeType` and should not
* INTERNAL: This module contains the customizable definition of `ExistentialArchetypeType` and should not
* be referenced directly.
*/
module Impl {
class OpenedArchetypeType extends Generated::OpenedArchetypeType { }
class ExistentialArchetypeType extends Generated::ExistentialArchetypeType { }
}

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

@@ -3140,8 +3140,8 @@ private module Impl {
none()
}
private Element getImmediateChildOfOpenedArchetypeType(
OpenedArchetypeType e, int index, string partialPredicateCall
private Element getImmediateChildOfExistentialArchetypeType(
ExistentialArchetypeType e, int index, string partialPredicateCall
) {
none()
}
@@ -3674,7 +3674,7 @@ private module Impl {
or
result = getImmediateChildOfEnumType(e, index, partialAccessor)
or
result = getImmediateChildOfOpenedArchetypeType(e, index, partialAccessor)
result = getImmediateChildOfExistentialArchetypeType(e, index, partialAccessor)
or
result = getImmediateChildOfOptionalType(e, index, partialAccessor)
or

4
swift/ql/lib/codeql/swift/generated/Raw.qll generated
View File

@@ -3859,8 +3859,8 @@ module Raw {
/**
* INTERNAL: Do not use.
*/
class OpenedArchetypeType extends @opened_archetype_type, LocalArchetypeType {
override string toString() { result = "OpenedArchetypeType" }
class ExistentialArchetypeType extends @existential_archetype_type, LocalArchetypeType {
override string toString() { result = "ExistentialArchetypeType" }
}
/**

48
swift/ql/lib/codeql/swift/generated/Synth.qll generated
View File

@@ -976,6 +976,12 @@ module Synth {
* INTERNAL: Do not use.
*/
TErrorType(Raw::ErrorType id) { constructErrorType(id) } or
/**
* INTERNAL: Do not use.
*/
TExistentialArchetypeType(Raw::ExistentialArchetypeType id) {
constructExistentialArchetypeType(id)
} or
/**
* INTERNAL: Do not use.
*/
@@ -1024,10 +1030,6 @@ module Synth {
TOpaqueTypeArchetypeType(Raw::OpaqueTypeArchetypeType id) {
constructOpaqueTypeArchetypeType(id)
} or
/**
* INTERNAL: Do not use.
*/
TOpenedArchetypeType(Raw::OpenedArchetypeType id) { constructOpenedArchetypeType(id) } or
/**
* INTERNAL: Do not use.
*/
@@ -1400,7 +1402,7 @@ module Synth {
/**
* INTERNAL: Do not use.
*/
class TLocalArchetypeType = TElementArchetypeType or TOpenedArchetypeType;
class TLocalArchetypeType = TElementArchetypeType or TExistentialArchetypeType;
/**
* INTERNAL: Do not use.
@@ -2987,6 +2989,14 @@ module Synth {
*/
TErrorType convertErrorTypeFromRaw(Raw::Element e) { result = TErrorType(e) }
/**
* INTERNAL: Do not use.
* Converts a raw element to a synthesized `TExistentialArchetypeType`, if possible.
*/
TExistentialArchetypeType convertExistentialArchetypeTypeFromRaw(Raw::Element e) {
result = TExistentialArchetypeType(e)
}
/**
* INTERNAL: Do not use.
* Converts a raw element to a synthesized `TExistentialMetatypeType`, if possible.
@@ -3061,14 +3071,6 @@ module Synth {
result = TOpaqueTypeArchetypeType(e)
}
/**
* INTERNAL: Do not use.
* Converts a raw element to a synthesized `TOpenedArchetypeType`, if possible.
*/
TOpenedArchetypeType convertOpenedArchetypeTypeFromRaw(Raw::Element e) {
result = TOpenedArchetypeType(e)
}
/**
* INTERNAL: Do not use.
* Converts a raw element to a synthesized `TOptionalType`, if possible.
@@ -4058,7 +4060,7 @@ module Synth {
TLocalArchetypeType convertLocalArchetypeTypeFromRaw(Raw::Element e) {
result = convertElementArchetypeTypeFromRaw(e)
or
result = convertOpenedArchetypeTypeFromRaw(e)
result = convertExistentialArchetypeTypeFromRaw(e)
}
/**
@@ -5729,6 +5731,14 @@ module Synth {
*/
Raw::Element convertErrorTypeToRaw(TErrorType e) { e = TErrorType(result) }
/**
* INTERNAL: Do not use.
* Converts a synthesized `TExistentialArchetypeType` to a raw DB element, if possible.
*/
Raw::Element convertExistentialArchetypeTypeToRaw(TExistentialArchetypeType e) {
e = TExistentialArchetypeType(result)
}
/**
* INTERNAL: Do not use.
* Converts a synthesized `TExistentialMetatypeType` to a raw DB element, if possible.
@@ -5803,14 +5813,6 @@ module Synth {
e = TOpaqueTypeArchetypeType(result)
}
/**
* INTERNAL: Do not use.
* Converts a synthesized `TOpenedArchetypeType` to a raw DB element, if possible.
*/
Raw::Element convertOpenedArchetypeTypeToRaw(TOpenedArchetypeType e) {
e = TOpenedArchetypeType(result)
}
/**
* INTERNAL: Do not use.
* Converts a synthesized `TOptionalType` to a raw DB element, if possible.
@@ -6800,7 +6802,7 @@ module Synth {
Raw::Element convertLocalArchetypeTypeToRaw(TLocalArchetypeType e) {
result = convertElementArchetypeTypeToRaw(e)
or
result = convertOpenedArchetypeTypeToRaw(e)
result = convertExistentialArchetypeTypeToRaw(e)
}
/**

2
swift/ql/lib/codeql/swift/generated/SynthConstructors.qll generated
View File

@@ -224,6 +224,7 @@ import codeql.swift.elements.type.internal.DynamicSelfTypeConstructor
import codeql.swift.elements.type.internal.ElementArchetypeTypeConstructor
import codeql.swift.elements.type.internal.EnumTypeConstructor
import codeql.swift.elements.type.internal.ErrorTypeConstructor
import codeql.swift.elements.type.internal.ExistentialArchetypeTypeConstructor
import codeql.swift.elements.type.internal.ExistentialMetatypeTypeConstructor
import codeql.swift.elements.type.internal.ExistentialTypeConstructor
import codeql.swift.elements.type.internal.FunctionTypeConstructor
@@ -235,7 +236,6 @@ import codeql.swift.elements.type.internal.LValueTypeConstructor
import codeql.swift.elements.type.internal.MetatypeTypeConstructor
import codeql.swift.elements.type.internal.ModuleTypeConstructor
import codeql.swift.elements.type.internal.OpaqueTypeArchetypeTypeConstructor
import codeql.swift.elements.type.internal.OpenedArchetypeTypeConstructor
import codeql.swift.elements.type.internal.OptionalTypeConstructor
import codeql.swift.elements.type.internal.PackArchetypeTypeConstructor
import codeql.swift.elements.type.internal.PackElementTypeConstructor

25
swift/ql/lib/codeql/swift/generated/type/ExistentialArchetypeType.qll generated Normal file
View File

@@ -0,0 +1,25 @@
// generated by codegen/codegen.py, do not edit
/**
* This module provides the generated definition of `ExistentialArchetypeType`.
* INTERNAL: Do not import directly.
*/
private import codeql.swift.generated.Synth
private import codeql.swift.generated.Raw
import codeql.swift.elements.type.internal.LocalArchetypeTypeImpl::Impl as LocalArchetypeTypeImpl
/**
* INTERNAL: This module contains the fully generated definition of `ExistentialArchetypeType` and should not
* be referenced directly.
*/
module Generated {
/**
* INTERNAL: Do not reference the `Generated::ExistentialArchetypeType` class directly.
* Use the subclass `ExistentialArchetypeType`, where the following predicates are available.
*/
class ExistentialArchetypeType extends Synth::TExistentialArchetypeType,
LocalArchetypeTypeImpl::LocalArchetypeType
{
override string getAPrimaryQlClass() { result = "ExistentialArchetypeType" }
}
}

25
swift/ql/lib/codeql/swift/generated/type/OpenedArchetypeType.qll
View File

@@ -1,25 +0,0 @@
// generated by codegen/codegen.py, do not edit
/**
* This module provides the generated definition of `OpenedArchetypeType`.
* INTERNAL: Do not import directly.
*/
private import codeql.swift.generated.Synth
private import codeql.swift.generated.Raw
import codeql.swift.elements.type.internal.LocalArchetypeTypeImpl::Impl as LocalArchetypeTypeImpl
/**
* INTERNAL: This module contains the fully generated definition of `OpenedArchetypeType` and should not
* be referenced directly.
*/
module Generated {
/**
* INTERNAL: Do not reference the `Generated::OpenedArchetypeType` class directly.
* Use the subclass `OpenedArchetypeType`, where the following predicates are available.
*/
class OpenedArchetypeType extends Synth::TOpenedArchetypeType,
LocalArchetypeTypeImpl::LocalArchetypeType
{
override string getAPrimaryQlClass() { result = "OpenedArchetypeType" }
}
}

6
swift/ql/lib/swift.dbscheme generated
View File

@@ -2533,7 +2533,7 @@ dictionary_types( //dir=type
@local_archetype_type =
@element_archetype_type
| @opened_archetype_type
| @existential_archetype_type
;
@nominal_type =
@@ -2596,8 +2596,8 @@ enum_types( //dir=type
unique int id: @enum_type
);
opened_archetype_types( //dir=type
unique int id: @opened_archetype_type
existential_archetype_types( //dir=type
unique int id: @existential_archetype_type
);
optional_types( //dir=type

4
swift/ql/test/extractor-tests/generated/type/OpenedArchetypeType/OpenedArchetypeType.expected → swift/ql/test/extractor-tests/generated/type/ExistentialArchetypeType/ExistentialArchetypeType.expected
View File

@@ -3,5 +3,5 @@ instances
getSuperclass
| any C & P1 & P2 | C |
getProtocol
| any C & P1 & P2 | 0 | opened_archetypes.swift:3:1:3:14 | P1 |
| any C & P1 & P2 | 1 | opened_archetypes.swift:9:1:9:14 | P2 |
| any C & P1 & P2 | 0 | existential_archetypes.swift:3:1:3:14 | P1 |
| any C & P1 & P2 | 1 | existential_archetypes.swift:9:1:9:14 | P2 |

6
swift/ql/test/extractor-tests/generated/type/OpenedArchetypeType/OpenedArchetypeType.ql → swift/ql/test/extractor-tests/generated/type/ExistentialArchetypeType/ExistentialArchetypeType.ql generated
View File

@@ -3,7 +3,7 @@ import codeql.swift.elements
import TestUtils
query predicate instances(
OpenedArchetypeType x, string getName__label, string getName, string getCanonicalType__label,
ExistentialArchetypeType x, string getName__label, string getName, string getCanonicalType__label,
Type getCanonicalType, string getInterfaceType__label, Type getInterfaceType
) {
toBeTested(x) and
@@ -16,10 +16,10 @@ query predicate instances(
getInterfaceType = x.getInterfaceType()
}
query predicate getSuperclass(OpenedArchetypeType x, Type getSuperclass) {
query predicate getSuperclass(ExistentialArchetypeType x, Type getSuperclass) {
toBeTested(x) and not x.isUnknown() and getSuperclass = x.getSuperclass()
}
query predicate getProtocol(OpenedArchetypeType x, int index, ProtocolDecl getProtocol) {
query predicate getProtocol(ExistentialArchetypeType x, int index, ProtocolDecl getProtocol) {
toBeTested(x) and not x.isUnknown() and getProtocol = x.getProtocol(index)
}

0
swift/ql/test/extractor-tests/generated/type/OpenedArchetypeType/opened_archetypes.swift → swift/ql/test/extractor-tests/generated/type/ExistentialArchetypeType/existential_archetypes.swift
View File