hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 11:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Implement IdentPat.toString()

Browse Source
This commit is contained in:
Tom Hvitved
2024-09-27 15:02:37 +02:00
parent 70b4ecf0a5
commit 1d6626c821
12 changed files with 46 additions and 46 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -239,7 +239,6 @@ lib/codeql/rust/elements/internal/GenericParamImpl.qll f435f80d7f275803c1311d362
lib/codeql/rust/elements/internal/GenericParamListConstructor.qll 7221146d1724e0add3a8e70e0e46670142589eb7143425e1871ac4358a8c8bdb 2fbb7576444d6b2da6164245e2660d592d276ae2c1ca9f2bda5656b1c5c0a73a
lib/codeql/rust/elements/internal/GenericParamListImpl.qll 524aa0949df6d4d2cb9bee6226650f63a6f181d7644933fa265673b281074885 27b0210e5eaa2040bc8a093e35e1394befb6994b25369544738d0447ef269a9c
lib/codeql/rust/elements/internal/IdentPatConstructor.qll 09792f5a070996b65f095dc6b1b9e0fb096a56648eed26c0643c59f82377cab0 0bb1a9fcdc62b5197aef3dd6e0ea4d679dde10d5be54b57b5209727ba66e078b
lib/codeql/rust/elements/internal/IdentPatImpl.qll 10b2758419b48d34013d0e1ea55006a72ea351e5298c9cde4d988f510d4094eb 63bdb210d7bcab42888b4f44688966a33951061573b0a9a734b5b262cbfa2cd8
lib/codeql/rust/elements/internal/IfExprConstructor.qll 03088b54c8fa623f93a5b5a7eb896f680e8b0e9025488157a02c48aaebc6ad56 906f916c3690d0721a31dd31b302dcdcec4233bb507683007d82cf10793a648f
lib/codeql/rust/elements/internal/IfExprImpl.qll 96dc5be0a650a74f96e0c2214eb58f1af5278ad1695ad790b660fdecb6738c14 06a292fcc459297ef3a0ef5c75c887f993ccd6350eb3fb0d2493e5b7c7199b6b
lib/codeql/rust/elements/internal/ImplConstructor.qll 24edccca59f70d812d1458b412a45310ddc096d095332f6e3258903c54c1bb44 7eb673b3ab33a0873ee5ce189105425066b376821cce0fc9eb8ace22995f0bc7

1
rust/ql/.gitattributes generated vendored
View File

@@ -241,7 +241,6 @@
/lib/codeql/rust/elements/internal/GenericParamListConstructor.qll linguist-generated
/lib/codeql/rust/elements/internal/GenericParamListImpl.qll linguist-generated
/lib/codeql/rust/elements/internal/IdentPatConstructor.qll linguist-generated
/lib/codeql/rust/elements/internal/IdentPatImpl.qll linguist-generated
/lib/codeql/rust/elements/internal/IfExprConstructor.qll linguist-generated
/lib/codeql/rust/elements/internal/IfExprImpl.qll linguist-generated
/lib/codeql/rust/elements/internal/ImplConstructor.qll linguist-generated

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

@@ -1,4 +1,3 @@
// generated by codegen, remove this comment if you wish to edit this file
/**
* This module provides a hand-modifiable wrapper around the generated class `IdentPat`.
*
@@ -12,6 +11,7 @@ private import codeql.rust.elements.internal.generated.IdentPat
* be referenced directly.
*/
module Impl {
// the following QLdoc is generated: if you need to edit it, do it in the schema file
/**
* A binding pattern. For example:
* ```rust
@@ -27,5 +27,7 @@ module Impl {
* };
* ```
*/
class IdentPat extends Generated::IdentPat { }
class IdentPat extends Generated::IdentPat {
override string toString() { result = this.getName().getText() }
}
}

4
rust/ql/test/extractor-tests/generated/IdentPat/IdentPat.expected
View File

