hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: add QL doc for MacroStmts and MacroItems

Browse Source
This commit is contained in:
Arthur Baars
2024-10-10 16:00:04 +02:00
parent f97a159163
commit 6d43eed1e6
27 changed files with 167 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
rust/ql/.generated.list generated
View File

@@ -67,10 +67,10 @@ lib/codeql/rust/elements/LoopExpr.qll 58ade0bc4a01a1cc361363682fde3ea56f4c5fbb4b
lib/codeql/rust/elements/MacroCall.qll a39a11d387355f59af3007dcbab3282e2b9e3289c1f8f4c6b96154ddb802f8c3 88d4575e462af2aa780219ba1338a790547fdfc1d267c4b84f1b929f4bc08d05
lib/codeql/rust/elements/MacroDef.qll acb39275a1a3257084314a46ad4d8477946130f57e401c70c5949ad6aafc5c5f 6a8a8db12a3ec345fede51ca36e8c6acbdce58c5144388bb94f0706416fa152a
lib/codeql/rust/elements/MacroExpr.qll ea9fed13f610bab1a2c4541c994510e0cb806530b60beef0d0c36b23e3b620f0 ad11a6bbd3a229ad97a16049cc6b0f3c8740f9f75ea61bbf4eebb072db9b12d2
lib/codeql/rust/elements/MacroItems.qll 4acf8e5ab8f84dc8fae442d52a29266be2f1e7160120bb1dd52238b3d62b4cab 0d6e25bbf1f3082b739bb846d7c3ef21a58c79e6a65b72272a00cffc3d32aa47
lib/codeql/rust/elements/MacroItems.qll 00a5d41f7bb836d952abbd9382e42f72a9d81e65646a15a460b35ccd07a866c6 00efdb4d701b5599d76096f740da9ec157804865267b7e29bc2a214cbf03763e
lib/codeql/rust/elements/MacroPat.qll dbf193b4fb544ac0b5a7dcfc31a6652de7239b6e643ff15b05868b2c142e940c 19b45c0a1eb1198e450c05d564b5d4aa0d6da29e7db84b9521eadf901e20a932
lib/codeql/rust/elements/MacroRules.qll a94535506798077043b9c1470992ac4310bf67bcce5f722080886d1b3e6d90d1 bd8e08a7171991abc85100b45267631e66d1b332caf1e5882cd17caee5cf18a3
lib/codeql/rust/elements/MacroStmts.qll 66b3e877c4e3f8ef552152c92188aae7d5901a7b2e21dec581a61ee390be2fbc cc535cb6afb29783be37b1647d3267dd693c3434d42e1ab561d3a6a74ce20cfc
lib/codeql/rust/elements/MacroStmts.qll 6e9a1f90231cb72b27d3ff9479e399a9fba4abd0872a5005ab2fac45d5ca9be0 d6ca3a8254fc45794a93c451a3305c9b4be033a467ad72158d40d6f675a377a0
lib/codeql/rust/elements/MacroType.qll e5a153643e49a6be41483ad944550a030e0500764947b4e328cef6fa08c4fbd4 a42332c0a9c5cf7317fc49f3e1049e7751004fcc3efa056bbe058a8bfa2ef0cb
lib/codeql/rust/elements/MatchArm.qll c39fd6cc0da24b1ff8d1e42835bcfee7695ad13580e3c7c50acd7c881b1cd894 62a31d2bd125e6aaebefc406e541a641271d3c497a377959f94dd4735b2bfbf8
lib/codeql/rust/elements/MatchArmList.qll e6c48fd7419d88e996b82eb45e4aa2686dfd079b283b02be7710192fb2cb93a0 0ec63a0ca56f5f7f80093fd3e77b198b74c6289e67be55dc6a4deb610753c7bd
@@ -277,13 +277,13 @@ lib/codeql/rust/elements/internal/MacroDefImpl.qll f26e787ffd43e8cb079db01eba044
lib/codeql/rust/elements/internal/MacroExprConstructor.qll b12edb21ea189a1b28d96309c69c3d08e08837621af22edd67ff9416c097d2df d35bc98e7b7b5451930214c0d93dce33a2c7b5b74f36bf99f113f53db1f19c14
lib/codeql/rust/elements/internal/MacroExprImpl.qll 92dd9f658a85ae407e055f090385f451084de59190d8a00c7e1fba453c3eced4 89d544634fecdbead2ff06a26fc8132e127dab07f38b9322fa14dc55657b9f1a
lib/codeql/rust/elements/internal/MacroItemsConstructor.qll 8e9ab7ec1e0f50a22605d4e993f99a85ca8059fbb506d67bc8f5a281af367b05 2602f9db31ea0c48192c3dde3bb5625a8ed1cae4cd3408729b9e09318d5bd071
lib/codeql/rust/elements/internal/MacroItemsImpl.qll b20e9d0ba72de335ae1df33318339c9546c7f4c7ff25b3bf6eec884a2faa33bd 3bb159223eecb566004ce27457d5d97cd676f632be14b0411ff228a1d4e8e107
lib/codeql/rust/elements/internal/MacroItemsImpl.qll 76fd50a1f27336e9efc6d3f73ef4d724f19627cadbaa805d1e14d2cfa4f19899 40c0e512090050b39b69128730f4f4581f51ffd3c687fb52913617bd70a144e9
lib/codeql/rust/elements/internal/MacroPatConstructor.qll 24744c1bbe21c1d249a04205fb09795ae38ed106ba1423e86ccbc5e62359eaa2 4fac3f731a1ffd87c1230d561c5236bd28dcde0d1ce0dcd7d7a84ba393669d4a
lib/codeql/rust/elements/internal/MacroPatImpl.qll 7470e2d88c38c7300a64986f058ba92bb22b4945438e2e0e268f180c4f267b71 c1507df74fc4c92887f3e0a4f857f54b61f174ffae5b1af6fb70f466175d658b
lib/codeql/rust/elements/internal/MacroRulesConstructor.qll dc04726ad59915ec980501c4cd3b3d2ad774f454ddbf138ff5808eba6bd63dea 8d6bf20feb850c47d1176237027ef131f18c5cbb095f6ab8b3ec58cea9bce856
lib/codeql/rust/elements/internal/MacroRulesImpl.qll 10c03adfb63ee7a4348ff5cffc6ef5300a531b048f28811a51e940b053e69f68 2498bd64aeaea9849c086abeaa6c248e4ce41b4436155f4bd4840965976d5d54
lib/codeql/rust/elements/internal/MacroStmtsConstructor.qll c293815cd69c002ba6de1db6018672654420f3f8bdd143f9d0c620adddd2be02 d376f8f07661a8cad1b10039076fd7fca353dcacf3ca40ed6507b8c874e849ca
lib/codeql/rust/elements/internal/MacroStmtsImpl.qll 7ce09c93fedbb6453fccbc081e7ec03d2e2a088c8ff3b27e28794258ac6ff553 d48681d5ed630a1b8d563d58fdb91aa32a73e3b21420d986c8e5415c9f80280f
lib/codeql/rust/elements/internal/MacroStmtsImpl.qll 27faff9da93ad7f22a6236c73ebb4d4631161cf4ec1b82958cdf79c85aa2087c 7e2863eaf50d4b285b9240f2c5ff9497cfb4393c8528a0738d725d00f1a78406
lib/codeql/rust/elements/internal/MacroTypeConstructor.qll 0a23573a6f69b38f3d7470050b16197601d67bdd5a4b1a43a155b0b99ccdf6b5 19b623962e8e1f73e55e3ed9712d2a3fe84b9510b99062173902feb2458ec12a
lib/codeql/rust/elements/internal/MacroTypeImpl.qll b8711279f09f521b05bb67568c089271b7913f863ee64dfdeec2c502de2cbdc8 51bd9d3a2fb2065bce7b193b485e225ca5c8ba2029e60cab427d43a90baf0880
lib/codeql/rust/elements/internal/MatchArmConstructor.qll b41c1d5822d54127ce376ef62c6a5fa60e11697319fc7d9c9c54fd313d784a93 96cca80e5684e5893c0e9c0dff365ef8ad9e15ff648c9969ba42d91f95abea05
@@ -518,10 +518,10 @@ lib/codeql/rust/elements/internal/generated/LoopExpr.qll 22b755dfaf238ecea722c0c
lib/codeql/rust/elements/internal/generated/MacroCall.qll fc8988696493992cc4fdce8c0e5610c54ee92ea52ebb05262338f8b612353f50 188a2d7a484bd402a521787371e64f6e00e928306c8d437e6b19bf890a7aa14e
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 ec02912230762f2759c3ed97ff52fded62ed14fb68d0807c8085a85152a5d4b1 c9cc4f8f0a1d63787995dde173f1bc8ac25351faa66b1d323e2ac1c894c9be85
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/MacroRules.qll 4fbd94f22b5ee0f3e5aaae39c2b9a5e9b7bf878a1017811ca589942f6de92843 49fb69543ee867bae196febea6918e621f335afdf4d3ccbf219965b37c7537b1
lib/codeql/rust/elements/internal/generated/MacroStmts.qll 502cf5490259edaefeda30d00371a9d58872e8bfcd82fa4a30a2a1c510662949 91672ea8c4c0e1e8ef6c9628e21169dfc873da4424aaf544a3cb2b9a2c523b28
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/MatchArmList.qll 13362680c037fe83fef4653562cc10a4429078316b5ec7c47b076336cf4aca2e 41c674293c13eceaca62134ae0c6778541f6a5201cbc5c146f0ba01b898dc267
@@ -553,7 +553,7 @@ lib/codeql/rust/elements/internal/generated/PtrType.qll 5f12b6ad29b4e5ce51c205e2
lib/codeql/rust/elements/internal/generated/PureSynthConstructors.qll dc03515d678ba052c2ff2dd9f0883e0bce54cac740ba9a15e5173f292c1b6971 dc03515d678ba052c2ff2dd9f0883e0bce54cac740ba9a15e5173f292c1b6971
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 37d705750dbbcddc20f86d03e98c0b9d381dfe7c050dd48587591ee5e94c7043 5db207a0a9a3b6d537f7ae2829913a5bc7c0fdb5fcc34bd3b3d1b80b748e8c67
lib/codeql/rust/elements/internal/generated/Raw.qll 2584a84e50134d9f936e15a6a02e6d9db12d10115530f006fe322e9aad001473 c7cce257bbc41aa45d1275abd95c4cb9ee42335e934356f8666429afb34e0111
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
@@ -829,7 +829,8 @@ test/extractor-tests/generated/MacroDef/MacroDef_getName.ql 6bc8a17804f23782e98f
test/extractor-tests/generated/MacroDef/MacroDef_getVisibility.ql d858ccaab381432c529bf4a621afc82ea5e4b810b463f2b1f551de79908e14e7 83a85c4f90417ab44570a862642d8f8fc9208e62ba20ca69b32d39a3190381aa
test/extractor-tests/generated/MacroExpr/MacroExpr.ql 69445cf24f5bec5c3f11f0ebf13604891bb2c0dffe715612628e5572587c7a6c 5434db79d94e437c86126d9cf20bf1e86e5537f462a57b9bf6b22a2caa95cc40
test/extractor-tests/generated/MacroExpr/MacroExpr_getMacroCall.ql 8859743e23b987225a6a1933054a1ed8f5f1442b61a769599e2efd143f4feb9e d2d336135ff4d2ea65e79430dee8d0f69f9d7818a674f5446903d986f3948b92
test/extractor-tests/generated/MacroItems/MISSING_SOURCE.txt b6cf5771fdbbe981aeb3f443ec7a40517b6e99ffc9817fd8872c2e344240dae1 b6cf5771fdbbe981aeb3f443ec7a40517b6e99ffc9817fd8872c2e344240dae1
test/extractor-tests/generated/MacroItems/MacroItems.ql 876b5d2a4ce7dcb599e022083ff3f2d57300bcb0ea05f61069d59ad58353ca69 61ea54d4633ef871d3e634069e39fbb2545f7dc2796fa66f8edbacd4e0aa4ef5
test/extractor-tests/generated/MacroItems/MacroItems_getItem.ql 53fc2db35a23b9aca6ee327d2a51202d23ddf482e6bdd92c5399b7f3a73959b1 63051c8b7a7bfbe9cc640f775e753c9a82f1eb8472989f7d3c8af94fdf26c7a0
test/extractor-tests/generated/MacroPat/MacroPat.ql d9ec72d4d6a7342ee2d9aa7e90227faa31792ca5842fe948d7fdf22597a123b7 74b0f21ef2bb6c13aae74dba1eea97451755110909a083360e2c56cfbc76fd91
test/extractor-tests/generated/MacroPat/MacroPat_getMacroCall.ql 398996f0d0f2aa6d3b58d80b26c7d1185b5094d455c6c5c7f075f6d414150aa6 b4662e57cac36ed0e692201f53ba46c3d0826bba99c5cc6dfcb302b44dd2154b
test/extractor-tests/generated/MacroRules/MacroRules.ql 0742faf18179fa34e0f43361e9e4b807bfc242d232f6b3664a35e138a47d39c5 10e1cf45f32a27cb46bd61f5dd45416e2c0c9f25e880f6d213597a7d96e19103
@@ -837,7 +838,9 @@ test/extractor-tests/generated/MacroRules/MacroRules_getAttr.ql 7de501c724e34655
test/extractor-tests/generated/MacroRules/MacroRules_getName.ql 591606e3accae8b8fb49e1218c4867a42724ac209cf99786db0e5d7ea0bf55d5 d2936ef5aa4bbf024372516dde3de578990aafb2b8675bbbf0f72e8b54eb82a8
test/extractor-tests/generated/MacroRules/MacroRules_getTokenTree.ql 7598d33c3d86f9ad8629219b90667b2b65e3a1e18c6b0887291df9455a319cab 69d90446743e78e851145683c17677497fe42ed02f61f2b2974e216dc6e05b01
test/extractor-tests/generated/MacroRules/MacroRules_getVisibility.ql 5306cc85f470d21ebcbe6e98436334b0bf5ba819a0ae186569ba7e88c31636c6 fcbf5c54e5a904767a6f4d37d853072aa0040738e622c49c9a02dec8739d6587
test/extractor-tests/generated/MacroStmts/MISSING_SOURCE.txt b6cf5771fdbbe981aeb3f443ec7a40517b6e99ffc9817fd8872c2e344240dae1 b6cf5771fdbbe981aeb3f443ec7a40517b6e99ffc9817fd8872c2e344240dae1
test/extractor-tests/generated/MacroStmts/MacroStmts.ql 991042263ba99acef0972697ce79132e5650b27bf53be2f975a0da1f29940fd8 64c44e65b3c5d3de5f9532b4ff7ce54b39442b37f63da8b10d789b9b52b85a9e
test/extractor-tests/generated/MacroStmts/MacroStmts_getExpr.ql 5717f20376600e7bf5e471beae1a7c0084f235f0931f8b3f25d2de94ebb86f8b e4685fd9d45b078a6402c285eed3a15cc4550f6656c8bc5e7e274a88d1c7e9b3
test/extractor-tests/generated/MacroStmts/MacroStmts_getStatement.ql 8958b2212776f487869c29314e7d28f5871f5c3dde62fd9d6f87fb9e94204498 6804f5d4c0c5909689bdcdd5b8ec11ca7a8c0399b47695f66d2f99e39561565a
test/extractor-tests/generated/MacroType/MacroType.ql 408327fdb4d7cf096536457401cc280f83cd7e4f6fa9aebd65e64031f6c119cf 0c502d25194ab96eb068a85e3f57a9217510a951fa923e9d7a20fd75412bd6da
test/extractor-tests/generated/MacroType/MacroType_getMacroCall.ql 565be7a72670218d7999d3f6cec4e704b754c217186243f1b24c334589fa82e2 ba413c712783320188800e2a78738b09c40fe9a6305c08d9e67e971a8fca96ee
test/extractor-tests/generated/MatchArm/MatchArm.ql 512aa404c94ba40b859564f07e9dffe6a5e687fafb039556e9145f4f3742981c 529f96e38cede8a26054f8981d4ba1d189c17d14d0f92d622eb20acd8f3d7e5d

