Rust: expand Pat in documentation

This commit is contained in:
Paolo Tranquilli
2024-12-02 08:12:57 +01:00
parent 824aab884a
commit 5d3c9d050d
26 changed files with 151 additions and 150 deletions

View File

@@ -64,6 +64,7 @@ abbreviations = {
"int": "integer",
"var": "variable",
"ref": "reference",
"pat": "pattern",
}
abbreviations.update({f"{k}s": f"{v}s" for k, v in abbreviations.items()})

View File

@@ -1,4 +1,4 @@
lib/codeql/rust/controlflow/internal/generated/CfgNodes.qll a8e083c7d8c4dea6459c5e128e2123f5cf8fd14c076f2256ebda508c13d553cd 16fcc0d34097b0b37a0041281515ca028d2702eec6d9c1d03c39a1158883bdef
lib/codeql/rust/controlflow/internal/generated/CfgNodes.qll 887973c72a965f16031c21b35c5633a820bfa232d20dfbb478305c241ecbfdf7 40345db7ab0ada4e9920b2b154d1737cf5422ccfe9b8282192b86b351185fe5a
lib/codeql/rust/elements/Abi.qll 4c973d28b6d628f5959d1f1cc793704572fd0acaae9a97dfce82ff9d73f73476 250f68350180af080f904cd34cb2af481c5c688dc93edf7365fd0ae99855e893
lib/codeql/rust/elements/Addressable.qll 13011bfd2e1556694c3d440cc34af8527da4df49ad92b62f2939d3699ff2cea5 ddb25935f7553a1a384b1abe2e4b4fa90ab50b952dadec32fd867afcb054f4be
lib/codeql/rust/elements/ArgList.qll 661f5100f5d3ef8351452d9058b663a2a5c720eea8cf11bedd628969741486a2 28e424aac01a90fb58cd6f9f83c7e4cf379eea39e636bc0ba07efc818be71c71
@@ -426,7 +426,7 @@ lib/codeql/rust/elements/internal/generated/AwaitExpr.qll 1d71af702a1f397fb231fa
lib/codeql/rust/elements/internal/generated/BecomeExpr.qll 7a211b785a4a2f961242d1d73fd031d381aad809f7b600ce7f7f864518bb7242 17a0388680007871748cfdc6621f700a7c2817b9601e1bd817fb48561e7c63ad
lib/codeql/rust/elements/internal/generated/BinaryExpr.qll 64e9bd9c571edd6e5f3e7662b956b1d87fa0354ce6fe95da9caf25ac16b66c68 3fca09fdbe879db2ca3293618896a462e96376a2963d15cce3d5b1baac552fcb
lib/codeql/rust/elements/internal/generated/BlockExpr.qll 5a5ddbe34bc478a7bd9b0d07d3b6f017c2d1f20581d859251a963314e6514d1f 9804c30b8b279038b864c52557535f854bd012bacdfe8e5840f1f777c74e52df
lib/codeql/rust/elements/internal/generated/BoxPat.qll ec946a3e671ab7417e04b0207967adad004df512c570c4f0780ca5816d12d75f b0e64860855c4e85914042b1a51034899ff7cd1b2c6857188de89310a2726ea3
lib/codeql/rust/elements/internal/generated/BoxPat.qll 597bed52f7489e0addce3266f7bee5be7c53d2d1263eceec3a252d041ca0908f b8ccf363ca5f1a988547caf1fd266a55aec7cbf8623578deea99765d264b0151
lib/codeql/rust/elements/internal/generated/BreakExpr.qll 0f428a8b2f4209b134c2ffc3e1c93c30bc6b0e9c9172f140cefa88c1f77d8690 957b39f38ff6befe9061f55bc0b403c2f1c366dd0cf63b874bae6f8216576d76
lib/codeql/rust/elements/internal/generated/CallExpr.qll f1b8dae487077cc9d1dccf8c3cd61fd17afe860585f17ce8b860be4859be7ca4 6034fc03778e38802cdf3a6e460364b74e92912622581b31e6179951022bbbd6
lib/codeql/rust/elements/internal/generated/CallExprBase.qll cce796e36847249f416629bacf3ea146313084de3374587412e66c10d2917b83 c219aa2174321c161a4a742ca0605521687ca9a5ca32db453a5c62db6f7784cc
@@ -437,7 +437,7 @@ lib/codeql/rust/elements/internal/generated/ClosureExpr.qll 70bb3d961e4dc62ad2c9
lib/codeql/rust/elements/internal/generated/Comment.qll cd1ef861e3803618f9f78a4ac00516d50ecfecdca1c1d14304dc5327cbe07a3b 8b67345aeb15beb5895212228761ea3496297846c93fd2127b417406ae87c201
lib/codeql/rust/elements/internal/generated/Const.qll 40464df9d8baacbc85bd137c7d1661684c957c407b2363ea60d90946be93de4c a3316beae55f570a5ca4b1172ef8267d7acb1104cc7a5e9efc58d9fc8224500f
lib/codeql/rust/elements/internal/generated/ConstArg.qll e2451cac6ee464f5b64883d60d534996fcff061a520517ac792116238a11e185 1dd6d4b073b0970448a52bbe2468cd160dfe108971dbf9ae9305900bd22ef146
lib/codeql/rust/elements/internal/generated/ConstBlockPat.qll a425a7fd216d35f17a7ff239d431b349721f71f2e52722325755f43df2bb9886 a9aa37ee4f8c9d44ae49c807ac48d5a8a22f7d7d0ae2968ab50371a418ccc48a
lib/codeql/rust/elements/internal/generated/ConstBlockPat.qll 7526d83ee9565d74776f42db58b1a2efff6fb324cfc7137f51f2206fee815d79 0ab3c22908ff790e7092e576a5df3837db33c32a7922a513a0f5e495729c1ac5
lib/codeql/rust/elements/internal/generated/ConstParam.qll 26f838dbbd7659cdbf464c2107304b66ad0fbd43370d6b649373c3b9fa4f6576 c658951ba92b919278fa445cd66c3b694f42d76bde49daa50a3128e5d44f647a
lib/codeql/rust/elements/internal/generated/ContinueExpr.qll e2010feb14fb6edeb83a991d9357e50edb770172ddfde2e8670b0d3e68169f28 48d09d661e1443002f6d22b8710e22c9c36d9daa9cde09c6366a61e960d717cb
lib/codeql/rust/elements/internal/generated/DynTraitType.qll da9dce6347ce385d7468986cf6960b4a6787f017ff5632612a7216ed62bdc9c9 9d0b37221674b597a21bfacbdfc7e08b54381a6adacfe544df154481cd562ed8
@@ -452,7 +452,7 @@ lib/codeql/rust/elements/internal/generated/ExternItemList.qll 6bc97fdae6c411cab
lib/codeql/rust/elements/internal/generated/FieldExpr.qll 3e506b5cb93793ec30f56bb637a600db869fcba6181b068516a671d55c362739 7bbf953696d763ad6b210f378f487ba85b875fa115b22c0c0508599a63633502
lib/codeql/rust/elements/internal/generated/FieldList.qll 43c13c6e3c9ba75a7a4cb870fc4f18752001584d48b9df0734055a6ebb789331 7c51b0b13eb02f1286d3365e53a976ba2655c4dbd8e735bc11c8b205c829e1ee
lib/codeql/rust/elements/internal/generated/FnPtrType.qll 748d766dbefd19a7d644734c57885eeede66897029bbfe1b87919517f43bfde2 5a7d80acc00e56594ed85026a8ea4923104d2e98c2e42db8c5bcd32ddd164e48
lib/codeql/rust/elements/internal/generated/ForExpr.qll d81751e9599874a1292a0aace80b2de60ab36fc43f74ec08fbdfe044fc19e5c1 34a64586f8ffbadd44d0e747f69ab550a16149b658a9c92d9593689cb9a4f6fc
lib/codeql/rust/elements/internal/generated/ForExpr.qll 6c1838d952be65acaa9744736e73d9bfdcf58d7b392394223bf6fbfdcc172906 44237a248a5aa326a2544e84bc77f536f118f57a98c51562b71ddc81edfcccb8
lib/codeql/rust/elements/internal/generated/ForType.qll 3d43d044a1189281f09c55caafb6c8020a836f49e2866077086101925a573cf2 646b59bfd1b428aaf7211f574c49f79cb4c6a79ca151aa0663b2b31480298721
lib/codeql/rust/elements/internal/generated/Format.qll df7ef61e6ba61fa0eb093f8e6b3e7a0329104e03f659c9507db9535b8b4ea759 ef8ddd98405fc84938ad8cd5f87d2858e01d06a6bb00566a785a984b60a79dc6
lib/codeql/rust/elements/internal/generated/FormatArgsArg.qll e07a1ae310f590003f1b88fada7dcf4847c99adb9d4c838d1c88e66e1da85c5f 0ef7342451fe2cb06e765fb4b33bb8c4a9b927f5edbc8feb5c6ba3655697f447
@@ -464,7 +464,7 @@ lib/codeql/rust/elements/internal/generated/GenericArg.qll 464da0ba1c5ddcd1be686
lib/codeql/rust/elements/internal/generated/GenericArgList.qll b8cd936bba6f28344e28c98acf38acb8ef43af6ecf8367d79ed487e5b9da17cb 8b14331261e49d004807285b02fca190aafd62bfb9378b05c7d9c1e95525fe7b
lib/codeql/rust/elements/internal/generated/GenericParam.qll a0285123f974f287154b706bf6688b86edf72a4adcec57346c654d962435651b b42c3915e9564b5b5c5282229bf882aa3309de26a77721b2255d6f4235c0cc38
lib/codeql/rust/elements/internal/generated/GenericParamList.qll f2d8945bc70cda6929bb6b652f9e3c7707e73fb5e778b21e99dbac594e71285f 7b97da5b6a6504377456bedebddc293d714f90e8fc2ce64199656666d5f749af
lib/codeql/rust/elements/internal/generated/IdentPat.qll a1269182132b2f52c5d842e58cbfa1cee49b143fa3766ed9fcf65389bf5137eb 46009fa66065222d865fa4714dd16c0373ffb16d576da45e7bf3a06432bd3a23
lib/codeql/rust/elements/internal/generated/IdentPat.qll 1fe5061759848fdc9588b27606efb1187ce9c13d12ad0a2a19666d250dd62db3 87dbc8b88c31079076a896b48e0c483a600d7d11c1c4bf266581bdfc9c93ae98
lib/codeql/rust/elements/internal/generated/IfExpr.qll 413dd7a20c6b98c0d2ad2e5b50981c14bf96c1a719ace3e341d78926219a5af7 c9a2d44e3baa6a265a29a683ca3c1683352457987c92f599c5771b4f3b4bafff
lib/codeql/rust/elements/internal/generated/Impl.qll e33ef5d3e49e64beca0ca9d5c0ba972d99007e5011eeedc11e67d3fbb569ab4a 5c5d88110864f4fd3d966b1ad973eaabd7a9c5a07adc18bff01dc09395214825
lib/codeql/rust/elements/internal/generated/ImplTraitType.qll 3c29684f5ef386b883b79dc9758441d97f090e065be177ffc8240aaf0f3d1e7b 03ea42c2a95cf917ec73d88b7b4ca5e53e10d7b046074f59100c0ec6c2c1ed6d
@@ -475,13 +475,13 @@ lib/codeql/rust/elements/internal/generated/ItemList.qll 73c8398a96d4caa47a2dc11
lib/codeql/rust/elements/internal/generated/Label.qll 6630fe16e9d2de6c759ff2684f5b9950bc8566a1525c835c131ebb26f3eea63e 671143775e811fd88ec90961837a6c0ee4db96e54f42efd80c5ae2571661f108
lib/codeql/rust/elements/internal/generated/LabelableExpr.qll 896fd165b438b60d7169e8f30fa2a94946490c4d284e1bbadfec4253b909ee6c 5c6b029ea0b22cf096df2b15fe6f9384ad3e65b50b253cae7f19a2e5ffb04a58
lib/codeql/rust/elements/internal/generated/LetElse.qll 7ca556118b5446bfc85abba8f0edd4970e029b30d414ea824a1b5f568310a76c a403540881336f9d0269cbcdb4b87107a17ab234a985247dc52a380f150a1641
lib/codeql/rust/elements/internal/generated/LetExpr.qll 6f831be1d0f76258d5f74c847636e070a819dee5aa090be0c52a971f261eaff3 e85a48e7492862f738e184f5f1512c2d18d33a0cfb516e269334acf7448b508a
lib/codeql/rust/elements/internal/generated/LetStmt.qll aa1852db86ec29f857a90677f0c6b4a07f0fd965fc193d4141be95ce15862fca 40f32a37c0cc161b099fe0b4c7d713da928781d3e2c3de90db991df1d9062647
lib/codeql/rust/elements/internal/generated/LetExpr.qll 5983b8e1a528c9ad57932a54eb832d5bcf6307b15e1d423ffa2402e8a5d8afa4 8a6affdc42de32aa1bfc93002352227fc251540304765e53967bab6e4383f4ae
lib/codeql/rust/elements/internal/generated/LetStmt.qll f90b0ce18f33cbdba7599fd9ea9ad5064f6a24e8975cd47f47994295dc31b4cf 5c9900ce272bc6a45841ea08156cbcbbfa66e94de141c57d167f7e14d53ec65a
lib/codeql/rust/elements/internal/generated/Lifetime.qll 90d01c76188ce0c053122c62b41e47f27c4c7717ca5a4999a76797360043da0d 7b9feb202da5a06cd17f7770bb66742fd9e7cff0d410fefc7ffaafe710ac16d6
lib/codeql/rust/elements/internal/generated/LifetimeArg.qll 7c1a44e3d480e75142b171eb51382c9492d393043833c0ab4a4036eba19043b8 7d8273b62794268dab6938ba1e3a3560a80a2c49cd9a9717345785dacd311059
lib/codeql/rust/elements/internal/generated/LifetimeParam.qll bcbde38bfb99034e470634dbd32c0df34c40e1e531e2d235b7ef29c0b66f8a56 1fd15bbaa1dbc521b2ee4bf0bc1009c411aff15eac07c0842ed9883d9a291669
lib/codeql/rust/elements/internal/generated/LiteralExpr.qll f3a564d0a3ed0d915f5ab48e12246777e4972ad987cd9deaafeb94cf407b2877 2337c3d5f60361bd10f6aeca301e88255f5dffb85301cf36cbbfa1a65bfad1cd
lib/codeql/rust/elements/internal/generated/LiteralPat.qll ecc2bfe559abfce1be873fbf7b61b5728897c9afc3bb3f69551d8320d273da71 42196fb6a4a0ff9b570fd0bdbc920f24744b3f46772efbb46648af7fbfe1fbda
lib/codeql/rust/elements/internal/generated/LiteralPat.qll f36b09cf39330019c111eeaf7255ce3240178342d0ddaace59dbfee760aa4dbb d58667cf4aa0952450957f340696cb2fd22587206986c209234162c72bdb9d9a
lib/codeql/rust/elements/internal/generated/Locatable.qll c897dc1bdd4dfcb6ded83a4a93332ca3d8f421bae02493ea2a0555023071775e b32d242f8c9480dc9b53c1e13a5cb8dcfce575b0373991c082c1db460a3e37b8
lib/codeql/rust/elements/internal/generated/LoopExpr.qll db6bc87e795c9852426ec661fa2c2c54106805897408b43a67f5b82fb4657afd 1492866ccf8213469be85bbdbcae0142f4e2a39df305d4c0d664229ecd1ebdb9
lib/codeql/rust/elements/internal/generated/LoopingExpr.qll 0792c38d84b8c68114da2bbdfef32ef803b696cb0fd06e10e101756d5c46976c 111fe961fad512722006323c3f2a075fddf59bd3eb5c7afc349835fcec8eb102
@@ -489,11 +489,11 @@ lib/codeql/rust/elements/internal/generated/MacroCall.qll fc8988696493992cc4fdce
lib/codeql/rust/elements/internal/generated/MacroDef.qll e9b3f07ba41aa12a8e0bd6ec1437b26a6c363065ce134b6d059478e96c2273a6 87470dea99da1a6afb3a19565291f9382e851ba864b50a995ac6f29589efbd70
lib/codeql/rust/elements/internal/generated/MacroExpr.qll 03a1daa41866f51e479ac20f51f8406d04e9946b24f3875e3cf75a6b172c3d35 1ae8ca0ee96bd2be32575d87c07cc999a6ff7770151b66c0e3406f9454153786
lib/codeql/rust/elements/internal/generated/MacroItems.qll 894890f61e118b3727d03ca813ae7220a15e45195f2d1d059cb1bba6802128c8 db3854b347f8782a3ec9f9a1439da822727b66f0bd33727383184ab65dbf29ac
lib/codeql/rust/elements/internal/generated/MacroPat.qll 9e927e09d47029a3025eaad271c975e73479a80ea933c921381b6c9d751f2866 bdf5c58ca27743eb2e2dae2aeea3f3fc21f8a4f98fe1001598876455c88e8f69
lib/codeql/rust/elements/internal/generated/MacroPat.qll 26bc55459a66359ad83ed7b25284a25cdbd48a868fd1bbf7e23e18b449395c43 f16ede334becba951873e585c52a3a9873c9251e3dab9a3c1a1681f632f2079f
lib/codeql/rust/elements/internal/generated/MacroRules.qll 4fbd94f22b5ee0f3e5aaae39c2b9a5e9b7bf878a1017811ca589942f6de92843 49fb69543ee867bae196febea6918e621f335afdf4d3ccbf219965b37c7537b1
lib/codeql/rust/elements/internal/generated/MacroStmts.qll cb4f3c2721a4d0c8522e51f567c675f4fc95f39bac8a2bd97e125d5553515ad2 09b5a739ccee75e6c556b34ecd6f78c7dc799029d9bc7df2e6169098d24f0ccd
lib/codeql/rust/elements/internal/generated/MacroType.qll c462824df4a002956c036966d15cd0bce206e664888f8d0c7834dedb38b3c0bf 947480f07c40128ef3d00ad4c3a29a685472b3e20a661680c22f6bb318205ed1
lib/codeql/rust/elements/internal/generated/MatchArm.qll 8fb740a0f2e308782d9cf390672969cd7cf6e698e5b847fb02ae3fa6c205646f 42bfe8dd94fc24ec925fbd44016df111600f99d1216c9a698631373bb6048830
lib/codeql/rust/elements/internal/generated/MatchArm.qll f8c4c955c50f8398159c492d9d0a74f7b71e9510fcb8a3aab1d06e0f7e15b263 713939c7ef77ca73d95788096163c26213ab49f34ed41c6f4bc09a1ef9607b0d
lib/codeql/rust/elements/internal/generated/MatchArmList.qll 13362680c037fe83fef4653562cc10a4429078316b5ec7c47b076336cf4aca2e 41c674293c13eceaca62134ae0c6778541f6a5201cbc5c146f0ba01b898dc267
lib/codeql/rust/elements/internal/generated/MatchExpr.qll b686842e7000fd61e3a0598bf245fb4e18167b99eca9162fdfdff0b0963def22 00f1743b1b0f1a92c5a687f5260fda02d80cc5871694cad0d5e7d94bac7fe977
lib/codeql/rust/elements/internal/generated/MatchGuard.qll 521a507883963106780f1782084c581fbcf1179863c7c15438c4db79e30e78dd 6226feffaaa8d828a42ece0c693e616cd375672eb987c3b7ff1ca15fa23c116a
@@ -505,46 +505,46 @@ lib/codeql/rust/elements/internal/generated/Name.qll 12aad57744b7d1b044541595364
lib/codeql/rust/elements/internal/generated/NameRef.qll 4292fc7aa9ba22a7fa5bd638c38f696cc6724d8ed5e7346e7c5a52c4e4b65eec dfa8c3d4b521e43b76b18666d3d32d159c21b7b194285bac425df681544d269f
lib/codeql/rust/elements/internal/generated/NeverType.qll 14dd3c08db1db873b365fc7f0d1cf3f5d6229b1f78bc85100c36c22d1bb8ee40 34257df0ac59cfd982ea5f30ab225c8bfece71d9fd3be84ff79cf1b0bff55060
lib/codeql/rust/elements/internal/generated/OffsetOfExpr.qll bb17a1e1d4332225cf4bbbae4a1bab9302c2d81d191fe835f2f973915d40dd2a f9e73210b81992040a5a5a9ac3ad936159fb3475445f130c7b28f83dfb4170f5
lib/codeql/rust/elements/internal/generated/OrPat.qll ee0487b90849c3e2a836c956ae8837f27515a9dc795bf17287cba2cf7a39d839 35117b6a3dcebab09f12665441332b6863200e206679ee97894170dd9ef7795c
lib/codeql/rust/elements/internal/generated/Param.qll 4f853cece9ca8d41ef41ff7656a7f291568f1218403bebcd8afbf07e93fab6bf 93a1372f1d129b83470aa0dc481f46649771d1f5b72b114f215a51514ddd641a
lib/codeql/rust/elements/internal/generated/OrPat.qll 0dc6bd6ada8d11b7f708f71c8208fc2c28629e9c265c3df3c2dc9bea30de5afa 892119fc1de2e3315489203c56ee3ed3df8b9806e927ee58aa6083e5b2156dab
lib/codeql/rust/elements/internal/generated/Param.qll 19f03396897c1b7b494df2d0e9677c1a2fc6d4ae190e64e5be51145aba9de2e2 3d63116e70457226ea7488a9f6ed9c7cea3233b0e5cab443db9566c17b125e80
lib/codeql/rust/elements/internal/generated/ParamBase.qll 9d9a82643019d2a13f28555dbdd60221cf6dc2e890f6541e7f85a91646585f2c 0e4a3e4c0e069a43d449167cb706c6f5d0d097b4cab2a7ade84c2c1b5528eca7
lib/codeql/rust/elements/internal/generated/ParamList.qll c808c9d84dd7800573832b63a2ca5296b5506bffdeea054893a56cde08f91560 d4599c52231f93e1260fbae7de8891fe4287fa68b1423592b7a1d51c80146dc8
lib/codeql/rust/elements/internal/generated/ParenExpr.qll bc0731505bfe88516205ec360582a4222d2681d11342c93e15258590ddee82f2 d4bd6e0c80cf1d63746c88d4bcb3a01d4c75732e5da09e3ebd9437ced227fb60
lib/codeql/rust/elements/internal/generated/ParenPat.qll ce24b8f8ecbf0f204af200317405724063887257460c80cf250c39b2fdf37185 e7c87d37e1a0ca7ea03840017e1aa9ddb7f927f1f3b6396c0305b46aeee33db6
lib/codeql/rust/elements/internal/generated/ParenPat.qll 4f168ef5d5bb87a903251cc31b2e44a759b099ec69c90af31783fbb15778c940 0e34f94a45a13396fd57d94c245dc64d1adde2ab0e22b56946f7e94c04e297fc
lib/codeql/rust/elements/internal/generated/ParenType.qll 9cc954d73f8330dcac7b475f97748b63af5c8766dee9d2f2872c0a7e4c903537 c07534c8a9c683c4a9b11d490095647e420de0a0bfc23273eaf6f31b00244273
lib/codeql/rust/elements/internal/generated/ParentChild.qll db7a782f11a14305acc666c865118475e2d324d2bf5d4110b157e1d488b62b75 3b5d31528d0baa0ceee139097e93461d18503797a1507288dc43428f378500e2
lib/codeql/rust/elements/internal/generated/Pat.qll 3605ac062be2f294ee73336e9669027b8b655f4ad55660e1eab35266275154ee 7f9400db2884d336dd1d21df2a8093759c2a110be9bf6482ce8e80ae0fd74ed4
lib/codeql/rust/elements/internal/generated/Path.qll 4c1c8e840ed57880e574142b081b11d7a7428a009f10e3aa8f4645e211f6b2e0 989668cf0f1bdee7557e2f97c01e41d2a56848227fed41477833f5fc1e1d35f6
lib/codeql/rust/elements/internal/generated/PathExpr.qll 2096e3c1db22ee488a761690adabfc9cfdea501c99f7c5d96c0019cb113fc506 54245ce0449c4e263173213df01e079d5168a758503a5dbd61b25ad35a311140
lib/codeql/rust/elements/internal/generated/PathExprBase.qll d8218e201b8557fa6d9ca2c30b764e5ad9a04a2e4fb695cc7219bbd7636a6ac2 4ef178426d7095a156f4f8c459b4d16f63abc64336cb50a6cf883a5f7ee09113
lib/codeql/rust/elements/internal/generated/PathPat.qll 98c9938d6a359fd717829b196eb09701d2c798e18c1f43fa7b2a9145afdf6c19 caba2e629cae08682baac90a76ae9a48cda2d7d6f9c23d506fa0ff3f292978a4
lib/codeql/rust/elements/internal/generated/PathPat.qll 4ef7e7e81257956f9ac947dad8801fb4e0daf039b495ab5ae54c72d51416732c ca0e6e58153d3aa319d5a01858bc5518a0eda2a20adeba9430bd0b91b2bc9c37
lib/codeql/rust/elements/internal/generated/PathSegment.qll 0fa07886deb0fc4d909d7edf691238a344f2739900aafb168cbac171eb1729a8 8f4bb418d8bea5e40128a87977c57d0a9183d06d111601ad93130c8615c11465
lib/codeql/rust/elements/internal/generated/PathType.qll df6fd322ba0d99d6cb315edce8dbf099b661b84fdfcc3ad629fdd1fd066c1986 e11c8615cd7b02034b47b58f30a7b6fcbc6d33ec53303288dfd34d9a25f5a186
lib/codeql/rust/elements/internal/generated/PrefixExpr.qll c9ede5f2deb7b41bc8240969e8554f645057018fe96e7e9ad9c2924c8b14722b 5ae2e3c3dc8fa73e7026ef6534185afa6b0b5051804435d8b741dd3640c864e1
lib/codeql/rust/elements/internal/generated/PtrType.qll 40099c5a4041314b66932dfd777c9e2bef90a0711fb8d7c2c2cec764c003ac4a cf8297d93557356a572223d3e8acca701837c4b1f54e8d4351ba195fb7ed27f8
lib/codeql/rust/elements/internal/generated/PureSynthConstructors.qll ea294a3ba33fd1bc632046c4fedbcb84dcb961a8e4599969d65893b19d90e590 ea294a3ba33fd1bc632046c4fedbcb84dcb961a8e4599969d65893b19d90e590
lib/codeql/rust/elements/internal/generated/RangeExpr.qll 23cca03bf43535f33b22a38894f70d669787be4e4f5b8fe5c8f7b964d30e9027 18624cef6c6b679eeace2a98737e472432e0ead354cca02192b4d45330f047c9
lib/codeql/rust/elements/internal/generated/RangePat.qll efd93730de217cf50dcba5875595263a5eadf9f7e4e1272401342a094d158614 229b251b3d118932e31e78ac4dfb75f48b766f240f20d436062785606d44467b
lib/codeql/rust/elements/internal/generated/Raw.qll 7de290d66bd594f4c5b5a296502792e803e9f1084bb2616d9774196e33b16c87 28150fdd3cff3bb49b407f0c2119602be13e78cbb1f8fd749edd31f5d9772f7a
lib/codeql/rust/elements/internal/generated/RangePat.qll 80826a6a6868a803aa2372e31c52a03e1811a3f1f2abdb469f91ca0bfdd9ecb6 34ee1e208c1690cba505dff2c588837c0cd91e185e2a87d1fe673191962276a9
lib/codeql/rust/elements/internal/generated/Raw.qll 3405505e8ed606440b0b682f2e8102b3697ca5f0fc72529e383ec0fa15f725de b819c0cde5c556c0c4cb376ecf104cfda3781bc83cd5087e6b4936bd7c424175
lib/codeql/rust/elements/internal/generated/RecordExpr.qll eb6cb662e463f9260efae1a6ce874fa781172063b916ef1963f861e9942d308d 1a21cbccc8f3799ff13281e822818ebfb21d81591720a427cac3625512cb9d40
lib/codeql/rust/elements/internal/generated/RecordExprField.qll 7e9f8663d3b74ebbc9603b10c9912f082febba6bd73d344b100bbd3edf837802 fbe6b578e7fd5d5a6f21bbb8c388957ab7210a6a249ec71510a50fb35b319ea1
lib/codeql/rust/elements/internal/generated/RecordExprFieldList.qll 179a97211fe7aa6265085d4d54115cdbc0e1cd7c9b2135591e8f36d6432f13d3 dd44bbbc1e83a1ed3a587afb729d7debf7aeb7b63245de181726af13090e50c0
lib/codeql/rust/elements/internal/generated/RecordField.qll 9f7840e1a2a194d5ed1d5201ab483eb01129849d49392581e0328bbc0934305c 0e019b5b8fe91bc96c7c07933c766d8a09c066d48ed96f24ae3dad303c00585e
lib/codeql/rust/elements/internal/generated/RecordFieldList.qll d7bb2677338cf420b0d6371aeec781aacc2272c73413ea96b7418177ad149fb9 5ef52074b9f4ec31e7422b70efdb2e650d673b2625efdfec18a4e48c30e35cf6
lib/codeql/rust/elements/internal/generated/RecordPat.qll f5f9904fcd8b8fa5fe65b46a68f830021a5e4a68f95ff403151565c3ec770477 56294ed2ff753d8be7742a501b15b5f3f5f20afe0f8171ee6771d049f26489e4
lib/codeql/rust/elements/internal/generated/RecordPatField.qll f17b1aa265091fd8309fd90d5c3822d170870e304f160225327de5a844a9aed4 0458e39dbe88060b4b664692cf0b41ebf4364de268d9417658c14c883c9c1b33
lib/codeql/rust/elements/internal/generated/RecordPatFieldList.qll 08d4740bbb519f15ab20b694b3c45e396a2a59cce0f68fa4b9698348784cae43 99919809607ae61c707f591ee609c50bcfb90d5b4f9c263f6b8e78658d21b605
lib/codeql/rust/elements/internal/generated/RecordPat.qll 6a440e2c31ff8ccccc9cc03e3464e3916db637559c43cbbf7915ced5d31ceb5b eb46cf20cfe8d612d2222bea8535922a458ebe1f9e10db1a5afd6954a420a1f6
lib/codeql/rust/elements/internal/generated/RecordPatField.qll 5bf624d22903fb874e6d03541cf453493badd382b6910ce950ad0d34dd580e9a b9ec89b69a58b9c418405efa9b0e6ee7b07616f5696a0858583a339d657b5855
lib/codeql/rust/elements/internal/generated/RecordPatFieldList.qll a6db0cdcc3da667c52862ed940597d899383ccf2bda9bb3f62b8ce9f48119307 99fe972c80db8f28e2a6f56cf2a11c98183244229da117320cc86c7ade62bd0b
lib/codeql/rust/elements/internal/generated/RefExpr.qll 7d995884e3dc1c25fc719f5d7253179344d63650e217e9ff6530285fe7a57f64 f2c3c12551deea4964b66553fb9b6423ee16fec53bd63db4796191aa60dc6c66
lib/codeql/rust/elements/internal/generated/RefPat.qll 5c4d908f851d89f42cf765007c46ac4199200f9b997f368d5b0e2a435efa82cd 42fd637bc98b5a9275386f1c5fb3ae8c4681987289a89b060991416a25131306
lib/codeql/rust/elements/internal/generated/RefPat.qll 456ede39837463ee22a630ec7ab6c8630d3664a8ea206fcc6e4f199e92fa564c 5622062765f32930465ba6b170e986706f159f6070f48adee3c20e24e8df4e05
lib/codeql/rust/elements/internal/generated/RefType.qll 3603a3e000acc25c5e675bd4bc4a5551b8f63851591e1e9247709e48d1769dc5 91bea4a1d5ef0779d575567253cd007157d3982524e63a7c49c5cae85cb42e5f
lib/codeql/rust/elements/internal/generated/Rename.qll d23f999dab4863f9412e142756f956d79867a3579bd077c56993bdde0a5ac2f1 9256c487d3614bf3d22faa294314f490cf312ab526b8de0882e3a4a371434931
lib/codeql/rust/elements/internal/generated/Resolvable.qll c038fa24b121ee3e7f6060bce639e7483ea1a14bb552e459b6c67663732dfd6c 4025f2ef318793913e6cfc5d8984e538f402bc062865dcb5496563bec64a2ea9
lib/codeql/rust/elements/internal/generated/RestPat.qll b3a4206e68cf67a0310a466721e7c4b3ab855e65490d589d3d856ad333b3d5e8 30b471bec377784f61d73ef93e74fc0dcec7f512ac4b8791d1ca65f2bcea14b8
lib/codeql/rust/elements/internal/generated/RestPat.qll 234bbaa8aa37962c9138baf5b1f4406c3d78f4131b4b8dbb30fc1343d15873d5 653ee6bea4d3cf9454b2834bc4233a8f275295f19635c37a0bca69a587e1eb20
lib/codeql/rust/elements/internal/generated/RetType.qll a26860cd526b339b9527c089d126c5486e678dd080e88c60ea2fe641e7d661fd a83c1ce32fd043945ad455b892a60c2a9b6a62d7a5aadf121c4b4056d1dfb094
lib/codeql/rust/elements/internal/generated/ReturnExpr.qll c9c05400d326cd8e0da11c3bfa524daa08b2579ecaee80e468076e5dd7911d56 e7694926727220f46a7617b6ca336767450e359c6fa3782e82b1e21d85d37268
lib/codeql/rust/elements/internal/generated/ReturnTypeSyntax.qll 34e32623d2c0e848c57ce1892c16f4bc81ccca7df22dc21dad5eb48969224465 ccb07c205468bce06392ff4a150136c0d8ebacfb15d1d96dd599ab020b353f47
lib/codeql/rust/elements/internal/generated/SelfParam.qll e1d994dea58a406dbfca3ea0c724ac48be66ac4380e7270e4037ca2714eef722 90f8ebfac723eef259e13d3c8a7ef6b886c2831d4f436a742144b96db6b6fc92
lib/codeql/rust/elements/internal/generated/SlicePat.qll 8b1463758d7b15a0303384c8136a48a8e71ce27da4ba6e421272b9751a988e64 7562d47308f197bc63ade0f114cd23a17e7f60fa696716f6a30fc7b7411642fe
lib/codeql/rust/elements/internal/generated/SlicePat.qll 722b1bd47a980ac9c91d018133b251c65ee817682e06708ad130031fbd01379b 7e0ce13b9de2040d2ef9d0948aab3f39e5fdc28d38c40bfbee590e2125dbe41c
lib/codeql/rust/elements/internal/generated/SliceType.qll 98ee8b566be28f392ab9c9507600e8461ad0b48cbbbd422d22548aca691f8330 528d6eabddf49b9dc474971a2f3a6ddb6f2d77dc7f8449140ef54646c1ceb822
lib/codeql/rust/elements/internal/generated/SourceFile.qll 55d44c9f09c5ff28c4f715f779a0db74083e1180acaf0d410e63ca07b90d1cb5 78c0af48b0b64aa377413ea4799dfe977602a111208e1d25e4bdfa920dbd7238
lib/codeql/rust/elements/internal/generated/Static.qll 5fbd6879858cf356d4bdaa6da475de729c12d44ee99aef12bdefe657fdb885e0 0c8e9ef7a93c59b9346265338e38ae3f2e1265981f2d81aab49bc36cf0589382
@@ -561,8 +561,8 @@ lib/codeql/rust/elements/internal/generated/TryExpr.qll 75bf9fdda5238155d2268806
lib/codeql/rust/elements/internal/generated/TupleExpr.qll 75186da7c077287b9a86fc9194221ab565d458c08a5f80b763e73be5b646b29f 0250d75c43e2e6f56cdc8a0c00cc42b3d459ea8d48172d236c8cdf0fe96dfed2
lib/codeql/rust/elements/internal/generated/TupleField.qll d2580e046a576a1a7669463956c929912e383de304854a86eea5e45807a0a882 b41cbc48fcbb56543705e6bf708b72156307c71735d2ed42b97d8bf3c1099dd1
lib/codeql/rust/elements/internal/generated/TupleFieldList.qll 9d4981d04c2ee005e41035b9699f03bff270c4e0515af5482d02e614a0b1a875 4e60b857fbcb668fa1a001e0eff03f1aa3a7465d32ce68e23544b705fa54fc5d
lib/codeql/rust/elements/internal/generated/TuplePat.qll d61163a380f3f2c1709080e2df69a90764509af060e607e27e832862e4dae18c 108b7db493a21fe1fa0db99fceee952aabb0a128eac41e050877ab9136407403
lib/codeql/rust/elements/internal/generated/TupleStructPat.qll 87e0acfeb51d48c55648d5af783f5ea006aaeccce990ba26458c6935fbdf7c11 7c761e66ddacb51307e653c6ad45bec3fba8315049fbe6c4503ed19241204d41
lib/codeql/rust/elements/internal/generated/TuplePat.qll 4e13b509e1c9dd1581a9dc50d38e0a6e36abc1254ea9c732b5b3e6503335afeb 298028df9eb84e106e625ed09d6b20038ad47bfc2faf634a0ffea50b17b5805d
lib/codeql/rust/elements/internal/generated/TupleStructPat.qll 646847d866d6b999b084837f2569035c471c777fc4b1f483ce70d5d3fc5dc5ea 2cd1a4020876485635ae28e3d81eca0e596d77123d8ed40a2b18043adc6c69e7
lib/codeql/rust/elements/internal/generated/TupleType.qll 7fae8e881157a24c4ce4f960269ba8010e227a81d3055b571f861f7196f868e2 18085a19a102df8e2cded938b49709225e89f0ce68b4a003310647bb259a6bd3
lib/codeql/rust/elements/internal/generated/TypeAlias.qll af02bb172b6f2d7f5eab8645a5a219eee8a4bbc445838f5739f18ba217c7e608 6d871471d673adae99c8b146f6f7ab204f24d52b5013b4582037a42b279c9f05
lib/codeql/rust/elements/internal/generated/TypeArg.qll fe4441b3faa44e542c43a85353347df23d3f74da0c4b17cb0fdc60f5aca9dee7 1473d044e979e7cb6628525ffd454549cd8a37560488c695f534243946cf83bc