@@ -1,2 +1,2 @@
| gen_ident_pat.rs:6:22:6:22 | IdentPat | getNumberOfAttrs: | 0 | hasName: | yes | hasPat: | no |
| gen_ident_pat.rs:10:9:10:25 | IdentPat | getNumberOfAttrs: | 0 | hasName: | yes | hasPat: | yes |
| gen_ident_pat.rs:6:22:6:22 | y | getNumberOfAttrs: | 0 | hasName: | yes | hasPat: | no |
| gen_ident_pat.rs:10:9:10:25 | y | getNumberOfAttrs: | 0 | hasName: | yes | hasPat: | yes |

4
rust/ql/test/extractor-tests/generated/IdentPat/IdentPat_getName.expected
View File

@@ -1,2 +1,2 @@
| gen_ident_pat.rs:6:22:6:22 | IdentPat | gen_ident_pat.rs:6:22:6:22 | Name |
| gen_ident_pat.rs:10:9:10:25 | IdentPat | gen_ident_pat.rs:10:9:10:9 | Name |
| gen_ident_pat.rs:6:22:6:22 | y | gen_ident_pat.rs:6:22:6:22 | Name |
| gen_ident_pat.rs:10:9:10:25 | y | gen_ident_pat.rs:10:9:10:9 | Name |

2
rust/ql/test/extractor-tests/generated/IdentPat/IdentPat_getPat.expected
View File

@@ -1 +1 @@
| gen_ident_pat.rs:10:9:10:25 | IdentPat | gen_ident_pat.rs:10:11:10:25 | TupleStructPat |
| gen_ident_pat.rs:10:9:10:25 | y | gen_ident_pat.rs:10:11:10:25 | TupleStructPat |

8
rust/ql/test/extractor-tests/generated/LetStmt/LetStmt_getPat.expected
View File

@@ -1,6 +1,6 @@
| gen_let_stmt.rs:5:5:5:15 | LetStmt | gen_let_stmt.rs:5:9:5:9 | IdentPat |
| gen_let_stmt.rs:6:5:6:20 | LetStmt | gen_let_stmt.rs:6:9:6:9 | IdentPat |
| gen_let_stmt.rs:7:5:7:15 | LetStmt | gen_let_stmt.rs:7:9:7:9 | IdentPat |
| gen_let_stmt.rs:8:5:8:10 | LetStmt | gen_let_stmt.rs:8:9:8:9 | IdentPat |
| gen_let_stmt.rs:5:5:5:15 | LetStmt | gen_let_stmt.rs:5:9:5:9 | x |
| gen_let_stmt.rs:6:5:6:20 | LetStmt | gen_let_stmt.rs:6:9:6:9 | x |
| gen_let_stmt.rs:7:5:7:15 | LetStmt | gen_let_stmt.rs:7:9:7:9 | x |
| gen_let_stmt.rs:8:5:8:10 | LetStmt | gen_let_stmt.rs:8:9:8:9 | x |
| gen_let_stmt.rs:9:5:9:24 | LetStmt | gen_let_stmt.rs:9:9:9:14 | TuplePat |
| gen_let_stmt.rs:10:5:12:6 | LetStmt | gen_let_stmt.rs:10:9:10:15 | TupleStructPat |

6
rust/ql/test/extractor-tests/generated/SlicePat/SlicePat_getPat.expected
View File

@@ -6,8 +6,8 @@
| gen_slice_pat.rs:7:9:7:18 | SlicePat | 0 | gen_slice_pat.rs:7:10:7:10 | LiteralPat |
| gen_slice_pat.rs:7:9:7:18 | SlicePat | 1 | gen_slice_pat.rs:7:13:7:13 | LiteralPat |
| gen_slice_pat.rs:7:9:7:18 | SlicePat | 2 | gen_slice_pat.rs:7:16:7:17 | RestPat |
| gen_slice_pat.rs:8:9:8:24 | SlicePat | 0 | gen_slice_pat.rs:8:10:8:10 | IdentPat |
| gen_slice_pat.rs:8:9:8:24 | SlicePat | 1 | gen_slice_pat.rs:8:13:8:13 | IdentPat |
| gen_slice_pat.rs:8:9:8:24 | SlicePat | 0 | gen_slice_pat.rs:8:10:8:10 | x |
| gen_slice_pat.rs:8:9:8:24 | SlicePat | 1 | gen_slice_pat.rs:8:13:8:13 | y |
| gen_slice_pat.rs:8:9:8:24 | SlicePat | 2 | gen_slice_pat.rs:8:16:8:17 | RestPat |
| gen_slice_pat.rs:8:9:8:24 | SlicePat | 3 | gen_slice_pat.rs:8:20:8:20 | IdentPat |
| gen_slice_pat.rs:8:9:8:24 | SlicePat | 3 | gen_slice_pat.rs:8:20:8:20 | z |
| gen_slice_pat.rs:8:9:8:24 | SlicePat | 4 | gen_slice_pat.rs:8:23:8:23 | LiteralPat |