7
rust/ql/.gitattributes generated vendored
View File

@@ -831,7 +831,8 @@
/test/extractor-tests/generated/MacroDef/MacroDef_getVisibility.ql linguist-generated
/test/extractor-tests/generated/MacroExpr/MacroExpr.ql linguist-generated
/test/extractor-tests/generated/MacroExpr/MacroExpr_getMacroCall.ql linguist-generated
/test/extractor-tests/generated/MacroItems/MISSING_SOURCE.txt linguist-generated
/test/extractor-tests/generated/MacroItems/MacroItems.ql linguist-generated
/test/extractor-tests/generated/MacroItems/MacroItems_getItem.ql linguist-generated
/test/extractor-tests/generated/MacroPat/MacroPat.ql linguist-generated
/test/extractor-tests/generated/MacroPat/MacroPat_getMacroCall.ql linguist-generated
/test/extractor-tests/generated/MacroRules/MacroRules.ql linguist-generated
@@ -839,7 +840,9 @@
/test/extractor-tests/generated/MacroRules/MacroRules_getName.ql linguist-generated
/test/extractor-tests/generated/MacroRules/MacroRules_getTokenTree.ql linguist-generated
/test/extractor-tests/generated/MacroRules/MacroRules_getVisibility.ql linguist-generated
/test/extractor-tests/generated/MacroStmts/MISSING_SOURCE.txt linguist-generated
/test/extractor-tests/generated/MacroStmts/MacroStmts.ql linguist-generated
/test/extractor-tests/generated/MacroStmts/MacroStmts_getExpr.ql linguist-generated
/test/extractor-tests/generated/MacroStmts/MacroStmts_getStatement.ql linguist-generated
/test/extractor-tests/generated/MacroType/MacroType.ql linguist-generated
/test/extractor-tests/generated/MacroType/MacroType_getMacroCall.ql linguist-generated
/test/extractor-tests/generated/MatchArm/MatchArm.ql linguist-generated