View File

@@ -475,7 +475,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
BoxPat getBoxPat() { result = node }
/**
* Gets the pat of this box pat, if it exists.
* Gets the pattern of this box pattern, if it exists.
*/
PatCfgNode getPat() {
any(ChildMapping mapping).hasCfgChild(node, node.getPat(), this, result)
@@ -671,7 +671,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
ConstBlockPat getConstBlockPat() { result = node }
/**
* Gets the block expression of this const block pat, if it exists.
* Gets the block expression of this const block pattern, if it exists.
*/
BlockExprCfgNode getBlockExpr() {
any(ChildMapping mapping).hasCfgChild(node, node.getBlockExpr(), this, result)
@@ -683,7 +683,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
predicate hasBlockExpr() { exists(this.getBlockExpr()) }
/**
* Holds if this const block pat is const.
* Holds if this const block pattern is const.
*/
predicate isConst() { node.isConst() }
}
@@ -871,7 +871,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
predicate hasIterable() { exists(this.getIterable()) }
/**
* Gets the pat of this for expression, if it exists.
* Gets the pattern of this for expression, if it exists.
*/
PatCfgNode getPat() {
any(ChildMapping mapping).hasCfgChild(node, node.getPat(), this, result)
@@ -1016,32 +1016,32 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
IdentPat getIdentPat() { result = node }
/**
* Gets the `index`th attr of this ident pat (0-based).
* Gets the `index`th attr of this ident pattern (0-based).
*/
Attr getAttr(int index) { result = node.getAttr(index) }
/**
* Gets any of the attrs of this ident pat.
* Gets any of the attrs of this ident pattern.
*/
Attr getAnAttr() { result = this.getAttr(_) }
/**
* Gets the number of attrs of this ident pat.
* Gets the number of attrs of this ident pattern.
*/
int getNumberOfAttrs() { result = count(int i | exists(this.getAttr(i))) }
/**
* Holds if this ident pat is mut.
* Holds if this ident pattern is mut.
*/
predicate isMut() { node.isMut() }
/**
* Holds if this ident pat is reference.
* Holds if this ident pattern is reference.
*/
predicate isRef() { node.isRef() }
/**
* Gets the name of this ident pat, if it exists.
* Gets the name of this ident pattern, if it exists.
*/
Name getName() { result = node.getName() }
@@ -1051,7 +1051,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
predicate hasName() { exists(this.getName()) }
/**
* Gets the pat of this ident pat, if it exists.
* Gets the pattern of this ident pattern, if it exists.
*/
PatCfgNode getPat() {
any(ChildMapping mapping).hasCfgChild(node, node.getPat(), this, result)
@@ -1295,7 +1295,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
predicate hasScrutinee() { exists(this.getScrutinee()) }
/**
* Gets the pat of this let expression, if it exists.
* Gets the pattern of this let expression, if it exists.
*/
PatCfgNode getPat() {
any(ChildMapping mapping).hasCfgChild(node, node.getPat(), this, result)
@@ -1376,7 +1376,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
predicate hasLetElse() { exists(this.getLetElse()) }
/**
* Gets the pat of this let statement, if it exists.
* Gets the pattern of this let statement, if it exists.
*/
PatCfgNode getPat() {
any(ChildMapping mapping).hasCfgChild(node, node.getPat(), this, result)
@@ -1475,7 +1475,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
LiteralPat getLiteralPat() { result = node }
/**
* Gets the literal of this literal pat, if it exists.
* Gets the literal of this literal pattern, if it exists.
*/
LiteralExprCfgNode getLiteral() {
any(ChildMapping mapping).hasCfgChild(node, node.getLiteral(), this, result)
@@ -1693,7 +1693,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
MacroPat getMacroPat() { result = node }
/**
* Gets the macro call of this macro pat, if it exists.
* Gets the macro call of this macro pattern, if it exists.
*/
MacroCallCfgNode getMacroCall() {
any(ChildMapping mapping).hasCfgChild(node, node.getMacroCall(), this, result)
@@ -1914,19 +1914,19 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
OrPat getOrPat() { result = node }
/**
* Gets the `index`th pat of this or pat (0-based).
* Gets the `index`th pattern of this or pattern (0-based).
*/
PatCfgNode getPat(int index) {
any(ChildMapping mapping).hasCfgChild(node, node.getPat(index), this, result)
}
/**
* Gets any of the pats of this or pat.
* Gets any of the patterns of this or pattern.
*/
PatCfgNode getAPat() { result = this.getPat(_) }
/**
* Gets the number of pats of this or pat.
* Gets the number of patterns of this or pattern.
*/
int getNumberOfPats() { result = count(int i | exists(this.getPat(i))) }
}
@@ -1956,7 +1956,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
Param getParam() { result = node }
/**
* Gets the pat of this parameter, if it exists.
* Gets the pattern of this parameter, if it exists.
*/
PatCfgNode getPat() {
any(ChildMapping mapping).hasCfgChild(node, node.getPat(), this, result)
@@ -2110,7 +2110,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
PathPat getPathPat() { result = node }
/**
* Gets the path of this path pat, if it exists.
* Gets the path of this path pattern, if it exists.
*/
Path getPath() { result = node.getPath() }
@@ -2290,7 +2290,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
RangePat getRangePat() { result = node }
/**
* Gets the end of this range pat, if it exists.
* Gets the end of this range pattern, if it exists.
*/
PatCfgNode getEnd() {
any(ChildMapping mapping).hasCfgChild(node, node.getEnd(), this, result)
@@ -2302,7 +2302,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
predicate hasEnd() { exists(this.getEnd()) }
/**
* Gets the operator name of this range pat, if it exists.
* Gets the operator name of this range pattern, if it exists.
*/
string getOperatorName() { result = node.getOperatorName() }
@@ -2312,7 +2312,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
predicate hasOperatorName() { exists(this.getOperatorName()) }
/**
* Gets the start of this range pat, if it exists.
* Gets the start of this range pattern, if it exists.
*/
PatCfgNode getStart() {
any(ChildMapping mapping).hasCfgChild(node, node.getStart(), this, result)
@@ -2388,7 +2388,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
RecordPat getRecordPat() { result = node }
/**
* Gets the path of this record pat, if it exists.
* Gets the path of this record pattern, if it exists.
*/
Path getPath() { result = node.getPath() }
@@ -2398,7 +2398,7 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
predicate hasPath() { exists(this.getPath()) }
/**
* Gets the record pat field list of this record pat, if it exists.
* Gets the record pattern field list of this record pattern, if it exists.
*/
RecordPatFieldList getRecordPatFieldList() { result = node.getRecordPatFieldList() }
@@ -2502,12 +2502,12 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
RefPat getRefPat() { result = node }
/**
* Holds if this reference pat is mut.
* Holds if this reference pattern is mut.
*/
predicate isMut() { node.isMut() }
/**
* Gets the pat of this reference pat, if it exists.
* Gets the pattern of this reference pattern, if it exists.
*/
PatCfgNode getPat() {
any(ChildMapping mapping).hasCfgChild(node, node.getPat(), this, result)
@@ -2538,17 +2538,17 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
RestPat getRestPat() { result = node }
/**
* Gets the `index`th attr of this rest pat (0-based).
* Gets the `index`th attr of this rest pattern (0-based).
*/
Attr getAttr(int index) { result = node.getAttr(index) }
/**
* Gets any of the attrs of this rest pat.
* Gets any of the attrs of this rest pattern.
*/
Attr getAnAttr() { result = this.getAttr(_) }
/**
* Gets the number of attrs of this rest pat.
* Gets the number of attrs of this rest pattern.
*/
int getNumberOfAttrs() { result = count(int i | exists(this.getAttr(i))) }
}
@@ -2683,19 +2683,19 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
SlicePat getSlicePat() { result = node }
/**
* Gets the `index`th pat of this slice pat (0-based).
* Gets the `index`th pattern of this slice pattern (0-based).
*/
PatCfgNode getPat(int index) {
any(ChildMapping mapping).hasCfgChild(node, node.getPat(index), this, result)
}
/**
* Gets any of the pats of this slice pat.
* Gets any of the patterns of this slice pattern.
*/
PatCfgNode getAPat() { result = this.getPat(_) }
/**
* Gets the number of pats of this slice pat.
* Gets the number of patterns of this slice pattern.
*/
int getNumberOfPats() { result = count(int i | exists(this.getPat(i))) }
}
@@ -2830,19 +2830,19 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
TuplePat getTuplePat() { result = node }
/**
* Gets the `index`th field of this tuple pat (0-based).
* Gets the `index`th field of this tuple pattern (0-based).
*/
PatCfgNode getField(int index) {
any(ChildMapping mapping).hasCfgChild(node, node.getField(index), this, result)
}
/**
* Gets any of the fields of this tuple pat.
* Gets any of the fields of this tuple pattern.
*/
PatCfgNode getAField() { result = this.getField(_) }
/**
* Gets the number of fields of this tuple pat.
* Gets the number of fields of this tuple pattern.
*/
int getNumberOfFields() { result = count(int i | exists(this.getField(i))) }
}
@@ -2874,24 +2874,24 @@ module MakeCfgNodes<LocationSig Loc, InputSig<Loc> Input> {
TupleStructPat getTupleStructPat() { result = node }
/**
* Gets the `index`th field of this tuple struct pat (0-based).
* Gets the `index`th field of this tuple struct pattern (0-based).
*/
PatCfgNode getField(int index) {
any(ChildMapping mapping).hasCfgChild(node, node.getField(index), this, result)
}
/**
* Gets any of the fields of this tuple struct pat.
* Gets any of the fields of this tuple struct pattern.
*/
PatCfgNode getAField() { result = this.getField(_) }
/**
* Gets the number of fields of this tuple struct pat.
* Gets the number of fields of this tuple struct pattern.
*/
int getNumberOfFields() { result = count(int i | exists(this.getField(i))) }
/**
* Gets the path of this tuple struct pat, if it exists.
* Gets the path of this tuple struct pattern, if it exists.
*/
Path getPath() { result = node.getPath() }

View File

@@ -29,7 +29,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "BoxPat" }
/**
* Gets the pat of this box pat, if it exists.
* Gets the pattern of this box pattern, if it exists.
*/
Pat getPat() {
result = Synth::convertPatFromRaw(Synth::convertBoxPatToRaw(this).(Raw::BoxPat).getPat())

View File

@@ -29,7 +29,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "ConstBlockPat" }
/**
* Gets the block expression of this const block pat, if it exists.
* Gets the block expression of this const block pattern, if it exists.
*/
BlockExpr getBlockExpr() {
result =
@@ -44,7 +44,7 @@ module Generated {
final predicate hasBlockExpr() { exists(this.getBlockExpr()) }
/**
* Holds if this const block pat is const.
* Holds if this const block pattern is const.
*/
predicate isConst() { Synth::convertConstBlockPatToRaw(this).(Raw::ConstBlockPat).isConst() }
}

View File

@@ -59,7 +59,7 @@ module Generated {
final predicate hasIterable() { exists(this.getIterable()) }
/**
* Gets the pat of this for expression, if it exists.
* Gets the pattern of this for expression, if it exists.
*/
Pat getPat() {
result = Synth::convertPatFromRaw(Synth::convertForExprToRaw(this).(Raw::ForExpr).getPat())

View File

@@ -37,7 +37,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "IdentPat" }
/**
* Gets the `index`th attr of this ident pat (0-based).
* Gets the `index`th attr of this ident pattern (0-based).
*/
Attr getAttr(int index) {
result =
@@ -45,27 +45,27 @@ module Generated {
}
/**
* Gets any of the attrs of this ident pat.
* Gets any of the attrs of this ident pattern.
*/
final Attr getAnAttr() { result = this.getAttr(_) }
/**
* Gets the number of attrs of this ident pat.
* Gets the number of attrs of this ident pattern.
*/
final int getNumberOfAttrs() { result = count(int i | exists(this.getAttr(i))) }
/**
* Holds if this ident pat is mut.
* Holds if this ident pattern is mut.
*/
predicate isMut() { Synth::convertIdentPatToRaw(this).(Raw::IdentPat).isMut() }
/**
* Holds if this ident pat is reference.
* Holds if this ident pattern is reference.
*/
predicate isRef() { Synth::convertIdentPatToRaw(this).(Raw::IdentPat).isRef() }
/**
* Gets the name of this ident pat, if it exists.
* Gets the name of this ident pattern, if it exists.
*/
Name getName() {
result =
@@ -78,7 +78,7 @@ module Generated {
final predicate hasName() { exists(this.getName()) }
/**
* Gets the pat of this ident pat, if it exists.
* Gets the pattern of this ident pattern, if it exists.
*/
Pat getPat() {
result = Synth::convertPatFromRaw(Synth::convertIdentPatToRaw(this).(Raw::IdentPat).getPat())

View File

@@ -61,7 +61,7 @@ module Generated {
final predicate hasScrutinee() { exists(this.getScrutinee()) }
/**
* Gets the pat of this let expression, if it exists.
* Gets the pattern of this let expression, if it exists.
*/
Pat getPat() {
result = Synth::convertPatFromRaw(Synth::convertLetExprToRaw(this).(Raw::LetExpr).getPat())

View File

@@ -81,7 +81,7 @@ module Generated {
final predicate hasLetElse() { exists(this.getLetElse()) }
/**
* Gets the pat of this let statement, if it exists.
* Gets the pattern of this let statement, if it exists.
*/
Pat getPat() {
result = Synth::convertPatFromRaw(Synth::convertLetStmtToRaw(this).(Raw::LetStmt).getPat())

View File

@@ -29,7 +29,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "LiteralPat" }
/**
* Gets the literal of this literal pat, if it exists.
* Gets the literal of this literal pattern, if it exists.
*/
LiteralExpr getLiteral() {
result =

View File

@@ -26,7 +26,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "MacroPat" }
/**
* Gets the macro call of this macro pat, if it exists.
* Gets the macro call of this macro pattern, if it exists.
*/
MacroCall getMacroCall() {
result =

View File

@@ -82,7 +82,7 @@ module Generated {
final predicate hasGuard() { exists(this.getGuard()) }
/**
* Gets the pat of this match arm, if it exists.
* Gets the pattern of this match arm, if it exists.
*/
Pat getPat() {
result = Synth::convertPatFromRaw(Synth::convertMatchArmToRaw(this).(Raw::MatchArm).getPat())

View File

@@ -28,19 +28,19 @@ module Generated {
override string getAPrimaryQlClass() { result = "OrPat" }
/**
* Gets the `index`th pat of this or pat (0-based).
* Gets the `index`th pattern of this or pattern (0-based).
*/
Pat getPat(int index) {
result = Synth::convertPatFromRaw(Synth::convertOrPatToRaw(this).(Raw::OrPat).getPat(index))
}
/**
* Gets any of the pats of this or pat.
* Gets any of the patterns of this or pattern.
*/
final Pat getAPat() { result = this.getPat(_) }
/**
* Gets the number of pats of this or pat.
* Gets the number of patterns of this or pattern.
*/
final int getNumberOfPats() { result = count(int i | exists(this.getPat(i))) }
}

View File

@@ -28,7 +28,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "Param" }
/**
* Gets the pat of this parameter, if it exists.
* Gets the pattern of this parameter, if it exists.
*/
Pat getPat() {
result = Synth::convertPatFromRaw(Synth::convertParamToRaw(this).(Raw::Param).getPat())

View File

@@ -26,7 +26,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "ParenPat" }
/**
* Gets the pat of this paren pat, if it exists.
* Gets the pattern of this paren pattern, if it exists.
*/
Pat getPat() {
result = Synth::convertPatFromRaw(Synth::convertParenPatToRaw(this).(Raw::ParenPat).getPat())

View File

@@ -29,7 +29,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "PathPat" }
/**
* Gets the path of this path pat, if it exists.
* Gets the path of this path pattern, if it exists.
*/
Path getPath() {
result = Synth::convertPathFromRaw(Synth::convertPathPatToRaw(this).(Raw::PathPat).getPath())

View File

@@ -30,7 +30,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "RangePat" }
/**
* Gets the end of this range pat, if it exists.
* Gets the end of this range pattern, if it exists.
*/
Pat getEnd() {
result = Synth::convertPatFromRaw(Synth::convertRangePatToRaw(this).(Raw::RangePat).getEnd())
@@ -42,7 +42,7 @@ module Generated {
final predicate hasEnd() { exists(this.getEnd()) }
/**
* Gets the operator name of this range pat, if it exists.
* Gets the operator name of this range pattern, if it exists.
*/
string getOperatorName() {
result = Synth::convertRangePatToRaw(this).(Raw::RangePat).getOperatorName()
@@ -54,7 +54,7 @@ module Generated {
final predicate hasOperatorName() { exists(this.getOperatorName()) }
/**
* Gets the start of this range pat, if it exists.
* Gets the start of this range pattern, if it exists.
*/
Pat getStart() {
result =

View File

@@ -442,7 +442,7 @@ module Raw {
MatchGuard getGuard() { match_arm_guards(this, result) }
/**
* Gets the pat of this match arm, if it exists.
* Gets the pattern of this match arm, if it exists.
*/
Pat getPat() { match_arm_pats(this, result) }
}
@@ -727,17 +727,17 @@ module Raw {
override string toString() { result = "RecordPatField" }
/**
* Gets the `index`th attr of this record pat field (0-based).
* Gets the `index`th attr of this record pattern field (0-based).
*/
Attr getAttr(int index) { record_pat_field_attrs(this, index, result) }
/**
* Gets the name reference of this record pat field, if it exists.
* Gets the name reference of this record pattern field, if it exists.
*/
NameRef getNameRef() { record_pat_field_name_refs(this, result) }
/**
* Gets the pat of this record pat field, if it exists.
* Gets the pattern of this record pattern field, if it exists.
*/
Pat getPat() { record_pat_field_pats(this, result) }
}
@@ -753,12 +753,12 @@ module Raw {
override string toString() { result = "RecordPatFieldList" }
/**
* Gets the `index`th field of this record pat field list (0-based).
* Gets the `index`th field of this record pattern field list (0-based).
*/
RecordPatField getField(int index) { record_pat_field_list_fields(this, index, result) }
/**
* Gets the rest pat of this record pat field list, if it exists.
* Gets the rest pattern of this record pattern field list, if it exists.
*/
RestPat getRestPat() { record_pat_field_list_rest_pats(this, result) }
}
@@ -1319,7 +1319,7 @@ module Raw {
override string toString() { result = "BoxPat" }
/**
* Gets the pat of this box pat, if it exists.
* Gets the pattern of this box pattern, if it exists.
*/
Pat getPat() { box_pat_pats(this, result) }
}
@@ -1520,12 +1520,12 @@ module Raw {
override string toString() { result = "ConstBlockPat" }
/**
* Gets the block expression of this const block pat, if it exists.
* Gets the block expression of this const block pattern, if it exists.
*/
BlockExpr getBlockExpr() { const_block_pat_block_exprs(this, result) }
/**
* Holds if this const block pat is const.
* Holds if this const block pattern is const.
*/
predicate isConst() { const_block_pat_is_const(this) }
}
@@ -1770,27 +1770,27 @@ module Raw {
override string toString() { result = "IdentPat" }
/**
* Gets the `index`th attr of this ident pat (0-based).
* Gets the `index`th attr of this ident pattern (0-based).
*/
Attr getAttr(int index) { ident_pat_attrs(this, index, result) }
/**
* Holds if this ident pat is mut.
* Holds if this ident pattern is mut.
*/
predicate isMut() { ident_pat_is_mut(this) }
/**
* Holds if this ident pat is reference.
* Holds if this ident pattern is reference.
*/
predicate isRef() { ident_pat_is_ref(this) }
/**
* Gets the name of this ident pat, if it exists.
* Gets the name of this ident pattern, if it exists.
*/
Name getName() { ident_pat_names(this, result) }
/**
* Gets the pat of this ident pat, if it exists.
* Gets the pattern of this ident pattern, if it exists.
*/
Pat getPat() { ident_pat_pats(this, result) }
}
@@ -1932,7 +1932,7 @@ module Raw {
Expr getScrutinee() { let_expr_scrutinees(this, result) }
/**
* Gets the pat of this let expression, if it exists.
* Gets the pattern of this let expression, if it exists.
*/
Pat getPat() { let_expr_pats(this, result) }
}
@@ -1970,7 +1970,7 @@ module Raw {
LetElse getLetElse() { let_stmt_let_elses(this, result) }
/**
* Gets the pat of this let statement, if it exists.
* Gets the pattern of this let statement, if it exists.
*/
Pat getPat() { let_stmt_pats(this, result) }
@@ -2064,7 +2064,7 @@ module Raw {
override string toString() { result = "LiteralPat" }
/**
* Gets the literal of this literal pat, if it exists.
* Gets the literal of this literal pattern, if it exists.
*/
LiteralExpr getLiteral() { literal_pat_literals(this, result) }
}
@@ -2096,7 +2096,7 @@ module Raw {
override string toString() { result = "MacroPat" }
/**
* Gets the macro call of this macro pat, if it exists.
* Gets the macro call of this macro pattern, if it exists.
*/
MacroCall getMacroCall() { macro_pat_macro_calls(this, result) }
}
@@ -2202,7 +2202,7 @@ module Raw {
override string toString() { result = "OrPat" }
/**
* Gets the `index`th pat of this or pat (0-based).
* Gets the `index`th pattern of this or pattern (0-based).
*/
Pat getPat(int index) { or_pat_pats(this, index, result) }
}
@@ -2220,7 +2220,7 @@ module Raw {
override string toString() { result = "Param" }
/**
* Gets the pat of this parameter, if it exists.
* Gets the pattern of this parameter, if it exists.
*/
Pat getPat() { param_pats(this, result) }
}
@@ -2257,7 +2257,7 @@ module Raw {
override string toString() { result = "ParenPat" }
/**
* Gets the pat of this paren pat, if it exists.
* Gets the pattern of this paren pattern, if it exists.
*/
Pat getPat() { paren_pat_pats(this, result) }
}
@@ -2320,7 +2320,7 @@ module Raw {
override string toString() { result = "PathPat" }
/**
* Gets the path of this path pat, if it exists.
* Gets the path of this path pattern, if it exists.
*/
Path getPath() { path_pat_paths(this, result) }
}
@@ -2447,17 +2447,17 @@ module Raw {
override string toString() { result = "RangePat" }
/**
* Gets the end of this range pat, if it exists.
* Gets the end of this range pattern, if it exists.
*/
Pat getEnd() { range_pat_ends(this, result) }
/**
* Gets the operator name of this range pat, if it exists.
* Gets the operator name of this range pattern, if it exists.
*/
string getOperatorName() { range_pat_operator_names(this, result) }
/**
* Gets the start of this range pat, if it exists.
* Gets the start of this range pattern, if it exists.
*/
Pat getStart() { range_pat_starts(this, result) }
}
@@ -2518,12 +2518,12 @@ module Raw {
override string toString() { result = "RecordPat" }
/**
* Gets the path of this record pat, if it exists.
* Gets the path of this record pattern, if it exists.
*/
Path getPath() { record_pat_paths(this, result) }
/**
* Gets the record pat field list of this record pat, if it exists.
* Gets the record pattern field list of this record pattern, if it exists.
*/
RecordPatFieldList getRecordPatFieldList() { record_pat_record_pat_field_lists(this, result) }
}
@@ -2581,12 +2581,12 @@ module Raw {
override string toString() { result = "RefPat" }
/**
* Holds if this reference pat is mut.
* Holds if this reference pattern is mut.
*/
predicate isMut() { ref_pat_is_mut(this) }
/**
* Gets the pat of this reference pat, if it exists.
* Gets the pattern of this reference pattern, if it exists.
*/
Pat getPat() { ref_pat_pats(this, result) }
}
@@ -2628,7 +2628,7 @@ module Raw {
override string toString() { result = "RestPat" }
/**
* Gets the `index`th attr of this rest pat (0-based).
* Gets the `index`th attr of this rest pattern (0-based).
*/
Attr getAttr(int index) { rest_pat_attrs(this, index, result) }
}
@@ -2704,7 +2704,7 @@ module Raw {
override string toString() { result = "SlicePat" }
/**
* Gets the `index`th pat of this slice pat (0-based).
* Gets the `index`th pattern of this slice pattern (0-based).
*/
Pat getPat(int index) { slice_pat_pats(this, index, result) }
}
@@ -2796,7 +2796,7 @@ module Raw {
override string toString() { result = "TuplePat" }
/**
* Gets the `index`th field of this tuple pat (0-based).
* Gets the `index`th field of this tuple pattern (0-based).
*/
Pat getField(int index) { tuple_pat_fields(this, index, result) }
}
@@ -2816,12 +2816,12 @@ module Raw {
override string toString() { result = "TupleStructPat" }
/**
* Gets the `index`th field of this tuple struct pat (0-based).
* Gets the `index`th field of this tuple struct pattern (0-based).
*/
Pat getField(int index) { tuple_struct_pat_fields(this, index, result) }
/**
* Gets the path of this tuple struct pat, if it exists.
* Gets the path of this tuple struct pattern, if it exists.
*/
Path getPath() { tuple_struct_pat_paths(this, result) }
}
@@ -3889,7 +3889,7 @@ module Raw {
Expr getIterable() { for_expr_iterables(this, result) }
/**
* Gets the pat of this for expression, if it exists.
* Gets the pattern of this for expression, if it exists.
*/
Pat getPat() { for_expr_pats(this, result) }
}

View File

@@ -30,7 +30,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "RecordPat" }
/**
* Gets the path of this record pat, if it exists.
* Gets the path of this record pattern, if it exists.
*/
Path getPath() {
result =
@@ -43,7 +43,7 @@ module Generated {
final predicate hasPath() { exists(this.getPath()) }
/**
* Gets the record pat field list of this record pat, if it exists.
* Gets the record pattern field list of this record pattern, if it exists.
*/
RecordPatFieldList getRecordPatFieldList() {
result =

View File

@@ -28,7 +28,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "RecordPatField" }
/**
* Gets the `index`th attr of this record pat field (0-based).
* Gets the `index`th attr of this record pattern field (0-based).
*/
Attr getAttr(int index) {
result =
@@ -38,17 +38,17 @@ module Generated {
}
/**
* Gets any of the attrs of this record pat field.
* Gets any of the attrs of this record pattern field.
*/
final Attr getAnAttr() { result = this.getAttr(_) }
/**
* Gets the number of attrs of this record pat field.
* Gets the number of attrs of this record pattern field.
*/
final int getNumberOfAttrs() { result = count(int i | exists(this.getAttr(i))) }
/**
* Gets the name reference of this record pat field, if it exists.
* Gets the name reference of this record pattern field, if it exists.
*/
NameRef getNameRef() {
result =
@@ -63,7 +63,7 @@ module Generated {
final predicate hasNameRef() { exists(this.getNameRef()) }
/**
* Gets the pat of this record pat field, if it exists.
* Gets the pattern of this record pattern field, if it exists.
*/
Pat getPat() {
result =

View File

@@ -27,7 +27,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "RecordPatFieldList" }
/**
* Gets the `index`th field of this record pat field list (0-based).
* Gets the `index`th field of this record pattern field list (0-based).
*/
RecordPatField getField(int index) {
result =
@@ -37,17 +37,17 @@ module Generated {
}
/**
* Gets any of the fields of this record pat field list.
* Gets any of the fields of this record pattern field list.
*/
final RecordPatField getAField() { result = this.getField(_) }
/**
* Gets the number of fields of this record pat field list.
* Gets the number of fields of this record pattern field list.
*/
final int getNumberOfFields() { result = count(int i | exists(this.getField(i))) }
/**
* Gets the rest pat of this record pat field list, if it exists.
* Gets the rest pattern of this record pattern field list, if it exists.
*/
RestPat getRestPat() {
result =

View File

@@ -29,12 +29,12 @@ module Generated {
override string getAPrimaryQlClass() { result = "RefPat" }
/**
* Holds if this reference pat is mut.
* Holds if this reference pattern is mut.
*/
predicate isMut() { Synth::convertRefPatToRaw(this).(Raw::RefPat).isMut() }
/**
* Gets the pat of this reference pat, if it exists.
* Gets the pattern of this reference pattern, if it exists.
*/
Pat getPat() {
result = Synth::convertPatFromRaw(Synth::convertRefPatToRaw(this).(Raw::RefPat).getPat())

View File

@@ -26,7 +26,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "RestPat" }
/**
* Gets the `index`th attr of this rest pat (0-based).
* Gets the `index`th attr of this rest pattern (0-based).
*/
Attr getAttr(int index) {
result =
@@ -34,12 +34,12 @@ module Generated {
}
/**
* Gets any of the attrs of this rest pat.
* Gets any of the attrs of this rest pattern.
*/
final Attr getAnAttr() { result = this.getAttr(_) }
/**
* Gets the number of attrs of this rest pat.
* Gets the number of attrs of this rest pattern.
*/
final int getNumberOfAttrs() { result = count(int i | exists(this.getAttr(i))) }
}

View File

@@ -30,7 +30,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "SlicePat" }
/**
* Gets the `index`th pat of this slice pat (0-based).
* Gets the `index`th pattern of this slice pattern (0-based).
*/
Pat getPat(int index) {
result =
@@ -38,12 +38,12 @@ module Generated {
}
/**
* Gets any of the pats of this slice pat.
* Gets any of the patterns of this slice pattern.
*/
final Pat getAPat() { result = this.getPat(_) }
/**
* Gets the number of pats of this slice pat.
* Gets the number of patterns of this slice pattern.
*/
final int getNumberOfPats() { result = count(int i | exists(this.getPat(i))) }
}

View File

@@ -27,7 +27,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "TuplePat" }
/**
* Gets the `index`th field of this tuple pat (0-based).
* Gets the `index`th field of this tuple pattern (0-based).
*/
Pat getField(int index) {
result =
@@ -35,12 +35,12 @@ module Generated {
}
/**
* Gets any of the fields of this tuple pat.
* Gets any of the fields of this tuple pattern.
*/
final Pat getAField() { result = this.getField(_) }
/**
* Gets the number of fields of this tuple pat.
* Gets the number of fields of this tuple pattern.
*/
final int getNumberOfFields() { result = count(int i | exists(this.getField(i))) }
}

View File

@@ -31,7 +31,7 @@ module Generated {
override string getAPrimaryQlClass() { result = "TupleStructPat" }
/**
* Gets the `index`th field of this tuple struct pat (0-based).
* Gets the `index`th field of this tuple struct pattern (0-based).
*/
Pat getField(int index) {
result =
@@ -41,17 +41,17 @@ module Generated {
}
/**
* Gets any of the fields of this tuple struct pat.
* Gets any of the fields of this tuple struct pattern.
*/
final Pat getAField() { result = this.getField(_) }
/**
* Gets the number of fields of this tuple struct pat.
* Gets the number of fields of this tuple struct pattern.
*/
final int getNumberOfFields() { result = count(int i | exists(this.getField(i))) }
/**
* Gets the path of this tuple struct pat, if it exists.
* Gets the path of this tuple struct pattern, if it exists.
*/
Path getPath() {
result =