10
rust/ql/test/extractor-tests/generated/TuplePat/TuplePat_getField.expected
View File

@@ -1,6 +1,6 @@
| gen_tuple_pat.rs:5:9:5:14 | TuplePat | 0 | gen_tuple_pat.rs:5:10:5:10 | IdentPat |
| gen_tuple_pat.rs:5:9:5:14 | TuplePat | 1 | gen_tuple_pat.rs:5:13:5:13 | IdentPat |
| gen_tuple_pat.rs:6:9:6:22 | TuplePat | 0 | gen_tuple_pat.rs:6:10:6:10 | IdentPat |
| gen_tuple_pat.rs:6:9:6:22 | TuplePat | 1 | gen_tuple_pat.rs:6:13:6:13 | IdentPat |
| gen_tuple_pat.rs:5:9:5:14 | TuplePat | 0 | gen_tuple_pat.rs:5:10:5:10 | x |
| gen_tuple_pat.rs:5:9:5:14 | TuplePat | 1 | gen_tuple_pat.rs:5:13:5:13 | y |
| gen_tuple_pat.rs:6:9:6:22 | TuplePat | 0 | gen_tuple_pat.rs:6:10:6:10 | a |
| gen_tuple_pat.rs:6:9:6:22 | TuplePat | 1 | gen_tuple_pat.rs:6:13:6:13 | b |
| gen_tuple_pat.rs:6:9:6:22 | TuplePat | 2 | gen_tuple_pat.rs:6:16:6:17 | RestPat |
| gen_tuple_pat.rs:6:9:6:22 | TuplePat | 3 | gen_tuple_pat.rs:6:21:6:21 | IdentPat |
| gen_tuple_pat.rs:6:9:6:22 | TuplePat | 3 | gen_tuple_pat.rs:6:21:6:21 | z |

2
rust/ql/test/extractor-tests/utf8/ast.expected
View File

@@ -34,6 +34,6 @@
| utf8-identifiers.rs:10:15:12:1 | BlockExpr |
| utf8-identifiers.rs:10:15:12:1 | StmtList |
| utf8-identifiers.rs:11:5:11:24 | LetStmt |
| utf8-identifiers.rs:11:9:11:9 | IdentPat |
| utf8-identifiers.rs:11:9:11:9 | Name |
| utf8-identifiers.rs:11:9:11:9 | \u03b1 |
| utf8-identifiers.rs:11:14:11:23 | 0.00001f64 |

2
rust/ql/test/library-tests/controlflow/CONSISTENCY/CfgConsistency.expected
View File

@@ -1,5 +1,5 @@
deadEnd
| test.rs:55:13:55:17 | IdentPat |
| test.rs:55:13:55:17 | b |
| test.rs:224:28:224:33 | ... < ... |
| test.rs:239:30:239:48 | BlockExpr |
scopeNoFirst

46
rust/ql/test/library-tests/controlflow/Cfg.expected
View File