8
rust/ql/lib/codeql/rust/elements/MacroItems.qll generated
View File

@@ -7,4 +7,12 @@ private import internal.MacroItemsImpl
import codeql.rust.elements.AstNode
import codeql.rust.elements.Item
/**
* A sequence of items generated by a `MacroCall`. For example:
* ```rust
* mod foo{
* include!("common_definitions.rs");
* }
* ```
*/
final class MacroItems = Impl::MacroItems;

8
rust/ql/lib/codeql/rust/elements/MacroStmts.qll generated
View File

@@ -8,4 +8,12 @@ import codeql.rust.elements.AstNode
import codeql.rust.elements.Expr
import codeql.rust.elements.Stmt
/**
* A sequence of statements generated by a `MacroCall`. For example:
* ```rust
* fn main() {
* println!("Hello, world!"); // This macro expands into a list of statements
* }
* ```
*/
final class MacroStmts = Impl::MacroStmts;

8
rust/ql/lib/codeql/rust/elements/internal/MacroItemsImpl.qll generated
View File

@@ -12,5 +12,13 @@ private import codeql.rust.elements.internal.generated.MacroItems
* be referenced directly.
*/
module Impl {
/**
* A sequence of items generated by a `MacroCall`. For example:
* ```rust
* mod foo{
* include!("common_definitions.rs");
* }
* ```
*/
class MacroItems extends Generated::MacroItems { }
}

