diff --git a/rust/ql/test/extractor-tests/generated/ArrayExpr/ArrayExpr.expected b/rust/ql/test/extractor-tests/generated/ArrayExpr/ArrayExpr.expected index 549f43fc9892..9e0452ab5c84 100644 --- a/rust/ql/test/extractor-tests/generated/ArrayExpr/ArrayExpr.expected +++ b/rust/ql/test/extractor-tests/generated/ArrayExpr/ArrayExpr.expected @@ -1,2 +1,2 @@ -| gen_array_expr.rs:5:5:5:13 | ArrayExpr | getNumberOfAttrs: | 0 | getNumberOfExprs: | 3 | -| gen_array_expr.rs:6:5:6:11 | ArrayExpr | getNumberOfAttrs: | 0 | getNumberOfExprs: | 2 | +| gen_array_expr.rs:5:5:5:13 | ArrayExpr | hasType: | yes | getNumberOfAttrs: | 0 | getNumberOfExprs: | 3 | +| gen_array_expr.rs:6:5:6:11 | ArrayExpr | hasType: | yes | getNumberOfAttrs: | 0 | getNumberOfExprs: | 2 | diff --git a/rust/ql/test/extractor-tests/generated/ArrayExpr/ArrayExpr_getType.expected b/rust/ql/test/extractor-tests/generated/ArrayExpr/ArrayExpr_getType.expected new file mode 100644 index 000000000000..dd2278d0fbe6 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ArrayExpr/ArrayExpr_getType.expected @@ -0,0 +1,2 @@ +| gen_array_expr.rs:5:5:5:13 | ArrayExpr | [i32; 3] | +| gen_array_expr.rs:6:5:6:11 | ArrayExpr | [i32; 10] | diff --git a/rust/ql/test/extractor-tests/generated/AsmExpr/AsmExpr.expected b/rust/ql/test/extractor-tests/generated/AsmExpr/AsmExpr.expected index 19464c21fd6a..cabc8f7745a7 100644 --- a/rust/ql/test/extractor-tests/generated/AsmExpr/AsmExpr.expected +++ b/rust/ql/test/extractor-tests/generated/AsmExpr/AsmExpr.expected @@ -1 +1 @@ -| gen_asm_expr.rs:6:9:6:24 | AsmExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | +| gen_asm_expr.rs:6:9:6:24 | AsmExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | diff --git a/rust/ql/test/extractor-tests/generated/AsmExpr/AsmExpr_getType.expected b/rust/ql/test/extractor-tests/generated/AsmExpr/AsmExpr_getType.expected new file mode 100644 index 000000000000..8def72c29591 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/AsmExpr/AsmExpr_getType.expected @@ -0,0 +1 @@ +| gen_asm_expr.rs:6:9:6:24 | AsmExpr | () | diff --git a/rust/ql/test/extractor-tests/generated/AwaitExpr/AwaitExpr.expected b/rust/ql/test/extractor-tests/generated/AwaitExpr/AwaitExpr.expected index 2ed01b9058e1..cedcb5343bda 100644 --- a/rust/ql/test/extractor-tests/generated/AwaitExpr/AwaitExpr.expected +++ b/rust/ql/test/extractor-tests/generated/AwaitExpr/AwaitExpr.expected @@ -1 +1 @@ -| gen_await_expr.rs:6:17:6:27 | AwaitExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | +| gen_await_expr.rs:6:17:6:27 | AwaitExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | diff --git a/rust/ql/test/extractor-tests/generated/AwaitExpr/AwaitExpr_getType.expected b/rust/ql/test/extractor-tests/generated/AwaitExpr/AwaitExpr_getType.expected new file mode 100644 index 000000000000..cfaea15b3494 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/AwaitExpr/AwaitExpr_getType.expected @@ -0,0 +1 @@ +| gen_await_expr.rs:6:17:6:27 | AwaitExpr | {unknown} | diff --git a/rust/ql/test/extractor-tests/generated/BecomeExpr/BecomeExpr.expected b/rust/ql/test/extractor-tests/generated/BecomeExpr/BecomeExpr.expected index 75840ec81fed..c953c26e1fe0 100644 --- a/rust/ql/test/extractor-tests/generated/BecomeExpr/BecomeExpr.expected +++ b/rust/ql/test/extractor-tests/generated/BecomeExpr/BecomeExpr.expected @@ -1 +1 @@ -| gen_become_expr.rs:8:10:8:36 | BecomeExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | +| gen_become_expr.rs:8:10:8:36 | BecomeExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | diff --git a/rust/ql/test/extractor-tests/generated/BecomeExpr/BecomeExpr_getType.expected b/rust/ql/test/extractor-tests/generated/BecomeExpr/BecomeExpr_getType.expected new file mode 100644 index 000000000000..59ef83e70c85 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/BecomeExpr/BecomeExpr_getType.expected @@ -0,0 +1 @@ +| gen_become_expr.rs:8:10:8:36 | BecomeExpr | ! | diff --git a/rust/ql/test/extractor-tests/generated/BinaryExpr/BinaryExpr.expected b/rust/ql/test/extractor-tests/generated/BinaryExpr/BinaryExpr.expected index 2f7a47933b1c..304bad9516f9 100644 --- a/rust/ql/test/extractor-tests/generated/BinaryExpr/BinaryExpr.expected +++ b/rust/ql/test/extractor-tests/generated/BinaryExpr/BinaryExpr.expected @@ -1,5 +1,5 @@ -| gen_binary_expr.rs:5:5:5:9 | ... + ... | getNumberOfAttrs: | 0 | hasLhs: | yes | hasOperatorName: | yes | hasRhs: | yes | -| gen_binary_expr.rs:6:5:6:10 | ... && ... | getNumberOfAttrs: | 0 | hasLhs: | yes | hasOperatorName: | yes | hasRhs: | yes | -| gen_binary_expr.rs:7:5:7:10 | ... <= ... | getNumberOfAttrs: | 0 | hasLhs: | yes | hasOperatorName: | yes | hasRhs: | yes | -| gen_binary_expr.rs:8:5:8:9 | ... = ... | getNumberOfAttrs: | 0 | hasLhs: | yes | hasOperatorName: | yes | hasRhs: | yes | -| gen_binary_expr.rs:9:5:9:10 | ... += ... | getNumberOfAttrs: | 0 | hasLhs: | yes | hasOperatorName: | yes | hasRhs: | yes | +| gen_binary_expr.rs:5:5:5:9 | ... + ... | hasType: | yes | getNumberOfAttrs: | 0 | hasLhs: | yes | hasOperatorName: | yes | hasRhs: | yes | +| gen_binary_expr.rs:6:5:6:10 | ... && ... | hasType: | yes | getNumberOfAttrs: | 0 | hasLhs: | yes | hasOperatorName: | yes | hasRhs: | yes | +| gen_binary_expr.rs:7:5:7:10 | ... <= ... | hasType: | yes | getNumberOfAttrs: | 0 | hasLhs: | yes | hasOperatorName: | yes | hasRhs: | yes | +| gen_binary_expr.rs:8:5:8:9 | ... = ... | hasType: | yes | getNumberOfAttrs: | 0 | hasLhs: | yes | hasOperatorName: | yes | hasRhs: | yes | +| gen_binary_expr.rs:9:5:9:10 | ... += ... | hasType: | yes | getNumberOfAttrs: | 0 | hasLhs: | yes | hasOperatorName: | yes | hasRhs: | yes | diff --git a/rust/ql/test/extractor-tests/generated/BinaryExpr/BinaryExpr_getType.expected b/rust/ql/test/extractor-tests/generated/BinaryExpr/BinaryExpr_getType.expected new file mode 100644 index 000000000000..acd387aa75d4 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/BinaryExpr/BinaryExpr_getType.expected @@ -0,0 +1,5 @@ +| gen_binary_expr.rs:5:5:5:9 | ... + ... | {unknown} | +| gen_binary_expr.rs:6:5:6:10 | ... && ... | bool | +| gen_binary_expr.rs:7:5:7:10 | ... <= ... | bool | +| gen_binary_expr.rs:8:5:8:9 | ... = ... | () | +| gen_binary_expr.rs:9:5:9:10 | ... += ... | () | diff --git a/rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr.expected b/rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr.expected index 39ec1d6a7e1a..0dffcfa81e7e 100644 --- a/rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr.expected +++ b/rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr.expected @@ -1,3 +1,3 @@ -| gen_block_expr.rs:3:28:12:1 | BlockExpr | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasLabel: | no | hasStmtList: | yes | -| gen_block_expr.rs:5:5:7:5 | BlockExpr | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasLabel: | no | hasStmtList: | yes | -| gen_block_expr.rs:8:5:11:5 | BlockExpr | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasLabel: | yes | hasStmtList: | yes | +| gen_block_expr.rs:3:28:12:1 | BlockExpr | hasType: | yes | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasLabel: | no | hasStmtList: | yes | +| gen_block_expr.rs:5:5:7:5 | BlockExpr | hasType: | yes | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasLabel: | no | hasStmtList: | yes | +| gen_block_expr.rs:8:5:11:5 | BlockExpr | hasType: | yes | getNumberOfAttrs: | 0 | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isTry: | no | isUnsafe: | no | hasLabel: | yes | hasStmtList: | yes | diff --git a/rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr_getType.expected b/rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr_getType.expected new file mode 100644 index 000000000000..6b804bd9bc0f --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/BlockExpr/BlockExpr_getType.expected @@ -0,0 +1,3 @@ +| gen_block_expr.rs:3:28:12:1 | BlockExpr | () | +| gen_block_expr.rs:5:5:7:5 | BlockExpr | () | +| gen_block_expr.rs:8:5:11:5 | BlockExpr | () | diff --git a/rust/ql/test/extractor-tests/generated/BoxPat/BoxPat.expected b/rust/ql/test/extractor-tests/generated/BoxPat/BoxPat.expected index 95c8bdebd47a..13860a668ea0 100644 --- a/rust/ql/test/extractor-tests/generated/BoxPat/BoxPat.expected +++ b/rust/ql/test/extractor-tests/generated/BoxPat/BoxPat.expected @@ -1,2 +1,2 @@ -| gen_box_pat.rs:6:9:6:27 | BoxPat | hasPat: | yes | -| gen_box_pat.rs:7:9:7:24 | BoxPat | hasPat: | yes | +| gen_box_pat.rs:6:9:6:27 | BoxPat | hasType: | yes | hasPat: | yes | +| gen_box_pat.rs:7:9:7:24 | BoxPat | hasType: | yes | hasPat: | yes | diff --git a/rust/ql/test/extractor-tests/generated/BoxPat/BoxPat_getType.expected b/rust/ql/test/extractor-tests/generated/BoxPat/BoxPat_getType.expected new file mode 100644 index 000000000000..3171955c8485 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/BoxPat/BoxPat_getType.expected @@ -0,0 +1,2 @@ +| gen_box_pat.rs:6:9:6:27 | BoxPat | Box, Global> | +| gen_box_pat.rs:7:9:7:24 | BoxPat | Box, Global> | diff --git a/rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr.expected b/rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr.expected index 763fae60866a..2984a358f78e 100644 --- a/rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr.expected +++ b/rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr.expected @@ -1,3 +1,3 @@ -| gen_break_expr.rs:7:13:7:17 | BreakExpr | getNumberOfAttrs: | 0 | hasExpr: | no | hasLifetime: | no | -| gen_break_expr.rs:12:13:12:27 | BreakExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | hasLifetime: | yes | -| gen_break_expr.rs:17:13:17:27 | BreakExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | hasLifetime: | yes | +| gen_break_expr.rs:7:13:7:17 | BreakExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | no | hasLifetime: | no | +| gen_break_expr.rs:12:13:12:27 | BreakExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | hasLifetime: | yes | +| gen_break_expr.rs:17:13:17:27 | BreakExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | hasLifetime: | yes | diff --git a/rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr_getType.expected b/rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr_getType.expected new file mode 100644 index 000000000000..2af2f605b1c6 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/BreakExpr/BreakExpr_getType.expected @@ -0,0 +1,3 @@ +| gen_break_expr.rs:7:13:7:17 | BreakExpr | ! | +| gen_break_expr.rs:12:13:12:27 | BreakExpr | ! | +| gen_break_expr.rs:17:13:17:27 | BreakExpr | ! | diff --git a/rust/ql/test/extractor-tests/generated/CallExpr/CallExpr.expected b/rust/ql/test/extractor-tests/generated/CallExpr/CallExpr.expected index 5414108064cd..cb84255dc78a 100644 --- a/rust/ql/test/extractor-tests/generated/CallExpr/CallExpr.expected +++ b/rust/ql/test/extractor-tests/generated/CallExpr/CallExpr.expected @@ -1,4 +1,4 @@ -| gen_call_expr.rs:5:5:5:11 | CallExpr | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | -| gen_call_expr.rs:6:5:6:23 | CallExpr | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | -| gen_call_expr.rs:7:5:7:14 | CallExpr | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | -| gen_call_expr.rs:8:5:8:10 | CallExpr | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | +| gen_call_expr.rs:5:5:5:11 | CallExpr | hasType: | yes | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | +| gen_call_expr.rs:6:5:6:23 | CallExpr | hasType: | yes | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | +| gen_call_expr.rs:7:5:7:14 | CallExpr | hasType: | yes | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | +| gen_call_expr.rs:8:5:8:10 | CallExpr | hasType: | yes | hasArgList: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | diff --git a/rust/ql/test/extractor-tests/generated/CallExpr/CallExpr_getType.expected b/rust/ql/test/extractor-tests/generated/CallExpr/CallExpr_getType.expected new file mode 100644 index 000000000000..bc9b97b881e2 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/CallExpr/CallExpr_getType.expected @@ -0,0 +1,4 @@ +| gen_call_expr.rs:5:5:5:11 | CallExpr | {unknown} | +| gen_call_expr.rs:6:5:6:23 | CallExpr | {unknown} | +| gen_call_expr.rs:7:5:7:14 | CallExpr | {unknown} | +| gen_call_expr.rs:8:5:8:10 | CallExpr | i32 | diff --git a/rust/ql/test/extractor-tests/generated/CastExpr/CastExpr.expected b/rust/ql/test/extractor-tests/generated/CastExpr/CastExpr.expected index 6050eb022593..0e002c3178c6 100644 --- a/rust/ql/test/extractor-tests/generated/CastExpr/CastExpr.expected +++ b/rust/ql/test/extractor-tests/generated/CastExpr/CastExpr.expected @@ -1 +1 @@ -| gen_cast_expr.rs:5:5:5:16 | CastExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | hasTy: | yes | +| gen_cast_expr.rs:5:5:5:16 | CastExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | hasTy: | yes | diff --git a/rust/ql/test/extractor-tests/generated/CastExpr/CastExpr_getType.expected b/rust/ql/test/extractor-tests/generated/CastExpr/CastExpr_getType.expected new file mode 100644 index 000000000000..e5988e56e380 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/CastExpr/CastExpr_getType.expected @@ -0,0 +1 @@ +| gen_cast_expr.rs:5:5:5:16 | CastExpr | u64 | diff --git a/rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr.expected b/rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr.expected index fb665ca8f605..b22a6210b209 100644 --- a/rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr.expected +++ b/rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr.expected @@ -1,5 +1,5 @@ -| gen_closure_expr.rs:5:5:5:13 | ClosureExpr | hasParamList: | yes | getNumberOfAttrs: | 0 | hasBody: | yes | hasClosureBinder: | no | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isStatic: | no | hasRetType: | no | -| gen_closure_expr.rs:6:5:6:34 | ClosureExpr | hasParamList: | yes | getNumberOfAttrs: | 0 | hasBody: | yes | hasClosureBinder: | no | isAsync: | no | isConst: | no | isGen: | no | isMove: | yes | isStatic: | no | hasRetType: | yes | -| gen_closure_expr.rs:7:5:7:27 | ClosureExpr | hasParamList: | yes | getNumberOfAttrs: | 0 | hasBody: | yes | hasClosureBinder: | no | isAsync: | yes | isConst: | no | isGen: | no | isMove: | no | isStatic: | no | hasRetType: | no | -| gen_closure_expr.rs:8:6:9:15 | ClosureExpr | hasParamList: | yes | getNumberOfAttrs: | 1 | hasBody: | yes | hasClosureBinder: | no | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isStatic: | no | hasRetType: | no | -| gen_closure_expr.rs:10:6:11:23 | ClosureExpr | hasParamList: | yes | getNumberOfAttrs: | 1 | hasBody: | yes | hasClosureBinder: | no | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isStatic: | yes | hasRetType: | no | +| gen_closure_expr.rs:5:5:5:13 | ClosureExpr | hasParamList: | yes | getNumberOfAttrs: | 0 | hasType: | yes | hasBody: | yes | hasClosureBinder: | no | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isStatic: | no | hasRetType: | no | +| gen_closure_expr.rs:6:5:6:34 | ClosureExpr | hasParamList: | yes | getNumberOfAttrs: | 0 | hasType: | yes | hasBody: | yes | hasClosureBinder: | no | isAsync: | no | isConst: | no | isGen: | no | isMove: | yes | isStatic: | no | hasRetType: | yes | +| gen_closure_expr.rs:7:5:7:27 | ClosureExpr | hasParamList: | yes | getNumberOfAttrs: | 0 | hasType: | yes | hasBody: | yes | hasClosureBinder: | no | isAsync: | yes | isConst: | no | isGen: | no | isMove: | no | isStatic: | no | hasRetType: | no | +| gen_closure_expr.rs:8:6:9:15 | ClosureExpr | hasParamList: | yes | getNumberOfAttrs: | 1 | hasType: | yes | hasBody: | yes | hasClosureBinder: | no | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isStatic: | no | hasRetType: | no | +| gen_closure_expr.rs:10:6:11:23 | ClosureExpr | hasParamList: | yes | getNumberOfAttrs: | 1 | hasType: | yes | hasBody: | yes | hasClosureBinder: | no | isAsync: | no | isConst: | no | isGen: | no | isMove: | no | isStatic: | yes | hasRetType: | no | diff --git a/rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr_getType.expected b/rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr_getType.expected new file mode 100644 index 000000000000..a7cf420f76c2 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ClosureExpr/ClosureExpr_getType.expected @@ -0,0 +1,5 @@ +| gen_closure_expr.rs:5:5:5:13 | ClosureExpr | impl Fn({unknown}) -> {unknown} | +| gen_closure_expr.rs:6:5:6:34 | ClosureExpr | impl Fn(i32) -> i32 | +| gen_closure_expr.rs:7:5:7:27 | ClosureExpr | impl Fn(i32, {unknown}) -> impl Future | +| gen_closure_expr.rs:8:6:9:15 | ClosureExpr | \|{unknown}\| yields {unknown} -> {unknown} | +| gen_closure_expr.rs:10:6:11:23 | ClosureExpr | \|{unknown}\| yields {unknown} -> {unknown} | diff --git a/rust/ql/test/extractor-tests/generated/ConstBlockPat/ConstBlockPat.expected b/rust/ql/test/extractor-tests/generated/ConstBlockPat/ConstBlockPat.expected index 21feba1f729f..64e4e9f27227 100644 --- a/rust/ql/test/extractor-tests/generated/ConstBlockPat/ConstBlockPat.expected +++ b/rust/ql/test/extractor-tests/generated/ConstBlockPat/ConstBlockPat.expected @@ -1 +1 @@ -| gen_const_block_pat.rs:6:9:6:27 | ConstBlockPat | hasBlockExpr: | yes | isConst: | yes | +| gen_const_block_pat.rs:6:9:6:27 | ConstBlockPat | hasType: | yes | hasBlockExpr: | yes | isConst: | yes | diff --git a/rust/ql/test/extractor-tests/generated/ConstBlockPat/ConstBlockPat_getType.expected b/rust/ql/test/extractor-tests/generated/ConstBlockPat/ConstBlockPat_getType.expected new file mode 100644 index 000000000000..af8fbf2022ba --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ConstBlockPat/ConstBlockPat_getType.expected @@ -0,0 +1 @@ +| gen_const_block_pat.rs:6:9:6:27 | ConstBlockPat | i32 | diff --git a/rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr.expected b/rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr.expected index ab921873d620..b211e5618949 100644 --- a/rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr.expected +++ b/rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr.expected @@ -1,2 +1,2 @@ -| gen_continue_expr.rs:7:13:7:20 | ContinueExpr | getNumberOfAttrs: | 0 | hasLifetime: | no | -| gen_continue_expr.rs:12:13:12:27 | ContinueExpr | getNumberOfAttrs: | 0 | hasLifetime: | yes | +| gen_continue_expr.rs:7:13:7:20 | ContinueExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasLifetime: | no | +| gen_continue_expr.rs:12:13:12:27 | ContinueExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasLifetime: | yes | diff --git a/rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr_getType.expected b/rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr_getType.expected new file mode 100644 index 000000000000..57dad612d830 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ContinueExpr/ContinueExpr_getType.expected @@ -0,0 +1,2 @@ +| gen_continue_expr.rs:7:13:7:20 | ContinueExpr | ! | +| gen_continue_expr.rs:12:13:12:27 | ContinueExpr | ! | diff --git a/rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr.expected b/rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr.expected index 22dcb3c92e11..30194a2e2d2e 100644 --- a/rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr.expected +++ b/rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr.expected @@ -1 +1 @@ -| gen_field_expr.rs:5:5:5:9 | FieldExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | hasNameRef: | yes | +| gen_field_expr.rs:5:5:5:9 | FieldExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | hasNameRef: | yes | diff --git a/rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr_getType.expected b/rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr_getType.expected new file mode 100644 index 000000000000..342228a164e0 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/FieldExpr/FieldExpr_getType.expected @@ -0,0 +1 @@ +| gen_field_expr.rs:5:5:5:9 | FieldExpr | () | diff --git a/rust/ql/test/extractor-tests/generated/ForExpr/ForExpr_getType.expected b/rust/ql/test/extractor-tests/generated/ForExpr/ForExpr_getType.expected new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/rust/ql/test/extractor-tests/generated/FormatArgsExpr/FormatArgsExpr_getType.expected b/rust/ql/test/extractor-tests/generated/FormatArgsExpr/FormatArgsExpr_getType.expected new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat.expected b/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat.expected index bdc57b38cf31..f4275a958264 100644 --- a/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat.expected +++ b/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat.expected @@ -1,2 +1,2 @@ -| gen_ident_pat.rs:6:22:6:22 | y | getNumberOfAttrs: | 0 | isMut: | no | isRef: | no | hasName: | yes | hasPat: | no | -| gen_ident_pat.rs:10:9:10:25 | y | getNumberOfAttrs: | 0 | isMut: | no | isRef: | no | hasName: | yes | hasPat: | yes | +| gen_ident_pat.rs:6:22:6:22 | y | hasType: | yes | getNumberOfAttrs: | 0 | isMut: | no | isRef: | no | hasName: | yes | hasPat: | no | +| gen_ident_pat.rs:10:9:10:25 | y | hasType: | yes | getNumberOfAttrs: | 0 | isMut: | no | isRef: | no | hasName: | yes | hasPat: | yes | diff --git a/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat_getType.expected b/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat_getType.expected new file mode 100644 index 000000000000..30b3e0d9800c --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/IdentPat/IdentPat_getType.expected @@ -0,0 +1,2 @@ +| gen_ident_pat.rs:6:22:6:22 | y | i32 | +| gen_ident_pat.rs:10:9:10:25 | y | Option<{unknown}> | diff --git a/rust/ql/test/extractor-tests/generated/IfExpr/IfExpr.expected b/rust/ql/test/extractor-tests/generated/IfExpr/IfExpr.expected index a0e0ea15594f..8f0704f54642 100644 --- a/rust/ql/test/extractor-tests/generated/IfExpr/IfExpr.expected +++ b/rust/ql/test/extractor-tests/generated/IfExpr/IfExpr.expected @@ -1,2 +1,2 @@ -| gen_if_expr.rs:5:5:7:5 | IfExpr | getNumberOfAttrs: | 0 | hasCondition: | yes | hasElse: | no | hasThen: | yes | -| gen_if_expr.rs:8:13:12:5 | IfExpr | getNumberOfAttrs: | 0 | hasCondition: | yes | hasElse: | yes | hasThen: | yes | +| gen_if_expr.rs:5:5:7:5 | IfExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasCondition: | yes | hasElse: | no | hasThen: | yes | +| gen_if_expr.rs:8:13:12:5 | IfExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasCondition: | yes | hasElse: | yes | hasThen: | yes | diff --git a/rust/ql/test/extractor-tests/generated/IfExpr/IfExpr_getType.expected b/rust/ql/test/extractor-tests/generated/IfExpr/IfExpr_getType.expected new file mode 100644 index 000000000000..1d557862c457 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/IfExpr/IfExpr_getType.expected @@ -0,0 +1,2 @@ +| gen_if_expr.rs:5:5:7:5 | IfExpr | () | +| gen_if_expr.rs:8:13:12:5 | IfExpr | i32 | diff --git a/rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr.expected b/rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr.expected index c113934115d2..8acbe8751e19 100644 --- a/rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr.expected +++ b/rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr.expected @@ -1,2 +1,2 @@ -| gen_index_expr.rs:5:5:5:12 | IndexExpr | getNumberOfAttrs: | 0 | hasBase: | yes | hasIndex: | yes | -| gen_index_expr.rs:6:5:6:12 | IndexExpr | getNumberOfAttrs: | 0 | hasBase: | yes | hasIndex: | yes | +| gen_index_expr.rs:5:5:5:12 | IndexExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasBase: | yes | hasIndex: | yes | +| gen_index_expr.rs:6:5:6:12 | IndexExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasBase: | yes | hasIndex: | yes | diff --git a/rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr_getType.expected b/rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr_getType.expected new file mode 100644 index 000000000000..a15e40c1fed8 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/IndexExpr/IndexExpr_getType.expected @@ -0,0 +1,2 @@ +| gen_index_expr.rs:5:5:5:12 | IndexExpr | {unknown} | +| gen_index_expr.rs:6:5:6:12 | IndexExpr | i32 | diff --git a/rust/ql/test/extractor-tests/generated/LetExpr/LetExpr.expected b/rust/ql/test/extractor-tests/generated/LetExpr/LetExpr.expected index 26a968ef35b3..9dbe86536813 100644 --- a/rust/ql/test/extractor-tests/generated/LetExpr/LetExpr.expected +++ b/rust/ql/test/extractor-tests/generated/LetExpr/LetExpr.expected @@ -1 +1 @@ -| gen_let_expr.rs:5:8:5:31 | LetExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | hasPat: | yes | +| gen_let_expr.rs:5:8:5:31 | LetExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | hasPat: | yes | diff --git a/rust/ql/test/extractor-tests/generated/LetExpr/LetExpr_getType.expected b/rust/ql/test/extractor-tests/generated/LetExpr/LetExpr_getType.expected new file mode 100644 index 000000000000..92a081c360cc --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/LetExpr/LetExpr_getType.expected @@ -0,0 +1 @@ +| gen_let_expr.rs:5:8:5:31 | LetExpr | bool | diff --git a/rust/ql/test/extractor-tests/generated/LiteralExpr/LiteralExpr.expected b/rust/ql/test/extractor-tests/generated/LiteralExpr/LiteralExpr.expected index afe42a48f8f0..40432b71b948 100644 --- a/rust/ql/test/extractor-tests/generated/LiteralExpr/LiteralExpr.expected +++ b/rust/ql/test/extractor-tests/generated/LiteralExpr/LiteralExpr.expected @@ -1,8 +1,8 @@ -| gen_literal_expr.rs:5:5:5:6 | 42 | getNumberOfAttrs: | 0 | hasTextValue: | yes | -| gen_literal_expr.rs:6:5:6:8 | 42.0 | getNumberOfAttrs: | 0 | hasTextValue: | yes | -| gen_literal_expr.rs:7:5:7:19 | "Hello, world!" | getNumberOfAttrs: | 0 | hasTextValue: | yes | -| gen_literal_expr.rs:8:5:8:20 | b"Hello, world!" | getNumberOfAttrs: | 0 | hasTextValue: | yes | -| gen_literal_expr.rs:9:5:9:7 | 'x' | getNumberOfAttrs: | 0 | hasTextValue: | yes | -| gen_literal_expr.rs:10:5:10:8 | b'x' | getNumberOfAttrs: | 0 | hasTextValue: | yes | -| gen_literal_expr.rs:11:5:11:20 | r"Hello, world!" | getNumberOfAttrs: | 0 | hasTextValue: | yes | -| gen_literal_expr.rs:12:5:12:8 | true | getNumberOfAttrs: | 0 | hasTextValue: | yes | +| gen_literal_expr.rs:5:5:5:6 | 42 | hasType: | yes | getNumberOfAttrs: | 0 | hasTextValue: | yes | +| gen_literal_expr.rs:6:5:6:8 | 42.0 | hasType: | yes | getNumberOfAttrs: | 0 | hasTextValue: | yes | +| gen_literal_expr.rs:7:5:7:19 | "Hello, world!" | hasType: | yes | getNumberOfAttrs: | 0 | hasTextValue: | yes | +| gen_literal_expr.rs:8:5:8:20 | b"Hello, world!" | hasType: | yes | getNumberOfAttrs: | 0 | hasTextValue: | yes | +| gen_literal_expr.rs:9:5:9:7 | 'x' | hasType: | yes | getNumberOfAttrs: | 0 | hasTextValue: | yes | +| gen_literal_expr.rs:10:5:10:8 | b'x' | hasType: | yes | getNumberOfAttrs: | 0 | hasTextValue: | yes | +| gen_literal_expr.rs:11:5:11:20 | r"Hello, world!" | hasType: | yes | getNumberOfAttrs: | 0 | hasTextValue: | yes | +| gen_literal_expr.rs:12:5:12:8 | true | hasType: | yes | getNumberOfAttrs: | 0 | hasTextValue: | yes | diff --git a/rust/ql/test/extractor-tests/generated/LiteralExpr/LiteralExpr_getType.expected b/rust/ql/test/extractor-tests/generated/LiteralExpr/LiteralExpr_getType.expected new file mode 100644 index 000000000000..fa122f203617 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/LiteralExpr/LiteralExpr_getType.expected @@ -0,0 +1,8 @@ +| gen_literal_expr.rs:5:5:5:6 | 42 | i32 | +| gen_literal_expr.rs:6:5:6:8 | 42.0 | f64 | +| gen_literal_expr.rs:7:5:7:19 | "Hello, world!" | &str | +| gen_literal_expr.rs:8:5:8:20 | b"Hello, world!" | &[u8; 13] | +| gen_literal_expr.rs:9:5:9:7 | 'x' | char | +| gen_literal_expr.rs:10:5:10:8 | b'x' | u8 | +| gen_literal_expr.rs:11:5:11:20 | r"Hello, world!" | &str | +| gen_literal_expr.rs:12:5:12:8 | true | bool | diff --git a/rust/ql/test/extractor-tests/generated/LiteralPat/LiteralPat.expected b/rust/ql/test/extractor-tests/generated/LiteralPat/LiteralPat.expected index b7ac2ced75f8..9794e2f2488f 100644 --- a/rust/ql/test/extractor-tests/generated/LiteralPat/LiteralPat.expected +++ b/rust/ql/test/extractor-tests/generated/LiteralPat/LiteralPat.expected @@ -1 +1 @@ -| gen_literal_pat.rs:6:9:6:10 | LiteralPat | hasLiteral: | yes | +| gen_literal_pat.rs:6:9:6:10 | LiteralPat | hasType: | yes | hasLiteral: | yes | diff --git a/rust/ql/test/extractor-tests/generated/LiteralPat/LiteralPat_getType.expected b/rust/ql/test/extractor-tests/generated/LiteralPat/LiteralPat_getType.expected new file mode 100644 index 000000000000..fefd66a72655 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/LiteralPat/LiteralPat_getType.expected @@ -0,0 +1 @@ +| gen_literal_pat.rs:6:9:6:10 | LiteralPat | i32 | diff --git a/rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr.expected b/rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr.expected index aae22652d645..fc0d43972609 100644 --- a/rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr.expected +++ b/rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr.expected @@ -1,3 +1,3 @@ -| gen_loop_expr.rs:5:5:7:5 | LoopExpr | getNumberOfAttrs: | 0 | hasLabel: | no | hasLoopBody: | yes | -| gen_loop_expr.rs:8:5:11:5 | LoopExpr | getNumberOfAttrs: | 0 | hasLabel: | yes | hasLoopBody: | yes | -| gen_loop_expr.rs:13:5:19:5 | LoopExpr | getNumberOfAttrs: | 0 | hasLabel: | no | hasLoopBody: | yes | +| gen_loop_expr.rs:5:5:7:5 | LoopExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasLabel: | no | hasLoopBody: | yes | +| gen_loop_expr.rs:8:5:11:5 | LoopExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasLabel: | yes | hasLoopBody: | yes | +| gen_loop_expr.rs:13:5:19:5 | LoopExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasLabel: | no | hasLoopBody: | yes | diff --git a/rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr_getType.expected b/rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr_getType.expected new file mode 100644 index 000000000000..8dbb059b30ad --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/LoopExpr/LoopExpr_getType.expected @@ -0,0 +1,3 @@ +| gen_loop_expr.rs:5:5:7:5 | LoopExpr | ! | +| gen_loop_expr.rs:8:5:11:5 | LoopExpr | () | +| gen_loop_expr.rs:13:5:19:5 | LoopExpr | () | diff --git a/rust/ql/test/extractor-tests/generated/MacroExpr/MacroExpr.expected b/rust/ql/test/extractor-tests/generated/MacroExpr/MacroExpr.expected index 79f6d26b811b..58724d93b937 100644 --- a/rust/ql/test/extractor-tests/generated/MacroExpr/MacroExpr.expected +++ b/rust/ql/test/extractor-tests/generated/MacroExpr/MacroExpr.expected @@ -1 +1 @@ -| gen_macro_expr.rs:5:5:5:11 | MacroExpr | hasMacroCall: | yes | +| gen_macro_expr.rs:5:5:5:11 | MacroExpr | hasType: | yes | hasMacroCall: | yes | diff --git a/rust/ql/test/extractor-tests/generated/MacroExpr/MacroExpr_getType.expected b/rust/ql/test/extractor-tests/generated/MacroExpr/MacroExpr_getType.expected new file mode 100644 index 000000000000..aea832ac9a41 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MacroExpr/MacroExpr_getType.expected @@ -0,0 +1 @@ +| gen_macro_expr.rs:5:5:5:11 | MacroExpr | ! | diff --git a/rust/ql/test/extractor-tests/generated/MacroPat/MacroPat_getType.expected b/rust/ql/test/extractor-tests/generated/MacroPat/MacroPat_getType.expected new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr.expected b/rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr.expected index 4591d8a57c36..f2f5975bc511 100644 --- a/rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr.expected +++ b/rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr.expected @@ -1,2 +1,2 @@ -| gen_match_expr.rs:5:5:8:5 | MatchExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | hasMatchArmList: | yes | -| gen_match_expr.rs:9:5:12:5 | MatchExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | hasMatchArmList: | yes | +| gen_match_expr.rs:5:5:8:5 | MatchExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | hasMatchArmList: | yes | +| gen_match_expr.rs:9:5:12:5 | MatchExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | hasMatchArmList: | yes | diff --git a/rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr_getType.expected b/rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr_getType.expected new file mode 100644 index 000000000000..3984909e9abb --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MatchExpr/MatchExpr_getType.expected @@ -0,0 +1,2 @@ +| gen_match_expr.rs:5:5:8:5 | MatchExpr | i32 | +| gen_match_expr.rs:9:5:12:5 | MatchExpr | i32 | diff --git a/rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.expected b/rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.expected index d6c0d90cd750..20e71d093952 100644 --- a/rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.expected +++ b/rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr.expected @@ -1,2 +1,2 @@ -| gen_method_call_expr.rs:5:5:5:13 | ... .foo(...) | hasArgList: | yes | getNumberOfAttrs: | 0 | hasResolvedPath: | no | hasResolvedCrateOrigin: | no | hasGenericArgList: | no | hasNameRef: | yes | hasReceiver: | yes | -| gen_method_call_expr.rs:6:5:6:25 | ... .foo(...) | hasArgList: | yes | getNumberOfAttrs: | 0 | hasResolvedPath: | no | hasResolvedCrateOrigin: | no | hasGenericArgList: | yes | hasNameRef: | yes | hasReceiver: | yes | +| gen_method_call_expr.rs:5:5:5:13 | ... .foo(...) | hasType: | yes | hasArgList: | yes | getNumberOfAttrs: | 0 | hasResolvedPath: | no | hasResolvedCrateOrigin: | no | hasGenericArgList: | no | hasNameRef: | yes | hasReceiver: | yes | +| gen_method_call_expr.rs:6:5:6:25 | ... .foo(...) | hasType: | yes | hasArgList: | yes | getNumberOfAttrs: | 0 | hasResolvedPath: | no | hasResolvedCrateOrigin: | no | hasGenericArgList: | yes | hasNameRef: | yes | hasReceiver: | yes | diff --git a/rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr_getType.expected b/rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr_getType.expected new file mode 100644 index 000000000000..ee04f1fbae2a --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/MethodCallExpr/MethodCallExpr_getType.expected @@ -0,0 +1,2 @@ +| gen_method_call_expr.rs:5:5:5:13 | ... .foo(...) | {unknown} | +| gen_method_call_expr.rs:6:5:6:25 | ... .foo(...) | {unknown} | diff --git a/rust/ql/test/extractor-tests/generated/OffsetOfExpr/OffsetOfExpr.expected b/rust/ql/test/extractor-tests/generated/OffsetOfExpr/OffsetOfExpr.expected index 1e53040c6cb2..fb5c852f7ffd 100644 --- a/rust/ql/test/extractor-tests/generated/OffsetOfExpr/OffsetOfExpr.expected +++ b/rust/ql/test/extractor-tests/generated/OffsetOfExpr/OffsetOfExpr.expected @@ -1 +1 @@ -| gen_offset_of_expr.rs:5:5:5:38 | OffsetOfExpr | getNumberOfAttrs: | 0 | getNumberOfFields: | 1 | hasTy: | yes | +| gen_offset_of_expr.rs:5:5:5:38 | OffsetOfExpr | hasType: | yes | getNumberOfAttrs: | 0 | getNumberOfFields: | 1 | hasTy: | yes | diff --git a/rust/ql/test/extractor-tests/generated/OffsetOfExpr/OffsetOfExpr_getType.expected b/rust/ql/test/extractor-tests/generated/OffsetOfExpr/OffsetOfExpr_getType.expected new file mode 100644 index 000000000000..39836d6f59bb --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/OffsetOfExpr/OffsetOfExpr_getType.expected @@ -0,0 +1 @@ +| gen_offset_of_expr.rs:5:5:5:38 | OffsetOfExpr | usize | diff --git a/rust/ql/test/extractor-tests/generated/OrPat/OrPat.expected b/rust/ql/test/extractor-tests/generated/OrPat/OrPat.expected index 786a00180935..bfa0a7898fa6 100644 --- a/rust/ql/test/extractor-tests/generated/OrPat/OrPat.expected +++ b/rust/ql/test/extractor-tests/generated/OrPat/OrPat.expected @@ -1 +1 @@ -| gen_or_pat.rs:6:9:6:38 | OrPat | getNumberOfPats: | 2 | +| gen_or_pat.rs:6:9:6:38 | OrPat | hasType: | yes | getNumberOfPats: | 2 | diff --git a/rust/ql/test/extractor-tests/generated/OrPat/OrPat_getType.expected b/rust/ql/test/extractor-tests/generated/OrPat/OrPat_getType.expected new file mode 100644 index 000000000000..498ab9b1ded2 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/OrPat/OrPat_getType.expected @@ -0,0 +1 @@ +| gen_or_pat.rs:6:9:6:38 | OrPat | Option<{unknown}> | diff --git a/rust/ql/test/extractor-tests/generated/ParenExpr/ParenExpr_getType.expected b/rust/ql/test/extractor-tests/generated/ParenExpr/ParenExpr_getType.expected new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/rust/ql/test/extractor-tests/generated/ParenPat/ParenPat_getType.expected b/rust/ql/test/extractor-tests/generated/ParenPat/ParenPat_getType.expected new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/rust/ql/test/extractor-tests/generated/PathExpr/PathExpr.expected b/rust/ql/test/extractor-tests/generated/PathExpr/PathExpr.expected index a676396a2f9b..e293ab630050 100644 --- a/rust/ql/test/extractor-tests/generated/PathExpr/PathExpr.expected +++ b/rust/ql/test/extractor-tests/generated/PathExpr/PathExpr.expected @@ -1,4 +1,4 @@ -| gen_path_expr.rs:5:13:5:20 | variable | getNumberOfAttrs: | 0 | hasPath: | yes | -| gen_path_expr.rs:6:13:6:20 | foo::bar | getNumberOfAttrs: | 0 | hasPath: | yes | -| gen_path_expr.rs:7:13:7:20 | (no string representation) | getNumberOfAttrs: | 0 | hasPath: | yes | -| gen_path_expr.rs:8:13:8:35 | (no string representation) | getNumberOfAttrs: | 0 | hasPath: | yes | +| gen_path_expr.rs:5:13:5:20 | variable | hasType: | yes | getNumberOfAttrs: | 0 | hasPath: | yes | +| gen_path_expr.rs:6:13:6:20 | foo::bar | hasType: | yes | getNumberOfAttrs: | 0 | hasPath: | yes | +| gen_path_expr.rs:7:13:7:20 | ::foo | hasType: | yes | getNumberOfAttrs: | 0 | hasPath: | yes | +| gen_path_expr.rs:8:13:8:35 | ::foo | hasType: | yes | getNumberOfAttrs: | 0 | hasPath: | yes | diff --git a/rust/ql/test/extractor-tests/generated/PathExpr/PathExpr_getPath.expected b/rust/ql/test/extractor-tests/generated/PathExpr/PathExpr_getPath.expected index a5765b5be60b..c2c9f4fcb58c 100644 --- a/rust/ql/test/extractor-tests/generated/PathExpr/PathExpr_getPath.expected +++ b/rust/ql/test/extractor-tests/generated/PathExpr/PathExpr_getPath.expected @@ -1,4 +1,4 @@ | gen_path_expr.rs:5:13:5:20 | variable | gen_path_expr.rs:5:13:5:20 | variable | | gen_path_expr.rs:6:13:6:20 | foo::bar | gen_path_expr.rs:6:13:6:20 | foo::bar | -| gen_path_expr.rs:7:13:7:20 | (no string representation) | gen_path_expr.rs:7:13:7:20 | (no string representation) | -| gen_path_expr.rs:8:13:8:35 | (no string representation) | gen_path_expr.rs:8:13:8:35 | (no string representation) | +| gen_path_expr.rs:7:13:7:20 | ::foo | gen_path_expr.rs:7:13:7:20 | ::foo | +| gen_path_expr.rs:8:13:8:35 | ::foo | gen_path_expr.rs:8:13:8:35 | ::foo | diff --git a/rust/ql/test/extractor-tests/generated/PathExpr/PathExpr_getType.expected b/rust/ql/test/extractor-tests/generated/PathExpr/PathExpr_getType.expected new file mode 100644 index 000000000000..705c67f8a62b --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/PathExpr/PathExpr_getType.expected @@ -0,0 +1,4 @@ +| gen_path_expr.rs:5:13:5:20 | variable | {unknown} | +| gen_path_expr.rs:6:13:6:20 | foo::bar | {unknown} | +| gen_path_expr.rs:7:13:7:20 | ::foo | {unknown} | +| gen_path_expr.rs:8:13:8:35 | ::foo | {unknown} | diff --git a/rust/ql/test/extractor-tests/generated/PathPat/PathPat.expected b/rust/ql/test/extractor-tests/generated/PathPat/PathPat.expected index 54845a7565c4..862de7f8583d 100644 --- a/rust/ql/test/extractor-tests/generated/PathPat/PathPat.expected +++ b/rust/ql/test/extractor-tests/generated/PathPat/PathPat.expected @@ -1 +1 @@ -| gen_path_pat.rs:6:9:6:16 | PathPat | hasPath: | yes | +| gen_path_pat.rs:6:9:6:16 | PathPat | hasType: | yes | hasPath: | yes | diff --git a/rust/ql/test/extractor-tests/generated/PathPat/PathPat_getType.expected b/rust/ql/test/extractor-tests/generated/PathPat/PathPat_getType.expected new file mode 100644 index 000000000000..7d33601e8232 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/PathPat/PathPat_getType.expected @@ -0,0 +1 @@ +| gen_path_pat.rs:6:9:6:16 | PathPat | {unknown} | diff --git a/rust/ql/test/extractor-tests/generated/PrefixExpr/PrefixExpr.expected b/rust/ql/test/extractor-tests/generated/PrefixExpr/PrefixExpr.expected index 01ebd0f099ca..51bee17ce683 100644 --- a/rust/ql/test/extractor-tests/generated/PrefixExpr/PrefixExpr.expected +++ b/rust/ql/test/extractor-tests/generated/PrefixExpr/PrefixExpr.expected @@ -1,3 +1,3 @@ -| gen_prefix_expr.rs:5:13:5:15 | - ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasOperatorName: | yes | -| gen_prefix_expr.rs:6:13:6:17 | ! ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasOperatorName: | yes | -| gen_prefix_expr.rs:7:13:7:16 | * ... | getNumberOfAttrs: | 0 | hasExpr: | yes | hasOperatorName: | yes | +| gen_prefix_expr.rs:5:13:5:15 | - ... | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | hasOperatorName: | yes | +| gen_prefix_expr.rs:6:13:6:17 | ! ... | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | hasOperatorName: | yes | +| gen_prefix_expr.rs:7:13:7:16 | * ... | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | hasOperatorName: | yes | diff --git a/rust/ql/test/extractor-tests/generated/PrefixExpr/PrefixExpr_getType.expected b/rust/ql/test/extractor-tests/generated/PrefixExpr/PrefixExpr_getType.expected new file mode 100644 index 000000000000..8d61655399fb --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/PrefixExpr/PrefixExpr_getType.expected @@ -0,0 +1,3 @@ +| gen_prefix_expr.rs:5:13:5:15 | - ... | i32 | +| gen_prefix_expr.rs:6:13:6:17 | ! ... | bool | +| gen_prefix_expr.rs:7:13:7:16 | * ... | {unknown} | diff --git a/rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr.expected b/rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr.expected index 6f222c18f03b..cf4528dfb9d9 100644 --- a/rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr.expected +++ b/rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr.expected @@ -1,6 +1,6 @@ -| gen_range_expr.rs:5:13:5:18 | RangeExpr | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | yes | -| gen_range_expr.rs:6:13:6:17 | RangeExpr | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | yes | -| gen_range_expr.rs:7:13:7:16 | RangeExpr | getNumberOfAttrs: | 0 | hasEnd: | no | hasOperatorName: | yes | hasStart: | yes | -| gen_range_expr.rs:8:13:8:16 | RangeExpr | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | no | -| gen_range_expr.rs:9:13:9:17 | RangeExpr | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | no | -| gen_range_expr.rs:10:13:10:14 | RangeExpr | getNumberOfAttrs: | 0 | hasEnd: | no | hasOperatorName: | yes | hasStart: | no | +| gen_range_expr.rs:5:13:5:18 | RangeExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | yes | +| gen_range_expr.rs:6:13:6:17 | RangeExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | yes | +| gen_range_expr.rs:7:13:7:16 | RangeExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasEnd: | no | hasOperatorName: | yes | hasStart: | yes | +| gen_range_expr.rs:8:13:8:16 | RangeExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | no | +| gen_range_expr.rs:9:13:9:17 | RangeExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasEnd: | yes | hasOperatorName: | yes | hasStart: | no | +| gen_range_expr.rs:10:13:10:14 | RangeExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasEnd: | no | hasOperatorName: | yes | hasStart: | no | diff --git a/rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr_getType.expected b/rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr_getType.expected new file mode 100644 index 000000000000..c1491fa459b1 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RangeExpr/RangeExpr_getType.expected @@ -0,0 +1,6 @@ +| gen_range_expr.rs:5:13:5:18 | RangeExpr | RangeInclusive | +| gen_range_expr.rs:6:13:6:17 | RangeExpr | Range | +| gen_range_expr.rs:7:13:7:16 | RangeExpr | RangeFrom | +| gen_range_expr.rs:8:13:8:16 | RangeExpr | RangeTo | +| gen_range_expr.rs:9:13:9:17 | RangeExpr | RangeToInclusive | +| gen_range_expr.rs:10:13:10:14 | RangeExpr | RangeFull | diff --git a/rust/ql/test/extractor-tests/generated/RangePat/RangePat.expected b/rust/ql/test/extractor-tests/generated/RangePat/RangePat.expected index ec32f2a5a1c4..8ada2788c40c 100644 --- a/rust/ql/test/extractor-tests/generated/RangePat/RangePat.expected +++ b/rust/ql/test/extractor-tests/generated/RangePat/RangePat.expected @@ -1,3 +1,3 @@ -| gen_range_pat.rs:6:9:6:12 | RangePat | hasEnd: | yes | hasOperatorName: | yes | hasStart: | no | -| gen_range_pat.rs:7:9:7:15 | RangePat | hasEnd: | yes | hasOperatorName: | yes | hasStart: | yes | -| gen_range_pat.rs:8:9:8:12 | RangePat | hasEnd: | no | hasOperatorName: | yes | hasStart: | yes | +| gen_range_pat.rs:6:9:6:12 | RangePat | hasType: | yes | hasEnd: | yes | hasOperatorName: | yes | hasStart: | no | +| gen_range_pat.rs:7:9:7:15 | RangePat | hasType: | yes | hasEnd: | yes | hasOperatorName: | yes | hasStart: | yes | +| gen_range_pat.rs:8:9:8:12 | RangePat | hasType: | yes | hasEnd: | no | hasOperatorName: | yes | hasStart: | yes | diff --git a/rust/ql/test/extractor-tests/generated/RangePat/RangePat_getType.expected b/rust/ql/test/extractor-tests/generated/RangePat/RangePat_getType.expected new file mode 100644 index 000000000000..f8ae8c960e6c --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RangePat/RangePat_getType.expected @@ -0,0 +1,3 @@ +| gen_range_pat.rs:6:9:6:12 | RangePat | {unknown} | +| gen_range_pat.rs:7:9:7:15 | RangePat | {unknown} | +| gen_range_pat.rs:8:9:8:12 | RangePat | {unknown} | diff --git a/rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr.expected b/rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr.expected index d30c4ef70e5d..1a45799f0d76 100644 --- a/rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr.expected +++ b/rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr.expected @@ -1,4 +1,4 @@ -| gen_record_expr.rs:5:17:5:34 | RecordExpr | hasPath: | yes | hasRecordExprFieldList: | yes | -| gen_record_expr.rs:6:18:6:38 | RecordExpr | hasPath: | yes | hasRecordExprFieldList: | yes | -| gen_record_expr.rs:7:5:7:22 | RecordExpr | hasPath: | yes | hasRecordExprFieldList: | yes | -| gen_record_expr.rs:8:5:8:14 | RecordExpr | hasPath: | yes | hasRecordExprFieldList: | yes | +| gen_record_expr.rs:5:17:5:34 | RecordExpr | hasType: | yes | hasPath: | yes | hasRecordExprFieldList: | yes | +| gen_record_expr.rs:6:18:6:38 | RecordExpr | hasType: | yes | hasPath: | yes | hasRecordExprFieldList: | yes | +| gen_record_expr.rs:7:5:7:22 | RecordExpr | hasType: | yes | hasPath: | yes | hasRecordExprFieldList: | yes | +| gen_record_expr.rs:8:5:8:14 | RecordExpr | hasType: | yes | hasPath: | yes | hasRecordExprFieldList: | yes | diff --git a/rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr_getType.expected b/rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr_getType.expected new file mode 100644 index 000000000000..472fd854a77d --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RecordExpr/RecordExpr_getType.expected @@ -0,0 +1,4 @@ +| gen_record_expr.rs:5:17:5:34 | RecordExpr | {unknown} | +| gen_record_expr.rs:6:18:6:38 | RecordExpr | {unknown} | +| gen_record_expr.rs:7:5:7:22 | RecordExpr | {unknown} | +| gen_record_expr.rs:8:5:8:14 | RecordExpr | {unknown} | diff --git a/rust/ql/test/extractor-tests/generated/RecordPat/RecordPat.expected b/rust/ql/test/extractor-tests/generated/RecordPat/RecordPat.expected index 62cd3eb3c37d..e1a36da616dc 100644 --- a/rust/ql/test/extractor-tests/generated/RecordPat/RecordPat.expected +++ b/rust/ql/test/extractor-tests/generated/RecordPat/RecordPat.expected @@ -1,2 +1,2 @@ -| gen_record_pat.rs:6:9:6:26 | RecordPat | hasPath: | yes | hasRecordPatFieldList: | yes | -| gen_record_pat.rs:7:9:7:18 | RecordPat | hasPath: | yes | hasRecordPatFieldList: | yes | +| gen_record_pat.rs:6:9:6:26 | RecordPat | hasType: | yes | hasPath: | yes | hasRecordPatFieldList: | yes | +| gen_record_pat.rs:7:9:7:18 | RecordPat | hasType: | yes | hasPath: | yes | hasRecordPatFieldList: | yes | diff --git a/rust/ql/test/extractor-tests/generated/RecordPat/RecordPat_getType.expected b/rust/ql/test/extractor-tests/generated/RecordPat/RecordPat_getType.expected new file mode 100644 index 000000000000..1e6a3a6c98fe --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RecordPat/RecordPat_getType.expected @@ -0,0 +1,2 @@ +| gen_record_pat.rs:6:9:6:26 | RecordPat | {unknown} | +| gen_record_pat.rs:7:9:7:18 | RecordPat | {unknown} | diff --git a/rust/ql/test/extractor-tests/generated/RefExpr/RefExpr.expected b/rust/ql/test/extractor-tests/generated/RefExpr/RefExpr.expected index d4c75d9a79a0..7b9fc5fecccc 100644 --- a/rust/ql/test/extractor-tests/generated/RefExpr/RefExpr.expected +++ b/rust/ql/test/extractor-tests/generated/RefExpr/RefExpr.expected @@ -1,4 +1,4 @@ -| gen_ref_expr.rs:5:25:5:28 | RefExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | no | isRaw: | no | -| gen_ref_expr.rs:6:23:6:30 | RefExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | yes | isRaw: | no | -| gen_ref_expr.rs:7:35:7:48 | RefExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | yes | isMut: | no | isRaw: | yes | -| gen_ref_expr.rs:8:33:8:44 | RefExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | yes | isRaw: | yes | +| gen_ref_expr.rs:5:25:5:28 | RefExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | no | isRaw: | no | +| gen_ref_expr.rs:6:23:6:30 | RefExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | yes | isRaw: | no | +| gen_ref_expr.rs:7:35:7:48 | RefExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | yes | isMut: | no | isRaw: | yes | +| gen_ref_expr.rs:8:33:8:44 | RefExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | isConst: | no | isMut: | yes | isRaw: | yes | diff --git a/rust/ql/test/extractor-tests/generated/RefExpr/RefExpr_getType.expected b/rust/ql/test/extractor-tests/generated/RefExpr/RefExpr_getType.expected new file mode 100644 index 000000000000..01f22647dd83 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RefExpr/RefExpr_getType.expected @@ -0,0 +1,4 @@ +| gen_ref_expr.rs:5:25:5:28 | RefExpr | &{unknown} | +| gen_ref_expr.rs:6:23:6:30 | RefExpr | &mut {unknown} | +| gen_ref_expr.rs:7:35:7:48 | RefExpr | *const {unknown} | +| gen_ref_expr.rs:8:33:8:44 | RefExpr | *mut {unknown} | diff --git a/rust/ql/test/extractor-tests/generated/RefPat/RefPat.expected b/rust/ql/test/extractor-tests/generated/RefPat/RefPat.expected index c2fc3416297a..34e8962eb591 100644 --- a/rust/ql/test/extractor-tests/generated/RefPat/RefPat.expected +++ b/rust/ql/test/extractor-tests/generated/RefPat/RefPat.expected @@ -1,2 +1,2 @@ -| gen_ref_pat.rs:6:9:6:28 | RefPat | isMut: | yes | hasPat: | yes | -| gen_ref_pat.rs:7:9:7:21 | RefPat | isMut: | no | hasPat: | yes | +| gen_ref_pat.rs:6:9:6:28 | RefPat | hasType: | yes | isMut: | yes | hasPat: | yes | +| gen_ref_pat.rs:7:9:7:21 | RefPat | hasType: | yes | isMut: | no | hasPat: | yes | diff --git a/rust/ql/test/extractor-tests/generated/RefPat/RefPat_getType.expected b/rust/ql/test/extractor-tests/generated/RefPat/RefPat_getType.expected new file mode 100644 index 000000000000..30b85037c01e --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/RefPat/RefPat_getType.expected @@ -0,0 +1,2 @@ +| gen_ref_pat.rs:6:9:6:28 | RefPat | &mut Option | +| gen_ref_pat.rs:7:9:7:21 | RefPat | &Option | diff --git a/rust/ql/test/extractor-tests/generated/RestPat/RestPat_getType.expected b/rust/ql/test/extractor-tests/generated/RestPat/RestPat_getType.expected new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr.expected b/rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr.expected index dbf54e0f49bd..e3ffeae26817 100644 --- a/rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr.expected +++ b/rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr.expected @@ -1,2 +1,2 @@ -| gen_return_expr.rs:5:5:5:13 | ReturnExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | -| gen_return_expr.rs:8:5:8:10 | ReturnExpr | getNumberOfAttrs: | 0 | hasExpr: | no | +| gen_return_expr.rs:5:5:5:13 | ReturnExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | +| gen_return_expr.rs:8:5:8:10 | ReturnExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | no | diff --git a/rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr_getType.expected b/rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr_getType.expected new file mode 100644 index 000000000000..e0971671e9a5 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/ReturnExpr/ReturnExpr_getType.expected @@ -0,0 +1,2 @@ +| gen_return_expr.rs:5:5:5:13 | ReturnExpr | ! | +| gen_return_expr.rs:8:5:8:10 | ReturnExpr | ! | diff --git a/rust/ql/test/extractor-tests/generated/SlicePat/SlicePat.expected b/rust/ql/test/extractor-tests/generated/SlicePat/SlicePat.expected index 0821ea233238..d1f06afeb540 100644 --- a/rust/ql/test/extractor-tests/generated/SlicePat/SlicePat.expected +++ b/rust/ql/test/extractor-tests/generated/SlicePat/SlicePat.expected @@ -1,3 +1,3 @@ -| gen_slice_pat.rs:6:9:6:23 | SlicePat | getNumberOfPats: | 5 | -| gen_slice_pat.rs:7:9:7:18 | SlicePat | getNumberOfPats: | 3 | -| gen_slice_pat.rs:8:9:8:24 | SlicePat | getNumberOfPats: | 5 | +| gen_slice_pat.rs:6:9:6:23 | SlicePat | hasType: | yes | getNumberOfPats: | 5 | +| gen_slice_pat.rs:7:9:7:18 | SlicePat | hasType: | yes | getNumberOfPats: | 3 | +| gen_slice_pat.rs:8:9:8:24 | SlicePat | hasType: | yes | getNumberOfPats: | 5 | diff --git a/rust/ql/test/extractor-tests/generated/SlicePat/SlicePat_getType.expected b/rust/ql/test/extractor-tests/generated/SlicePat/SlicePat_getType.expected new file mode 100644 index 000000000000..25b4156d1ba6 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/SlicePat/SlicePat_getType.expected @@ -0,0 +1,3 @@ +| gen_slice_pat.rs:6:9:6:23 | SlicePat | [{unknown}] | +| gen_slice_pat.rs:7:9:7:18 | SlicePat | [{unknown}] | +| gen_slice_pat.rs:8:9:8:24 | SlicePat | [{unknown}] | diff --git a/rust/ql/test/extractor-tests/generated/TryExpr/TryExpr_getType.expected b/rust/ql/test/extractor-tests/generated/TryExpr/TryExpr_getType.expected new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/rust/ql/test/extractor-tests/generated/TupleExpr/TupleExpr.expected b/rust/ql/test/extractor-tests/generated/TupleExpr/TupleExpr.expected index 2bd4e57c30ed..8fbf244afb6c 100644 --- a/rust/ql/test/extractor-tests/generated/TupleExpr/TupleExpr.expected +++ b/rust/ql/test/extractor-tests/generated/TupleExpr/TupleExpr.expected @@ -1,2 +1,2 @@ -| gen_tuple_expr.rs:5:5:5:14 | TupleExpr | getNumberOfAttrs: | 0 | getNumberOfFields: | 2 | -| gen_tuple_expr.rs:6:5:6:14 | TupleExpr | getNumberOfAttrs: | 0 | getNumberOfFields: | 2 | +| gen_tuple_expr.rs:5:5:5:14 | TupleExpr | hasType: | yes | getNumberOfAttrs: | 0 | getNumberOfFields: | 2 | +| gen_tuple_expr.rs:6:5:6:14 | TupleExpr | hasType: | yes | getNumberOfAttrs: | 0 | getNumberOfFields: | 2 | diff --git a/rust/ql/test/extractor-tests/generated/TupleExpr/TupleExpr_getType.expected b/rust/ql/test/extractor-tests/generated/TupleExpr/TupleExpr_getType.expected new file mode 100644 index 000000000000..1541d5f48e74 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TupleExpr/TupleExpr_getType.expected @@ -0,0 +1,2 @@ +| gen_tuple_expr.rs:5:5:5:14 | TupleExpr | (i32, &str) | +| gen_tuple_expr.rs:6:5:6:14 | TupleExpr | (i32, &str) | diff --git a/rust/ql/test/extractor-tests/generated/TuplePat/TuplePat.expected b/rust/ql/test/extractor-tests/generated/TuplePat/TuplePat.expected index d6522bb7bf11..b53ee7aecbe2 100644 --- a/rust/ql/test/extractor-tests/generated/TuplePat/TuplePat.expected +++ b/rust/ql/test/extractor-tests/generated/TuplePat/TuplePat.expected @@ -1,2 +1,2 @@ -| gen_tuple_pat.rs:5:9:5:14 | TuplePat | getNumberOfFields: | 2 | -| gen_tuple_pat.rs:6:9:6:22 | TuplePat | getNumberOfFields: | 4 | +| gen_tuple_pat.rs:5:9:5:14 | TuplePat | hasType: | yes | getNumberOfFields: | 2 | +| gen_tuple_pat.rs:6:9:6:22 | TuplePat | hasType: | yes | getNumberOfFields: | 4 | diff --git a/rust/ql/test/extractor-tests/generated/TuplePat/TuplePat_getType.expected b/rust/ql/test/extractor-tests/generated/TuplePat/TuplePat_getType.expected new file mode 100644 index 000000000000..11b1ce6f1317 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TuplePat/TuplePat_getType.expected @@ -0,0 +1,2 @@ +| gen_tuple_pat.rs:5:9:5:14 | TuplePat | (i32, i32) | +| gen_tuple_pat.rs:6:9:6:22 | TuplePat | (i32, i32, i32, i32, i32) | diff --git a/rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat.expected b/rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat.expected index a0d12cc8509b..cd7e2947e09a 100644 --- a/rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat.expected +++ b/rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat.expected @@ -1,3 +1,3 @@ -| gen_tuple_struct_pat.rs:6:9:6:27 | TupleStructPat | getNumberOfFields: | 4 | hasPath: | yes | -| gen_tuple_struct_pat.rs:7:9:7:20 | TupleStructPat | getNumberOfFields: | 2 | hasPath: | yes | -| gen_tuple_struct_pat.rs:8:9:8:17 | TupleStructPat | getNumberOfFields: | 1 | hasPath: | yes | +| gen_tuple_struct_pat.rs:6:9:6:27 | TupleStructPat | hasType: | yes | getNumberOfFields: | 4 | hasPath: | yes | +| gen_tuple_struct_pat.rs:7:9:7:20 | TupleStructPat | hasType: | yes | getNumberOfFields: | 2 | hasPath: | yes | +| gen_tuple_struct_pat.rs:8:9:8:17 | TupleStructPat | hasType: | yes | getNumberOfFields: | 1 | hasPath: | yes | diff --git a/rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat_getType.expected b/rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat_getType.expected new file mode 100644 index 000000000000..18a4188b2943 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/TupleStructPat/TupleStructPat_getType.expected @@ -0,0 +1,3 @@ +| gen_tuple_struct_pat.rs:6:9:6:27 | TupleStructPat | {unknown} | +| gen_tuple_struct_pat.rs:7:9:7:20 | TupleStructPat | {unknown} | +| gen_tuple_struct_pat.rs:8:9:8:17 | TupleStructPat | {unknown} | diff --git a/rust/ql/test/extractor-tests/generated/UnderscoreExpr/UnderscoreExpr.expected b/rust/ql/test/extractor-tests/generated/UnderscoreExpr/UnderscoreExpr.expected index 3b2effb788e1..16abf5edfcf6 100644 --- a/rust/ql/test/extractor-tests/generated/UnderscoreExpr/UnderscoreExpr.expected +++ b/rust/ql/test/extractor-tests/generated/UnderscoreExpr/UnderscoreExpr.expected @@ -1 +1 @@ -| gen_underscore_expr.rs:5:5:5:5 | UnderscoreExpr | getNumberOfAttrs: | 0 | +| gen_underscore_expr.rs:5:5:5:5 | UnderscoreExpr | hasType: | yes | getNumberOfAttrs: | 0 | diff --git a/rust/ql/test/extractor-tests/generated/UnderscoreExpr/UnderscoreExpr_getType.expected b/rust/ql/test/extractor-tests/generated/UnderscoreExpr/UnderscoreExpr_getType.expected new file mode 100644 index 000000000000..f2de22878810 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/UnderscoreExpr/UnderscoreExpr_getType.expected @@ -0,0 +1 @@ +| gen_underscore_expr.rs:5:5:5:5 | UnderscoreExpr | i32 | diff --git a/rust/ql/test/extractor-tests/generated/WhileExpr/WhileExpr_getType.expected b/rust/ql/test/extractor-tests/generated/WhileExpr/WhileExpr_getType.expected new file mode 100644 index 000000000000..e69de29bb2d1 diff --git a/rust/ql/test/extractor-tests/generated/WildcardPat/WildcardPat.expected b/rust/ql/test/extractor-tests/generated/WildcardPat/WildcardPat.expected index ceb155671b7f..670aefa84bad 100644 --- a/rust/ql/test/extractor-tests/generated/WildcardPat/WildcardPat.expected +++ b/rust/ql/test/extractor-tests/generated/WildcardPat/WildcardPat.expected @@ -1 +1 @@ -| gen_wildcard_pat.rs:5:9:5:9 | WildcardPat | +| gen_wildcard_pat.rs:5:9:5:9 | WildcardPat | hasType: | yes | diff --git a/rust/ql/test/extractor-tests/generated/WildcardPat/WildcardPat_getType.expected b/rust/ql/test/extractor-tests/generated/WildcardPat/WildcardPat_getType.expected new file mode 100644 index 000000000000..85924862ed02 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/WildcardPat/WildcardPat_getType.expected @@ -0,0 +1 @@ +| gen_wildcard_pat.rs:5:9:5:9 | WildcardPat | i32 | diff --git a/rust/ql/test/extractor-tests/generated/YeetExpr/YeetExpr.expected b/rust/ql/test/extractor-tests/generated/YeetExpr/YeetExpr.expected index 3bce2660fe35..dfc7dafb692a 100644 --- a/rust/ql/test/extractor-tests/generated/YeetExpr/YeetExpr.expected +++ b/rust/ql/test/extractor-tests/generated/YeetExpr/YeetExpr.expected @@ -1 +1 @@ -| gen_yeet_expr.rs:6:8:6:36 | YeetExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | +| gen_yeet_expr.rs:6:8:6:36 | YeetExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | diff --git a/rust/ql/test/extractor-tests/generated/YeetExpr/YeetExpr_getType.expected b/rust/ql/test/extractor-tests/generated/YeetExpr/YeetExpr_getType.expected new file mode 100644 index 000000000000..cb07345c5165 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/YeetExpr/YeetExpr_getType.expected @@ -0,0 +1 @@ +| gen_yeet_expr.rs:6:8:6:36 | YeetExpr | ! | diff --git a/rust/ql/test/extractor-tests/generated/YieldExpr/YieldExpr.expected b/rust/ql/test/extractor-tests/generated/YieldExpr/YieldExpr.expected index 5045b11d25d2..255200827dd7 100644 --- a/rust/ql/test/extractor-tests/generated/YieldExpr/YieldExpr.expected +++ b/rust/ql/test/extractor-tests/generated/YieldExpr/YieldExpr.expected @@ -1 +1 @@ -| gen_yield_expr.rs:7:13:7:19 | YieldExpr | getNumberOfAttrs: | 0 | hasExpr: | yes | +| gen_yield_expr.rs:7:13:7:19 | YieldExpr | hasType: | yes | getNumberOfAttrs: | 0 | hasExpr: | yes | diff --git a/rust/ql/test/extractor-tests/generated/YieldExpr/YieldExpr_getType.expected b/rust/ql/test/extractor-tests/generated/YieldExpr/YieldExpr_getType.expected new file mode 100644 index 000000000000..b663b49d74b9 --- /dev/null +++ b/rust/ql/test/extractor-tests/generated/YieldExpr/YieldExpr_getType.expected @@ -0,0 +1 @@ +| gen_yield_expr.rs:7:13:7:19 | YieldExpr | () | diff --git a/rust/ql/test/query-tests/unusedentities/UnreachableCode.expected b/rust/ql/test/query-tests/unusedentities/UnreachableCode.expected index 77c923e92808..0d0fdbfe145f 100644 --- a/rust/ql/test/query-tests/unusedentities/UnreachableCode.expected +++ b/rust/ql/test/query-tests/unusedentities/UnreachableCode.expected @@ -1,23 +1 @@ -| unreachable.rs:19:9:19:23 | ExprStmt | This code is never reached. | -| unreachable.rs:27:9:27:23 | ExprStmt | This code is never reached. | -| unreachable.rs:39:9:39:23 | ExprStmt | This code is never reached. | -| unreachable.rs:46:9:46:23 | ExprStmt | This code is never reached. | -| unreachable.rs:67:5:67:19 | ExprStmt | This code is never reached. | -| unreachable.rs:134:13:134:20 | MacroExpr | This code is never reached. | -| unreachable.rs:143:13:143:20 | MacroExpr | This code is never reached. | -| unreachable.rs:166:9:166:23 | ExprStmt | This code is never reached. | -| unreachable.rs:171:9:171:17 | MacroExpr | This code is never reached. | -| unreachable.rs:177:9:177:26 | MacroExpr | This code is never reached. | -| unreachable.rs:206:9:206:23 | ExprStmt | This code is never reached. | -| unreachable.rs:231:13:231:27 | ExprStmt | This code is never reached. | -| unreachable.rs:241:13:241:27 | ExprStmt | This code is never reached. | -| unreachable.rs:247:9:247:23 | ExprStmt | This code is never reached. | -| unreachable.rs:254:17:254:31 | ExprStmt | This code is never reached. | -| unreachable.rs:264:17:264:31 | ExprStmt | This code is never reached. | -| unreachable.rs:267:9:267:23 | ExprStmt | This code is never reached. | -| unreachable.rs:303:9:303:23 | ExprStmt | This code is never reached. | -| unreachable.rs:332:9:332:23 | ExprStmt | This code is never reached. | -| unreachable.rs:348:9:348:23 | ExprStmt | This code is never reached. | -| unreachable.rs:370:9:370:23 | ExprStmt | This code is never reached. | -| unreachable.rs:375:5:375:10 | ExprStmt | This code is never reached. | -| unreachable.rs:382:5:382:10 | ExprStmt | This code is never reached. | +The query depends on an extensional predicate queryMetadata which has not been defined. diff --git a/rust/ql/test/query-tests/unusedentities/UnusedValue.expected b/rust/ql/test/query-tests/unusedentities/UnusedValue.expected index f8538e5b8bc8..0d0fdbfe145f 100644 --- a/rust/ql/test/query-tests/unusedentities/UnusedValue.expected +++ b/rust/ql/test/query-tests/unusedentities/UnusedValue.expected @@ -1,20 +1 @@ -| main.rs:10:9:10:9 | a | Variable $@ is assigned a value that is never used. | main.rs:10:9:10:9 | a | a | -| main.rs:13:9:13:9 | d | Variable $@ is assigned a value that is never used. | main.rs:13:9:13:9 | d | d | -| main.rs:39:5:39:5 | b | Variable $@ is assigned a value that is never used. | main.rs:30:9:30:9 | b | b | -| main.rs:41:5:41:5 | c | Variable $@ is assigned a value that is never used. | main.rs:31:13:31:13 | c | c | -| main.rs:44:5:44:5 | c | Variable $@ is assigned a value that is never used. | main.rs:31:13:31:13 | c | c | -| main.rs:48:9:48:9 | d | Variable $@ is assigned a value that is never used. | main.rs:32:13:32:13 | d | d | -| main.rs:54:5:54:5 | e | Variable $@ is assigned a value that is never used. | main.rs:33:13:33:13 | e | e | -| main.rs:65:5:65:5 | f | Variable $@ is assigned a value that is never used. | main.rs:34:13:34:13 | f | f | -| main.rs:67:5:67:5 | f | Variable $@ is assigned a value that is never used. | main.rs:34:13:34:13 | f | f | -| main.rs:69:5:69:5 | g | Variable $@ is assigned a value that is never used. | main.rs:35:9:35:9 | g | g | -| main.rs:91:9:91:9 | a | Variable $@ is assigned a value that is never used. | main.rs:91:9:91:9 | a | a | -| main.rs:112:9:112:10 | is | Variable $@ is assigned a value that is never used. | main.rs:112:9:112:10 | is | is | -| main.rs:135:13:135:17 | total | Variable $@ is assigned a value that is never used. | main.rs:135:13:135:17 | total | total | -| main.rs:280:13:280:17 | total | Variable $@ is assigned a value that is never used. | main.rs:248:13:248:17 | total | total | -| main.rs:373:9:373:9 | x | Variable $@ is assigned a value that is never used. | main.rs:373:9:373:9 | x | x | -| main.rs:381:17:381:17 | x | Variable $@ is assigned a value that is never used. | main.rs:381:17:381:17 | x | x | -| main.rs:482:9:482:9 | c | Variable $@ is assigned a value that is never used. | main.rs:482:9:482:9 | c | c | -| more.rs:44:9:44:14 | a_ptr4 | Variable $@ is assigned a value that is never used. | more.rs:44:9:44:14 | a_ptr4 | a_ptr4 | -| more.rs:59:9:59:13 | d_ptr | Variable $@ is assigned a value that is never used. | more.rs:59:9:59:13 | d_ptr | d_ptr | -| more.rs:65:9:65:17 | f_ptr | Variable $@ is assigned a value that is never used. | more.rs:65:13:65:17 | f_ptr | f_ptr | +The query depends on an extensional predicate queryMetadata which has not been defined. diff --git a/rust/ql/test/query-tests/unusedentities/UnusedVariable.expected b/rust/ql/test/query-tests/unusedentities/UnusedVariable.expected index dcfde3c46f54..0d0fdbfe145f 100644 --- a/rust/ql/test/query-tests/unusedentities/UnusedVariable.expected +++ b/rust/ql/test/query-tests/unusedentities/UnusedVariable.expected @@ -1,22 +1 @@ -| main.rs:29:9:29:9 | a | Variable 'a' is not used. | -| main.rs:94:13:94:13 | d | Variable 'd' is not used. | -| main.rs:143:5:143:5 | y | Variable 'y' is not used. | -| main.rs:170:9:170:9 | x | Variable 'x' is not used. | -| main.rs:250:17:250:17 | a | Variable 'a' is not used. | -| main.rs:258:20:258:22 | val | Variable 'val' is not used. | -| main.rs:272:14:272:16 | val | Variable 'val' is not used. | -| main.rs:287:22:287:24 | val | Variable 'val' is not used. | -| main.rs:294:24:294:26 | val | Variable 'val' is not used. | -| main.rs:302:13:302:15 | num | Variable 'num' is not used. | -| main.rs:317:12:317:12 | j | Variable 'j' is not used. | -| main.rs:337:25:337:25 | y | Variable 'y' is not used. | -| main.rs:340:28:340:28 | a | Variable 'a' is not used. | -| main.rs:343:9:343:9 | p | Variable 'p' is not used. | -| main.rs:361:9:361:13 | right | Variable 'right' is not used. | -| main.rs:367:9:367:14 | right2 | Variable 'right2' is not used. | -| main.rs:374:13:374:13 | y | Variable 'y' is not used. | -| main.rs:382:21:382:21 | y | Variable 'y' is not used. | -| main.rs:427:26:427:28 | val | Variable 'val' is not used. | -| main.rs:430:21:430:23 | acc | Variable 'acc' is not used. | -| main.rs:451:9:451:14 | unused | Variable 'unused' is not used. | -| more.rs:24:9:24:11 | val | Variable 'val' is not used. | +The query depends on an extensional predicate queryMetadata which has not been defined.