@@ -14,8 +14,8 @@
| test.rs:8:5:24:5 | enter test_break_and_continue | test.rs:9:9:9:22 | LetStmt | |
| test.rs:8:5:24:5 | exit test_break_and_continue (normal) | test.rs:8:5:24:5 | exit test_break_and_continue | |
| test.rs:9:9:9:22 | LetStmt | test.rs:9:21:9:21 | PathExpr | |
| test.rs:9:13:9:17 | IdentPat | test.rs:10:9:22:9 | ExprStmt | match, no-match |
| test.rs:9:21:9:21 | PathExpr | test.rs:9:13:9:17 | IdentPat | |
| test.rs:9:13:9:17 | i | test.rs:10:9:22:9 | ExprStmt | match, no-match |
| test.rs:9:21:9:21 | PathExpr | test.rs:9:13:9:17 | i | |
| test.rs:10:9:22:9 | ExprStmt | test.rs:11:13:11:24 | ExprStmt | |
| test.rs:10:9:22:9 | LoopExpr | test.rs:23:9:23:20 | ExprStmt | |
| test.rs:10:14:22:9 | BlockExpr | test.rs:11:13:11:24 | ExprStmt | |
@@ -99,13 +99,13 @@
| test.rs:49:17:49:32 | ExprStmt | test.rs:49:17:49:31 | ContinueExpr | |
| test.rs:54:5:60:5 | enter test_while | test.rs:55:9:55:25 | LetStmt | |
| test.rs:55:9:55:25 | LetStmt | test.rs:55:21:55:24 | true | |
| test.rs:55:21:55:24 | true | test.rs:55:13:55:17 | IdentPat | |
| test.rs:55:21:55:24 | true | test.rs:55:13:55:17 | b | |
| test.rs:69:1:72:1 | enter test_nested_function | test.rs:70:5:70:28 | LetStmt | |
| test.rs:69:1:72:1 | exit test_nested_function (normal) | test.rs:69:1:72:1 | exit test_nested_function | |
| test.rs:69:40:72:1 | BlockExpr | test.rs:69:1:72:1 | exit test_nested_function (normal) | |
| test.rs:70:5:70:28 | LetStmt | test.rs:70:19:70:27 | ClosureExpr | |
| test.rs:70:9:70:15 | IdentPat | test.rs:71:5:71:11 | PathExpr | match, no-match |
| test.rs:70:19:70:27 | ClosureExpr | test.rs:70:9:70:15 | IdentPat | |
| test.rs:70:9:70:15 | add_one | test.rs:71:5:71:11 | PathExpr | match, no-match |
| test.rs:70:19:70:27 | ClosureExpr | test.rs:70:9:70:15 | add_one | |
| test.rs:70:19:70:27 | enter ClosureExpr | test.rs:70:23:70:23 | PathExpr | |
| test.rs:70:19:70:27 | exit ClosureExpr (normal) | test.rs:70:19:70:27 | exit ClosureExpr | |
| test.rs:70:23:70:23 | PathExpr | test.rs:70:27:70:27 | 1 | |
@@ -212,8 +212,8 @@
| test.rs:129:5:136:5 | exit test_if_assignment (normal) | test.rs:129:5:136:5 | exit test_if_assignment | |
| test.rs:129:42:136:5 | BlockExpr | test.rs:129:5:136:5 | exit test_if_assignment (normal) | |
| test.rs:130:9:130:26 | LetStmt | test.rs:130:21:130:25 | false | |
| test.rs:130:13:130:17 | IdentPat | test.rs:131:12:131:12 | PathExpr | match, no-match |
| test.rs:130:21:130:25 | false | test.rs:130:13:130:17 | IdentPat | |
| test.rs:130:13:130:17 | x | test.rs:131:12:131:12 | PathExpr | match, no-match |
| test.rs:130:21:130:25 | false | test.rs:130:13:130:17 | x | |
| test.rs:131:9:135:9 | IfExpr | test.rs:129:42:136:5 | BlockExpr | |
| test.rs:131:12:131:12 | PathExpr | test.rs:131:16:131:19 | true | |
| test.rs:131:12:131:19 | ... = ... | test.rs:132:13:132:13 | 1 | true |
@@ -288,50 +288,50 @@
| test.rs:177:5:180:5 | exit test_and_operator (normal) | test.rs:177:5:180:5 | exit test_and_operator | |
| test.rs:177:61:180:5 | BlockExpr | test.rs:177:5:180:5 | exit test_and_operator (normal) | |
| test.rs:178:9:178:28 | LetStmt | test.rs:178:17:178:27 | ... && ... | |
| test.rs:178:13:178:13 | IdentPat | test.rs:179:9:179:9 | PathExpr | match, no-match |
| test.rs:178:17:178:17 | PathExpr | test.rs:178:13:178:13 | IdentPat | false |
| test.rs:178:13:178:13 | d | test.rs:179:9:179:9 | PathExpr | match, no-match |
| test.rs:178:17:178:17 | PathExpr | test.rs:178:13:178:13 | d | false |
| test.rs:178:17:178:17 | PathExpr | test.rs:178:22:178:22 | PathExpr | true |
| test.rs:178:17:178:22 | ... && ... | test.rs:178:17:178:17 | PathExpr | |
| test.rs:178:17:178:27 | ... && ... | test.rs:178:17:178:22 | ... && ... | |
| test.rs:178:22:178:22 | PathExpr | test.rs:178:13:178:13 | IdentPat | false |
| test.rs:178:22:178:22 | PathExpr | test.rs:178:13:178:13 | d | false |
| test.rs:178:22:178:22 | PathExpr | test.rs:178:27:178:27 | PathExpr | true |
| test.rs:178:27:178:27 | PathExpr | test.rs:178:13:178:13 | IdentPat | |
| test.rs:178:27:178:27 | PathExpr | test.rs:178:13:178:13 | d | |
| test.rs:179:9:179:9 | PathExpr | test.rs:177:61:180:5 | BlockExpr | |
| test.rs:182:5:185:5 | enter test_or_operator | test.rs:183:9:183:28 | LetStmt | |
| test.rs:182:5:185:5 | exit test_or_operator (normal) | test.rs:182:5:185:5 | exit test_or_operator | |
| test.rs:182:60:185:5 | BlockExpr | test.rs:182:5:185:5 | exit test_or_operator (normal) | |
| test.rs:183:9:183:28 | LetStmt | test.rs:183:17:183:27 | ... \|\| ... | |
| test.rs:183:13:183:13 | IdentPat | test.rs:184:9:184:9 | PathExpr | match, no-match |
| test.rs:183:17:183:17 | PathExpr | test.rs:183:13:183:13 | IdentPat | true |
| test.rs:183:13:183:13 | d | test.rs:184:9:184:9 | PathExpr | match, no-match |
| test.rs:183:17:183:17 | PathExpr | test.rs:183:13:183:13 | d | true |
| test.rs:183:17:183:17 | PathExpr | test.rs:183:22:183:22 | PathExpr | false |
| test.rs:183:17:183:22 | ... \|\| ... | test.rs:183:17:183:17 | PathExpr | |
| test.rs:183:17:183:27 | ... \|\| ... | test.rs:183:17:183:22 | ... \|\| ... | |
| test.rs:183:22:183:22 | PathExpr | test.rs:183:13:183:13 | IdentPat | true |
| test.rs:183:22:183:22 | PathExpr | test.rs:183:13:183:13 | d | true |
| test.rs:183:22:183:22 | PathExpr | test.rs:183:27:183:27 | PathExpr | false |
| test.rs:183:27:183:27 | PathExpr | test.rs:183:13:183:13 | IdentPat | |
| test.rs:183:27:183:27 | PathExpr | test.rs:183:13:183:13 | d | |
| test.rs:184:9:184:9 | PathExpr | test.rs:182:60:185:5 | BlockExpr | |
| test.rs:187:5:190:5 | enter test_or_operator_2 | test.rs:188:9:188:36 | LetStmt | |
| test.rs:187:5:190:5 | exit test_or_operator_2 (normal) | test.rs:187:5:190:5 | exit test_or_operator_2 | |
| test.rs:187:61:190:5 | BlockExpr | test.rs:187:5:190:5 | exit test_or_operator_2 (normal) | |
| test.rs:188:9:188:36 | LetStmt | test.rs:188:17:188:35 | ... \|\| ... | |
| test.rs:188:13:188:13 | IdentPat | test.rs:189:9:189:9 | PathExpr | match, no-match |
| test.rs:188:17:188:17 | PathExpr | test.rs:188:13:188:13 | IdentPat | true |
| test.rs:188:13:188:13 | d | test.rs:189:9:189:9 | PathExpr | match, no-match |
| test.rs:188:17:188:17 | PathExpr | test.rs:188:13:188:13 | d | true |
| test.rs:188:17:188:17 | PathExpr | test.rs:188:23:188:23 | PathExpr | false |
| test.rs:188:17:188:30 | ... \|\| ... | test.rs:188:17:188:17 | PathExpr | |
| test.rs:188:17:188:35 | ... \|\| ... | test.rs:188:17:188:30 | ... \|\| ... | |
| test.rs:188:22:188:30 | ParenExpr | test.rs:188:13:188:13 | IdentPat | true |
| test.rs:188:22:188:30 | ParenExpr | test.rs:188:13:188:13 | d | true |
| test.rs:188:22:188:30 | ParenExpr | test.rs:188:35:188:35 | PathExpr | false |
| test.rs:188:23:188:23 | PathExpr | test.rs:188:28:188:29 | 28 | |
| test.rs:188:23:188:29 | ... == ... | test.rs:188:22:188:30 | ParenExpr | |
| test.rs:188:28:188:29 | 28 | test.rs:188:23:188:29 | ... == ... | |
| test.rs:188:35:188:35 | PathExpr | test.rs:188:13:188:13 | IdentPat | |
| test.rs:188:35:188:35 | PathExpr | test.rs:188:13:188:13 | d | |
| test.rs:189:9:189:9 | PathExpr | test.rs:187:61:190:5 | BlockExpr | |
| test.rs:192:5:195:5 | enter test_not_operator | test.rs:193:9:193:19 | LetStmt | |
| test.rs:192:5:195:5 | exit test_not_operator (normal) | test.rs:192:5:195:5 | exit test_not_operator | |
| test.rs:192:43:195:5 | BlockExpr | test.rs:192:5:195:5 | exit test_not_operator (normal) | |
| test.rs:193:9:193:19 | LetStmt | test.rs:193:18:193:18 | PathExpr | |
| test.rs:193:13:193:13 | IdentPat | test.rs:194:9:194:9 | PathExpr | match, no-match |
| test.rs:193:17:193:18 | ! ... | test.rs:193:13:193:13 | IdentPat | |
| test.rs:193:13:193:13 | d | test.rs:194:9:194:9 | PathExpr | match, no-match |
| test.rs:193:17:193:18 | ! ... | test.rs:193:13:193:13 | d | |
| test.rs:193:18:193:18 | PathExpr | test.rs:193:17:193:18 | ! ... | |
| test.rs:194:9:194:9 | PathExpr | test.rs:192:43:195:5 | BlockExpr | |
| test.rs:197:5:203:5 | enter test_if_and_operator | test.rs:198:12:198:22 | ... && ... | |
@@ -416,8 +416,8 @@
| test.rs:251:1:264:1 | exit labelled_block (normal) | test.rs:251:1:264:1 | exit labelled_block | |
| test.rs:251:28:264:1 | BlockExpr | test.rs:251:1:264:1 | exit labelled_block (normal) | |
| test.rs:252:5:263:6 | LetStmt | test.rs:253:9:253:19 | ExprStmt | |
| test.rs:252:9:252:14 | IdentPat | test.rs:251:28:264:1 | BlockExpr | match, no-match |
| test.rs:252:18:263:5 | BlockExpr | test.rs:252:9:252:14 | IdentPat | |
| test.rs:252:9:252:14 | result | test.rs:251:28:264:1 | BlockExpr | match, no-match |
| test.rs:252:18:263:5 | BlockExpr | test.rs:252:9:252:14 | result | |
| test.rs:253:9:253:16 | PathExpr | test.rs:253:9:253:18 | CallExpr | |
| test.rs:253:9:253:18 | CallExpr | test.rs:254:9:256:9 | ExprStmt | |
| test.rs:253:9:253:19 | ExprStmt | test.rs:253:9:253:16 | PathExpr | |