8
rust/ql/lib/codeql/rust/elements/internal/MacroStmtsImpl.qll generated
View File

@@ -12,5 +12,13 @@ private import codeql.rust.elements.internal.generated.MacroStmts
* be referenced directly.
*/
module Impl {
/**
* A sequence of statements generated by a `MacroCall`. For example:
* ```rust
* fn main() {
* println!("Hello, world!"); // This macro expands into a list of statements
* }
* ```
*/
class MacroStmts extends Generated::MacroStmts { }
}

6
rust/ql/lib/codeql/rust/elements/internal/generated/MacroItems.qll generated
View File

@@ -15,6 +15,12 @@ import codeql.rust.elements.Item
*/
module Generated {
/**
* A sequence of items generated by a `MacroCall`. For example:
* ```rust
* mod foo{
* include!("common_definitions.rs");
* }
* ```
* INTERNAL: Do not reference the `Generated::MacroItems` class directly.
* Use the subclass `MacroItems`, where the following predicates are available.
*/

6
rust/ql/lib/codeql/rust/elements/internal/generated/MacroStmts.qll generated
View File

@@ -16,6 +16,12 @@ import codeql.rust.elements.Stmt
*/
module Generated {
/**
* A sequence of statements generated by a `MacroCall`. For example:
* ```rust
* fn main() {
* println!("Hello, world!"); // This macro expands into a list of statements
* }
* ```
* INTERNAL: Do not reference the `Generated::MacroStmts` class directly.
* Use the subclass `MacroStmts`, where the following predicates are available.
*/

12
rust/ql/lib/codeql/rust/elements/internal/generated/Raw.qll generated
View File

@@ -331,6 +331,12 @@ module Raw {
/**
* INTERNAL: Do not use.
* A sequence of items generated by a `MacroCall`. For example:
* ```rust
* mod foo{
* include!("common_definitions.rs");
* }
* ```
*/
class MacroItems extends @macro_items, AstNode {
override string toString() { result = "MacroItems" }
@@ -343,6 +349,12 @@ module Raw {
/**
* INTERNAL: Do not use.
* A sequence of statements generated by a `MacroCall`. For example:
* ```rust
* fn main() {
* println!("Hello, world!"); // This macro expands into a list of statements
* }
* ```
*/
class MacroStmts extends @macro_stmts, AstNode {
override string toString() { result = "MacroStmts" }

2
rust/ql/test/extractor-tests/generated/.generated_tests.list generated
View File

@@ -57,8 +57,10 @@ LoopExpr/gen_loop_expr.rs 35deaf35e765db4ae3124a11284266d8f341d1ce7b700030efada0
MacroCall/gen_macro_call.rs 139ef2c69323eea1a901e260d4e2acdd00b26f013b90c9344f48c6503ce29d79 139ef2c69323eea1a901e260d4e2acdd00b26f013b90c9344f48c6503ce29d79
MacroDef/gen_macro_def.rs 17c5387fb464a60b4a4520d22b055ba35ff23e9fe431a18a33808ae02c4bbff5 17c5387fb464a60b4a4520d22b055ba35ff23e9fe431a18a33808ae02c4bbff5
MacroExpr/gen_macro_expr.rs 3c23dc88fcc4bc8f97d9364d2f367671a0a5a63d07e52237d28204b64756dcdb 3c23dc88fcc4bc8f97d9364d2f367671a0a5a63d07e52237d28204b64756dcdb
MacroItems/gen_macro_items.rs 8ef3e16b73635dc97afa3ffa4db2bb21a8f1b435176861a594b0200cc5b9b931 8ef3e16b73635dc97afa3ffa4db2bb21a8f1b435176861a594b0200cc5b9b931
MacroPat/gen_macro_pat.rs b8041370598bd7fb26778d829a15c415c2078d69124f6af634ddeba13a114aa0 b8041370598bd7fb26778d829a15c415c2078d69124f6af634ddeba13a114aa0
MacroRules/gen_macro_rules.rs 7e03b410f4669e422d3b4328f7aafdca2e286e5d951495dd69cee0d44cb793a9 7e03b410f4669e422d3b4328f7aafdca2e286e5d951495dd69cee0d44cb793a9
MacroStmts/gen_macro_stmts.rs 2e45dcf44bf2e8404b49ce9abeee4931572693174b5d96f3fd81eb40ea8e7b4b 2e45dcf44bf2e8404b49ce9abeee4931572693174b5d96f3fd81eb40ea8e7b4b
MacroType/gen_macro_type.rs 84db79c78860512b14f885391fcae999ca7282f2d8a9ab65d30cc413d5bbebd0 84db79c78860512b14f885391fcae999ca7282f2d8a9ab65d30cc413d5bbebd0
MatchArm/gen_match_arm.rs ac75b4836a103e2755bd47a1ee1b74af6eb8349adc4ebedaaa27b3ea3ae41aa5 ac75b4836a103e2755bd47a1ee1b74af6eb8349adc4ebedaaa27b3ea3ae41aa5
MatchArmList/gen_match_arm_list.rs dbf36444d371421a2b8768a188660dd45ed3b823fb1c56b90c1ba77f177d23d6 dbf36444d371421a2b8768a188660dd45ed3b823fb1c56b90c1ba77f177d23d6

2
rust/ql/test/extractor-tests/generated/.gitattributes generated vendored
View File

@@ -59,8 +59,10 @@
/MacroCall/gen_macro_call.rs linguist-generated
/MacroDef/gen_macro_def.rs linguist-generated
/MacroExpr/gen_macro_expr.rs linguist-generated
/MacroItems/gen_macro_items.rs linguist-generated
/MacroPat/gen_macro_pat.rs linguist-generated
/MacroRules/gen_macro_rules.rs linguist-generated
/MacroStmts/gen_macro_stmts.rs linguist-generated
/MacroType/gen_macro_type.rs linguist-generated
/MatchArm/gen_match_arm.rs linguist-generated
/MatchArmList/gen_match_arm_list.rs linguist-generated

4
rust/ql/test/extractor-tests/generated/MacroItems/MISSING_SOURCE.txt
View File

@@ -1,4 +0,0 @@
// generated by codegen, do not edit
After a source file is added in this directory and codegen is run again, test queries
will appear and this file will be deleted

1
rust/ql/test/extractor-tests/generated/MacroItems/MacroItems.expected Normal file
View File

@@ -0,0 +1 @@
| file://:0:0:0:0 | MacroItems | getNumberOfItems: | 2 |

10
rust/ql/test/extractor-tests/generated/MacroItems/MacroItems.ql generated Normal file
View File

@@ -0,0 +1,10 @@
// generated by codegen, do not edit
import codeql.rust.elements
import TestUtils
from MacroItems x, int getNumberOfItems
where
toBeTested(x) and
not x.isUnknown() and
getNumberOfItems = x.getNumberOfItems()
select x, "getNumberOfItems:", getNumberOfItems

2
rust/ql/test/extractor-tests/generated/MacroItems/MacroItems_getItem.expected Normal file
View File

@@ -0,0 +1,2 @@
| file://:0:0:0:0 | MacroItems | 0 | file://:0:0:0:0 | Use |
| file://:0:0:0:0 | MacroItems | 1 | file://:0:0:0:0 | get_parent |

7
rust/ql/test/extractor-tests/generated/MacroItems/MacroItems_getItem.ql generated Normal file
View File

@@ -0,0 +1,7 @@
// generated by codegen, do not edit
import codeql.rust.elements
import TestUtils
from MacroItems x, int index
where toBeTested(x) and not x.isUnknown()
select x, index, x.getItem(index)

5
rust/ql/test/extractor-tests/generated/MacroItems/common_definitions.rs Normal file
View File

@@ -0,0 +1,5 @@
use std::path::Path;
fn get_parent(path: &Path) -> &Path {
path.parent().unwrap()
}

6
rust/ql/test/extractor-tests/generated/MacroItems/gen_macro_items.rs generated Normal file
View File

@@ -0,0 +1,6 @@
// generated by codegen, do not edit
// A sequence of items generated by a `MacroCall`. For example:
mod foo{
include!("common_definitions.rs");
}

4
rust/ql/test/extractor-tests/generated/MacroStmts/MISSING_SOURCE.txt
View File

@@ -1,4 +0,0 @@
// generated by codegen, do not edit
After a source file is added in this directory and codegen is run again, test queries
will appear and this file will be deleted

1
rust/ql/test/extractor-tests/generated/MacroStmts/MacroStmts.expected Normal file
View File

@@ -0,0 +1 @@
| gen_macro_stmts.rs:5:14:5:28 | MacroStmts | hasExpr: | yes | getNumberOfStatements: | 0 |

11
rust/ql/test/extractor-tests/generated/MacroStmts/MacroStmts.ql generated Normal file
View File

@@ -0,0 +1,11 @@
// generated by codegen, do not edit
import codeql.rust.elements
import TestUtils
from MacroStmts x, string hasExpr, int getNumberOfStatements
where
toBeTested(x) and
not x.isUnknown() and
(if x.hasExpr() then hasExpr = "yes" else hasExpr = "no") and
getNumberOfStatements = x.getNumberOfStatements()
select x, "hasExpr:", hasExpr, "getNumberOfStatements:", getNumberOfStatements

1
rust/ql/test/extractor-tests/generated/MacroStmts/MacroStmts_getExpr.expected Normal file
View File

@@ -0,0 +1 @@
| gen_macro_stmts.rs:5:14:5:28 | MacroStmts | gen_macro_stmts.rs:5:14:5:28 | BlockExpr |

7
rust/ql/test/extractor-tests/generated/MacroStmts/MacroStmts_getExpr.ql generated Normal file
View File

@@ -0,0 +1,7 @@
// generated by codegen, do not edit
import codeql.rust.elements
import TestUtils
from MacroStmts x
where toBeTested(x) and not x.isUnknown()
select x, x.getExpr()

0
rust/ql/test/extractor-tests/generated/MacroStmts/MacroStmts_getStatement.expected Normal file
View File

7
rust/ql/test/extractor-tests/generated/MacroStmts/MacroStmts_getStatement.ql generated Normal file
View File

@@ -0,0 +1,7 @@
// generated by codegen, do not edit
import codeql.rust.elements
import TestUtils
from MacroStmts x, int index
where toBeTested(x) and not x.isUnknown()
select x, index, x.getStatement(index)

6
rust/ql/test/extractor-tests/generated/MacroStmts/gen_macro_stmts.rs generated Normal file
View File

@@ -0,0 +1,6 @@
// generated by codegen, do not edit
// A sequence of statements generated by a `MacroCall`. For example:
fn main() {
println!("Hello, world!"); // This macro expands into a list of statements
}

26
rust/schema/annotations.py
View File

@@ -1166,6 +1166,19 @@ class _:
"""
@annotate(MacroItems)
@rust.doc_test_signature(None)
class _:
"""
A sequence of items generated by a `MacroCall`. For example:
```rust
mod foo{
include!("common_definitions.rs");
}
```
"""
@annotate(MacroPat)
class _:
"""
@@ -1186,6 +1199,19 @@ class _:
"""
@annotate(MacroStmts)
@rust.doc_test_signature(None)
class _:
"""
A sequence of statements generated by a `MacroCall`. For example:
```rust
fn main() {
println!("Hello, world!"); // This macro expands into a list of statements
}
```
"""
@annotate(MacroType)
class _:
"""